The hierarchical compositional interchange format

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

doi:10.1007/978-3-642-25271-6_17

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 proceeding › Conference contribution › Academic › peer-review

Abstract

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 language	English
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
Publisher	Springer
Pages	316-335
ISBN (Print)	978-3-642-25270-9
DOIs	https://doi.org/10.1007/978-3-642-25271-6_17
Publication status	Published - 2011

Publication series

Name	Lecture Notes in Computer Science
Volume	6957
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-642-25271-6_17

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

Cite this

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

Nadales Agut, D.E. ; Beek, van, D.A. ; Beohar, H. ; Cuijpers, P.J.L. ; Fonteijn, J. / The hierarchical compositional interchange format. Proceedings of the Formal Methods for Components and Objects (FMCO 2011), 29 November - 1 December 2011, Graz, Austria. editor / B.K. Aichering ; F.S. Boer, de ; M.M. Bonsangue. Berlin : Springer, 2011. pp. 316-335 (Lecture Notes in Computer Science).

@inproceedings{5a8880966bfe4455a8f31513bfc7550b,

title = "The hierarchical compositional interchange format",

abstract = "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.",

author = "{Nadales Agut}, D.E. and {Beek, van}, D.A. and H. Beohar and P.J.L. Cuijpers and J. Fonteijn",

year = "2011",

doi = "10.1007/978-3-642-25271-6_17",

language = "English",

isbn = "978-3-642-25270-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "316--335",

editor = "B.K. Aichering and {Boer, de}, F.S. and M.M. Bonsangue",

booktitle = "Proceedings of the Formal Methods for Components and Objects (FMCO 2011), 29 November - 1 December 2011, Graz, Austria",

address = "Germany",

}

Nadales Agut, DE, Beek, van, DA, Beohar, H, Cuijpers, PJL & Fonteijn, J 2011, The hierarchical compositional interchange format. in BK Aichering, FS Boer, de & MM Bonsangue (eds), Proceedings of the Formal Methods for Components and Objects (FMCO 2011), 29 November - 1 December 2011, Graz, Austria. Lecture Notes in Computer Science, vol. 6957, Springer, Berlin, pp. 316-335. https://doi.org/10.1007/978-3-642-25271-6_17

The hierarchical compositional interchange format. / Nadales Agut, D.E.; Beek, van, D.A.; Beohar, H.; Cuijpers, P.J.L.; Fonteijn, J.

Proceedings of the Formal Methods for Components and Objects (FMCO 2011), 29 November - 1 December 2011, Graz, Austria. ed. / B.K. Aichering; F.S. Boer, de; M.M. Bonsangue. Berlin : Springer, 2011. p. 316-335 (Lecture Notes in Computer Science; Vol. 6957).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - The hierarchical compositional interchange format

AU - Nadales Agut, D.E.

AU - Beek, van, D.A.

AU - Beohar, H.

AU - Cuijpers, P.J.L.

AU - Fonteijn, J.

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-25271-6_17

DO - 10.1007/978-3-642-25271-6_17

M3 - Conference contribution

SN - 978-3-642-25270-9

T3 - Lecture Notes in Computer Science

SP - 316

EP - 335

BT - Proceedings of the Formal Methods for Components and Objects (FMCO 2011), 29 November - 1 December 2011, Graz, Austria

A2 - Aichering, B.K.

A2 - Boer, de, F.S.

A2 - Bonsangue, M.M.

PB - Springer

CY - Berlin

ER -

Nadales Agut DE, Beek, van DA, Beohar H, Cuijpers PJL, Fonteijn J. The hierarchical compositional interchange format. In Aichering BK, Boer, de FS, Bonsangue MM, editors, Proceedings of the Formal Methods for Components and Objects (FMCO 2011), 29 November - 1 December 2011, Graz, Austria. Berlin: Springer. 2011. p. 316-335. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-25271-6_17