New concepts in the abstract format of the Compositional Interchange Format
The compositional interchange format for hybrid systems (CIF) supports inter-operability of a wide range of tools by means of model transformations to and 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 a concrete format, used for deﬁning 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 more orthogonal by providing an operator for each concept in the language; parallel composition has been deﬁned in such a way that compositional veriﬁcation (assume/guarantee reasoning) is supported; and the concept of urgent actions has been properly deﬁned. As a result, the expressivity and semantics of the abstract language have been considerably improved.
|Keywords||Modeling, Automata, Hybrid Systems, Formal Semantics.|
|THEME||Life Sciences (theme 5), Energy (theme 4)|
|Publisher||International Federation of Automatic Control|
|Editor||A. Giua , M. Silva (Manuel) , J. Zaytoon|
|Project||Control for coordination of distributed systems|
|Conference||IFAC Conference on Analysis and Design of Hybrid Systems|
van Beek, D.A, Collins, P.J, Nadales Agut, D.E, Rooda, J.E, & Schiffelers, R.R.H. (2009). New concepts in the abstract format of the Compositional Interchange Format. In A Giua, M Silva, & J Zaytoon (Eds.), Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems. International Federation of Automatic Control.