The hierarchical compositional interchange format

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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.
Originele taal-2Engels
TitelProceedings of the Formal Methods for Components and Objects (FMCO 2011), 29 November - 1 December 2011, Graz, Austria
RedacteurenB.K. Aichering, F.S. Boer, de, M.M. Bonsangue
Plaats van productieBerlin
ISBN van geprinte versie978-3-642-25270-9
StatusGepubliceerd - 2011

Publicatie series

NaamLecture Notes in Computer Science
ISSN van geprinte versie0302-9743

Vingerafdruk Duik in de onderzoeksthema's van 'The hierarchical compositional interchange format'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    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 (editors), Proceedings of the Formal Methods for Components and Objects (FMCO 2011), 29 November - 1 December 2011, Graz, Austria (blz. 316-335). (Lecture Notes in Computer Science; Vol. 6957). Springer.