Hierarchical states in the compositional interchange format

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (Scopus)

Samenvatting

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.
Originele taal-2Engels
TitelSeventh Workshop on Structural Operational Semantics (SOS'10, Paris, France, August 30, 2010)
RedacteurenL. Aceto, P. Sobocinski
Pagina's42-56
DOI's
StatusGepubliceerd - 2010

Publicatie series

NaamElectronic Proceedings in Theoretical Computer Science
Volume32
ISSN van geprinte versie2075-2180

Vingerafdruk

Duik in de onderzoeksthema's van 'Hierarchical states in the compositional interchange format'. Samen vormen ze een unieke vingerafdruk.

Citeer dit