The Hierarchical Compositional Interchange Format
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.
KeywordsActive Location Disruptive Edge Parallel Composition Hybrid Automaton Environment Transition
Unable to display preview. Download preview PDF.
- 2.Baeten, J., van Beek, D., Hendriks, D., Hofkamp, A., Agut, D.N., Rooda, J., Schiffelers, R.: Definition of the compositional interchange format. Technical Report Deliverable D1.1.2, Multiform (2010)Google Scholar
- 4.van Beek, D.A., Collins, P., Nadales, D.E., Rooda, J., Schiffelers, R.R.H.: New concepts in the abstract format of the compositional interchange format. In: Giua, A., Mahuela, C., Silva, M., Zaytoon, J. (eds.) 3rd IFAC Conference on Analysis and Design of Hybrid Systems, Zaragoza, Spain, pp. 250–255 (2009)Google Scholar
- 7.C4C consortium. Control for coordination of distributed systems (2008), http://www.c4c-project.eu/
- 8.Cuijpers, P.J.L., Reniers, M.A., Heemels, W.P.M.H.: Hybrid transition systems. Technical Report CS-Report 02-12, Eindhoven University of Technology, Department of Computer Science, The Netherlands (2002)Google Scholar
- 12.H. Highly-complex and networked control systems (2010), http://www.hycon2.eu/
- 13.HYCON Network of Excellence (2005), http://www.ist-hycon.org/
- 16.MULTIFORM consortium. Integrated multi-formalism tool support for the design of networked embedded control systems MULTIFORM (2008), http://www.multiform.bci.tu-dortmund.de
- 19.The MathWorks, Inc., Simulink (2011), http://www.mathworks.com
- 20.Theunissen, R.J.M., Petreczky, M., Schiffelers, R.R.H., van Beek, D.A., Rooda, J.E.: Application of supervisory control synthesis to MRI scanners: improving evolvability. SE Report 2010-06, System Engineering Group, Department of Mechanical Engineering, Eindhoven university of technology, Eindhoven (2010)Google Scholar
- 21.Uselton, A.E., Smolka, S.A.: State Refinement in Process Algebra. Technical report, Stony Brook university, NY (1993)Google Scholar