TY - GEN
T1 - A composition method to model collective behavior
AU - Song, Junsup
AU - Lee, Moonkun
N1 - Publisher Copyright:
© IFIP International Federation for Information Processing 2018.
PY - 2018
Y1 - 2018
N2 - It is very important to understand system behaviors in collective pattern for each knowledge domain. However, there are structural limitations to represent collective behaviors due to the size of system components and the complexity of their interactions, causing the state explosion problem. Further composition with other systems is mostly impractical due to exponential growth of their size and complexity. This paper presents an abstraction method to model the collective behaviors, based on a new concept of domain engineering: behavior ontology. Firstly, the ontology defines each collective behavior of a system from active ontology. Secondly, the behaviors are formed in a quantifiably abstract lattice, called n:2-Lattice. Thirdly, a lattice can be composed with other lattices based on quantifiably common elements. The composition can be interpreted as behavioral composition, and can reduce all the unnecessary composition not related to the behaviors in the lattices. In order to demonstrate the feasibility of the method, two examples, Emergency Medical Service and Health Care Service systems, are selected and implemented on a Behavior Ontology tool, called PRISM, which has been developed on ADOxx Meta-Modelling Platform.
AB - It is very important to understand system behaviors in collective pattern for each knowledge domain. However, there are structural limitations to represent collective behaviors due to the size of system components and the complexity of their interactions, causing the state explosion problem. Further composition with other systems is mostly impractical due to exponential growth of their size and complexity. This paper presents an abstraction method to model the collective behaviors, based on a new concept of domain engineering: behavior ontology. Firstly, the ontology defines each collective behavior of a system from active ontology. Secondly, the behaviors are formed in a quantifiably abstract lattice, called n:2-Lattice. Thirdly, a lattice can be composed with other lattices based on quantifiably common elements. The composition can be interpreted as behavioral composition, and can reduce all the unnecessary composition not related to the behaviors in the lattices. In order to demonstrate the feasibility of the method, two examples, Emergency Medical Service and Health Care Service systems, are selected and implemented on a Behavior Ontology tool, called PRISM, which has been developed on ADOxx Meta-Modelling Platform.
KW - ADOxx
KW - Behavior ontology
KW - Collective behavior
KW - Domain engineering
KW - n:2-lattice
KW - PRISM
UR - https://www.scopus.com/pages/publications/85056446747
U2 - 10.1007/978-3-030-02302-7_8
DO - 10.1007/978-3-030-02302-7_8
M3 - Conference paper
AN - SCOPUS:85056446747
SN - 9783030023010
T3 - Lecture Notes in Business Information Processing
SP - 121
EP - 137
BT - The Practice of Enterprise Modeling - 11th IFIP WG 8.1. Working Conference, PoEM 2018, Proceedings
A2 - Karagiannis, Dimitris
A2 - Buchmann, Robert Andrei
A2 - Kirikova, Marite
PB - Springer Verlag
T2 - 11th IFIP WG 8.1 Conference on the Practice of Enterprise Modeling, PoEM 2018
Y2 - 31 October 2018 through 2 November 2018
ER -