Abstract
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 a practical method to model the collective behaviors, based on a new concept of domain engineering: behavior ontology. Two domains are selected to demonstrate the method: Emergency Medical Service (EMS) and Health Care Service (HCS) systems. The examples show that the method is very effective and efficient to construct a hierarchy of collective behaviors in a lattice and that the composition of two collective behaviors is systematically performed by the composition operation of two lattices. The method can be one of the most innovative approaches in representing system behaviors in collective pattern, as well as in minimization of system states to reduce system complexity. For implementation, a prototype tool, called PRISM, has been developed on ADOxx Meta-Modelling Platform.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Choi, W., Choe, Y., Lee, M.: A reduction method for process and system complexity with conjunctive and complement choices in a process algebra. In: 39th IEEE COMPSAC/MVDM, July 2015
Woo, S., On, J., Lee, M.: An abstraction method for mobility, and interaction in process algebra using behavior ontology. In: 37th IEEE COMPSAC, July 2013
Choe, Y., Lee, M.: A Lattice model to verify behavioral equivalence. In: UKSim-AMSS 8th European Modelling Symposium, October 2014
Fill, H., Karagiannis, D.: On the conceptualisation of modeling methods using the ADOxx meta modeling platform. Enterp. Model. Inf. Syst. Architect. 8(1), 4–25 (2013)
Clarke, E., Emerson, A., Sifakis, J.: Model checking: algorithmic verification and debugging. Commun. ACM 52(11), 74–84 (2009)
Yeh, W., Young, M.: Compositional reachability analysis using process algebra. In: Proceedings of Conference on Testing, Analysis and Verification, pp. 49–59, August 1992
Chen, T., Chilton, C., Jonsson, B., Kwiatkowska, M.: A compositional specification theory for component behaviours. In: Seidl, H. (ed.) ESOP 2012. LNCS, vol. 7211, pp. 148–168. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-28869-2_8
Raju, S.: An automatic verification technique for communicating real-time state machines. Technical report 93-07-08, Department of Computer science and Engineering, University of Washington, April 1993
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Song, J., Rahmani, M., Lee, M. (2017). Behavior Ontology to Model Collective Behavior of Emergency Medical Systems. In: de Cesare, S., Frank, U. (eds) Advances in Conceptual Modeling. ER 2017. Lecture Notes in Computer Science(), vol 10651. Springer, Cham. https://doi.org/10.1007/978-3-319-70625-2_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-70625-2_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-70624-5
Online ISBN: 978-3-319-70625-2
eBook Packages: Computer ScienceComputer Science (R0)