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

17 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.
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
StatePublished - 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

Interchanges
Semantics
Hybrid systems
Interoperability
Chemical analysis

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)
Beek, van, D.A. ; Collins, P. ; Nadales Agut, D.E. ; Rooda, J.E. ; Schiffelers, R.R.H./ New concepts in the abstract format of the compositional interchange format. Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 16-18 September 2009, Zaragoza, Spain. 2009. pp. 1-7
@inproceedings{35572b32498c4c1183479f5dcfc7a060,
title = "New concepts in the abstract format of the compositional interchange format",
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.",
author = "{Beek, van}, D.A. and P. Collins and {Nadales Agut}, D.E. and J.E. Rooda and R.R.H. Schiffelers",
year = "2009",
language = "English",
pages = "1--7",
booktitle = "Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 16-18 September 2009, Zaragoza, Spain",

}

Beek, van, DA, Collins, P, Nadales Agut, DE, Rooda, JE & Schiffelers, RRH 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, 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2009), Zaragoza, Spain, 16/09/09.

New concepts in the abstract format of the compositional interchange format. / Beek, van, D.A.; Collins, P.; Nadales Agut, D.E.; Rooda, J.E.; Schiffelers, R.R.H.

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 16-18 September 2009, Zaragoza, Spain. 2009. p. 1-7.

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

TY - GEN

T1 - New concepts in the abstract format of the compositional interchange format

AU - Beek, van,D.A.

AU - Collins,P.

AU - Nadales Agut,D.E.

AU - Rooda,J.E.

AU - Schiffelers,R.R.H.

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

M3 - Conference contribution

SP - 1

EP - 7

BT - Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 16-18 September 2009, Zaragoza, Spain

ER -

Beek, van DA, Collins P, Nadales Agut DE, Rooda JE, Schiffelers RRH. 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. 2009. p. 1-7.