New concepts in the abstract format of the compositional interchange format

D.A. Beek, van, P. Collins, D.E. Nadales Agut, J.E. Rooda, R.R.H. Schiffelers

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

    18 Citations (Scopus)

    Abstract

    The compositional interchange format for hybrid systems (CIF) supports inter-operability of a wide range of tools by means of model transformations toand from the CIF. Work on the CIF takes place in the FP7 Multiform project, and in several other European projects. The CIF consists of an abstract and aconcrete format, used for defining a formal semantics and for modeling, respectively. This paper discusses the results of a redesign of the abstract format as previously published, leading to the following main changes: variables are introduced using scoping operators; the abstract language is made moreorthogonal by providing an operator for each concept in the language; parallel composition has been defined in such a way that compositional verification(assume/guarantee reasoning) is supported; and the concept of urgent actions has been properly defined. As a result, the expressivity and semantics of theabstract language have been considerably improved.
    Original languageEnglish
    Title of host publicationProceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 16-18 September 2009, Zaragoza, Spain
    Pages1-7
    Publication statusPublished - 2009
    Event3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2009) - Zaragoza, Spain
    Duration: 16 Sep 200918 Sep 2009

    Conference

    Conference3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2009)
    CountrySpain
    CityZaragoza
    Period16/09/0918/09/09

    Fingerprint Dive into the research topics of 'New concepts in the abstract format of the compositional interchange format'. Together they form a unique fingerprint.

  • Cite this

    Beek, van, D. A., Collins, P., Nadales Agut, D. E., Rooda, J. E., & Schiffelers, R. R. H. (2009). New concepts in the abstract format of the compositional interchange format. In Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 16-18 September 2009, Zaragoza, Spain (pp. 1-7)