A transformation framework for the compositional interchange format for hybrid systems

D. Hendriks, R.R.H. Schiffelers, Martin Hüfner, Christian Sonntag

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

5 Citations (Scopus)
1 Downloads (Pure)


The purpose of the Compositional Interchange Format for hybrid systems (CIF) is to establish inter-operability of a wide range of tools by means of model transformations - using the CIF as intermediate, the implementation of many bi-lateral translators between specific formalisms can be avoided. This paper presents the architecture of the CIF transformation framework. Languages in the CIF transformation framework are defined by means of conceptual models, and transformations are specified by means of transformation languages. To avoid large monolithic transformations, transformations are divided into many small single- or crossformalism transformations, each with their own concern. In this way, transformations are obtained that are easier to understand and can be re-used individually. A domain-specific language ToolDef has been developed to specify complex, automated tool chains that are based on these small individual transformations. The ToolDef architecture is illustrated using a translation between the CIF and UPPAAL, and an example for the application of the transformation framework is given based on a transformation between the CIF and gPROMS.
Original languageEnglish
Title of host publicationProceedings of the 18th IFAC World Congress, August 28 - September 2, 2011, Milano, Italy
Place of PublicationOxford
Publication statusPublished - 2012

Fingerprint Dive into the research topics of 'A transformation framework for the compositional interchange format for hybrid systems'. Together they form a unique fingerprint.

Cite this