The hierarchical compositional interchange format

D.E. Nadales Agut, D.A. Beek, van, H. Beohar, P.J.L. Cuijpers, J. Fonteijn

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review


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.
Original languageEnglish
Title of host publicationProceedings of the Formal Methods for Components and Objects (FMCO 2011), 29 November - 1 December 2011, Graz, Austria
EditorsB.K. Aichering, F.S. Boer, de, M.M. Bonsangue
Place of PublicationBerlin
ISBN (Print)978-3-642-25270-9
Publication statusPublished - 2011

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Dive into the research topics of 'The hierarchical compositional interchange format'. Together they form a unique fingerprint.

Cite this