Hierarchical states in the compositional interchange format

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

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

4 Citations (Scopus)

Abstract

CIF is a language designed for two purposes, namely as a specification language for hybrid systems and as an interchange format for allowing model transformations between other languages for hybrid systems. To facilitate the top-down development of a hybrid system and also to be able to express models more succinctly in the CIF formalism, we need a mechanism for stepwise refinement. In this paper, we add the notion of hierarchy to a subset of the CIF language, which we call hCIF¿ . The semantic domain of the CIF formalism is a hybrid transition system, constructed using structural operational semantics. The goal of this paper is to present a semantics for hierarchy in such a way that only the SOS rules for atomic entities in hCIF¿ are redesigned in comparison to CIF . Furthermore, to be able to reuse existing tools like simulators of the CIF language, a procedure to eliminate hierarchy from an automaton is given.
LanguageEnglish
Title of host publicationSeventh Workshop on Structural Operational Semantics (SOS'10, Paris, France, August 30, 2010)
EditorsL. Aceto, P. Sobocinski
Pages42-56
DOIs
StatePublished - 2010

Publication series

NameElectronic Proceedings in Theoretical Computer Science
Volume32
ISSN (Print)2075-2180

Fingerprint

Interchanges
Hybrid systems
Semantics
Specification languages
Simulators

Cite this

Beohar, H., Nadales Agut, D. E., Beek, van, D. A., & Cuijpers, P. J. L. (2010). Hierarchical states in the compositional interchange format. In L. Aceto, & P. Sobocinski (Eds.), Seventh Workshop on Structural Operational Semantics (SOS'10, Paris, France, August 30, 2010) (pp. 42-56). (Electronic Proceedings in Theoretical Computer Science; Vol. 32). DOI: 10.4204/EPTCS.32.4
Beohar, H. ; Nadales Agut, D.E. ; Beek, van, D.A. ; Cuijpers, P.J.L./ Hierarchical states in the compositional interchange format. Seventh Workshop on Structural Operational Semantics (SOS'10, Paris, France, August 30, 2010). editor / L. Aceto ; P. Sobocinski. 2010. pp. 42-56 (Electronic Proceedings in Theoretical Computer Science).
@inproceedings{3035a8cc61cc477f90a6a263cfc8828b,
title = "Hierarchical states in the compositional interchange format",
abstract = "CIF is a language designed for two purposes, namely as a specification language for hybrid systems and as an interchange format for allowing model transformations between other languages for hybrid systems. To facilitate the top-down development of a hybrid system and also to be able to express models more succinctly in the CIF formalism, we need a mechanism for stepwise refinement. In this paper, we add the notion of hierarchy to a subset of the CIF language, which we call hCIF¿ . The semantic domain of the CIF formalism is a hybrid transition system, constructed using structural operational semantics. The goal of this paper is to present a semantics for hierarchy in such a way that only the SOS rules for atomic entities in hCIF¿ are redesigned in comparison to CIF . Furthermore, to be able to reuse existing tools like simulators of the CIF language, a procedure to eliminate hierarchy from an automaton is given.",
author = "H. Beohar and {Nadales Agut}, D.E. and {Beek, van}, D.A. and P.J.L. Cuijpers",
year = "2010",
doi = "10.4204/EPTCS.32.4",
language = "English",
series = "Electronic Proceedings in Theoretical Computer Science",
pages = "42--56",
editor = "L. Aceto and P. Sobocinski",
booktitle = "Seventh Workshop on Structural Operational Semantics (SOS'10, Paris, France, August 30, 2010)",

}

Beohar, H, Nadales Agut, DE, Beek, van, DA & Cuijpers, PJL 2010, Hierarchical states in the compositional interchange format. in L Aceto & P Sobocinski (eds), Seventh Workshop on Structural Operational Semantics (SOS'10, Paris, France, August 30, 2010). Electronic Proceedings in Theoretical Computer Science, vol. 32, pp. 42-56. DOI: 10.4204/EPTCS.32.4

Hierarchical states in the compositional interchange format. / Beohar, H.; Nadales Agut, D.E.; Beek, van, D.A.; Cuijpers, P.J.L.

Seventh Workshop on Structural Operational Semantics (SOS'10, Paris, France, August 30, 2010). ed. / L. Aceto; P. Sobocinski. 2010. p. 42-56 (Electronic Proceedings in Theoretical Computer Science; Vol. 32).

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

TY - GEN

T1 - Hierarchical states in the compositional interchange format

AU - Beohar,H.

AU - Nadales Agut,D.E.

AU - Beek, van,D.A.

AU - Cuijpers,P.J.L.

PY - 2010

Y1 - 2010

N2 - CIF is a language designed for two purposes, namely as a specification language for hybrid systems and as an interchange format for allowing model transformations between other languages for hybrid systems. To facilitate the top-down development of a hybrid system and also to be able to express models more succinctly in the CIF formalism, we need a mechanism for stepwise refinement. In this paper, we add the notion of hierarchy to a subset of the CIF language, which we call hCIF¿ . The semantic domain of the CIF formalism is a hybrid transition system, constructed using structural operational semantics. The goal of this paper is to present a semantics for hierarchy in such a way that only the SOS rules for atomic entities in hCIF¿ are redesigned in comparison to CIF . Furthermore, to be able to reuse existing tools like simulators of the CIF language, a procedure to eliminate hierarchy from an automaton is given.

AB - CIF is a language designed for two purposes, namely as a specification language for hybrid systems and as an interchange format for allowing model transformations between other languages for hybrid systems. To facilitate the top-down development of a hybrid system and also to be able to express models more succinctly in the CIF formalism, we need a mechanism for stepwise refinement. In this paper, we add the notion of hierarchy to a subset of the CIF language, which we call hCIF¿ . The semantic domain of the CIF formalism is a hybrid transition system, constructed using structural operational semantics. The goal of this paper is to present a semantics for hierarchy in such a way that only the SOS rules for atomic entities in hCIF¿ are redesigned in comparison to CIF . Furthermore, to be able to reuse existing tools like simulators of the CIF language, a procedure to eliminate hierarchy from an automaton is given.

U2 - 10.4204/EPTCS.32.4

DO - 10.4204/EPTCS.32.4

M3 - Conference contribution

T3 - Electronic Proceedings in Theoretical Computer Science

SP - 42

EP - 56

BT - Seventh Workshop on Structural Operational Semantics (SOS'10, Paris, France, August 30, 2010)

ER -

Beohar H, Nadales Agut DE, Beek, van DA, Cuijpers PJL. Hierarchical states in the compositional interchange format. In Aceto L, Sobocinski P, editors, Seventh Workshop on Structural Operational Semantics (SOS'10, Paris, France, August 30, 2010). 2010. p. 42-56. (Electronic Proceedings in Theoretical Computer Science). Available from, DOI: 10.4204/EPTCS.32.4