In computer science, the development of hierarchical automata / statecharts has lead to stepwise development of complex discrete systems. Such a concept is absent in the Compositional Interchange Format (CIF), which is a modelling language based on hybrid automata. In this article we extend the CIF language with the concept of hierarchy, which results in the Hierarchical Compositional Interchange format (HCIF). Syntactically, hierarchy is introduced by adding three concepts to CIF: a hierarchy function from a location to a HCIF composition, a termination predicate, and disruptive edges. The semantics of HCIF is given by means of Structural Operational Semantics rules. The semantics of a hierarchical automaton is defined in a compositional manner, by referring only to the transition system of the substructures, and not to their syntactic representation. This compositional introduction of hierarchy allows us to keep the semantics of the HCIF operators almost unchanged with respect to their CIF versions. Finally, a case-study called Patient Support System is modelled in HCIF to show its applicability.
|Title of host publication||Proceedings of the Formal Methods for Components and Objects (FMCO 2011), 29 November - 1 December 2011, Graz, Austria|
|Editors||B.K. Aichering, F.S. Boer, de, M.M. Bonsangue|
|Place of Publication||Berlin|
|Publication status||Published - 2011|
|Name||Lecture Notes in Computer Science|
Nadales Agut, D. E., Beek, van, D. A., Beohar, H., Cuijpers, P. J. L., & Fonteijn, J. (2011). The hierarchical compositional interchange format. In B. K. Aichering, F. S. Boer, de, & M. M. Bonsangue (Eds.), Proceedings of the Formal Methods for Components and Objects (FMCO 2011), 29 November - 1 December 2011, Graz, Austria (pp. 316-335). (Lecture Notes in Computer Science; Vol. 6957). Springer. https://doi.org/10.1007/978-3-642-25271-6_17