A semantic-preserving transformation from the compositional interchange format to UPPAAL

D.E. Nadales Agut, M.A. Reniers, R.R.H. Schiffelers, K.E. Jorgensen, D.A. Beek, van

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

6 Citations (Scopus)

Abstract

The Compositional Interchange Format (CIF), is a modeling formalism for hybrid systems, that aims to establishing interoperability of a wide range of tools by means of model transformations to and from CIF. UPPAAL is currently a very successful tool for the specification and analysis of timed systems. It is interesting, both from a theoretical and a practical perspective, to be able to translate CIF models to networks of UPPAAL automata, since this makes it possible to perform model checking of timed CIF models. In addition, by providing such a translation we are, at the same time, providing translations for a wider set of languages that can be transformed to CIF. This paper presents a semantic-preserving transformation from a subset of CIF models to UPPAAL. The transformation described in this work constitutes the cornerstone for transformations of a broader subset of CIF, that can be obtained via process algebraic linearization to a translatable form.
LanguageEnglish
Title of host publicationProceedings of the 18th IFAC World Congress, 28 August - 2 September 2011, Milano, Italy
EditorsS. Bittanti, A. Cenedese, S. Zampieri
Pages12496-12502
DOIs
StatePublished - 2011
Eventconference; IFAC 2011; 2011-08-28; 2011-09-02 -
Duration: 28 Aug 20112 Sep 2011

Conference

Conferenceconference; IFAC 2011; 2011-08-28; 2011-09-02
Period28/08/112/09/11
OtherIFAC 2011

Fingerprint

Interchanges
Semantics
Model checking
Hybrid systems
Linearization
Interoperability
Specifications

Cite this

Nadales Agut, D. E., Reniers, M. A., Schiffelers, R. R. H., Jorgensen, K. E., & Beek, van, D. A. (2011). A semantic-preserving transformation from the compositional interchange format to UPPAAL. In S. Bittanti, A. Cenedese, & S. Zampieri (Eds.), Proceedings of the 18th IFAC World Congress, 28 August - 2 September 2011, Milano, Italy (pp. 12496-12502). DOI: 10.3182/20110828-6-IT-1002.03030
Nadales Agut, D.E. ; Reniers, M.A. ; Schiffelers, R.R.H. ; Jorgensen, K.E. ; Beek, van, D.A./ A semantic-preserving transformation from the compositional interchange format to UPPAAL. Proceedings of the 18th IFAC World Congress, 28 August - 2 September 2011, Milano, Italy. editor / S. Bittanti ; A. Cenedese ; S. Zampieri. 2011. pp. 12496-12502
@inproceedings{c63e10564c664b7e8c4696dc42229b84,
title = "A semantic-preserving transformation from the compositional interchange format to UPPAAL",
abstract = "The Compositional Interchange Format (CIF), is a modeling formalism for hybrid systems, that aims to establishing interoperability of a wide range of tools by means of model transformations to and from CIF. UPPAAL is currently a very successful tool for the specification and analysis of timed systems. It is interesting, both from a theoretical and a practical perspective, to be able to translate CIF models to networks of UPPAAL automata, since this makes it possible to perform model checking of timed CIF models. In addition, by providing such a translation we are, at the same time, providing translations for a wider set of languages that can be transformed to CIF. This paper presents a semantic-preserving transformation from a subset of CIF models to UPPAAL. The transformation described in this work constitutes the cornerstone for transformations of a broader subset of CIF, that can be obtained via process algebraic linearization to a translatable form.",
author = "{Nadales Agut}, D.E. and M.A. Reniers and R.R.H. Schiffelers and K.E. Jorgensen and {Beek, van}, D.A.",
year = "2011",
doi = "10.3182/20110828-6-IT-1002.03030",
language = "English",
pages = "12496--12502",
editor = "S. Bittanti and A. Cenedese and S. Zampieri",
booktitle = "Proceedings of the 18th IFAC World Congress, 28 August - 2 September 2011, Milano, Italy",

}

Nadales Agut, DE, Reniers, MA, Schiffelers, RRH, Jorgensen, KE & Beek, van, DA 2011, A semantic-preserving transformation from the compositional interchange format to UPPAAL. in S Bittanti, A Cenedese & S Zampieri (eds), Proceedings of the 18th IFAC World Congress, 28 August - 2 September 2011, Milano, Italy. pp. 12496-12502, conference; IFAC 2011; 2011-08-28; 2011-09-02, 28/08/11. DOI: 10.3182/20110828-6-IT-1002.03030

A semantic-preserving transformation from the compositional interchange format to UPPAAL. / Nadales Agut, D.E.; Reniers, M.A.; Schiffelers, R.R.H.; Jorgensen, K.E.; Beek, van, D.A.

Proceedings of the 18th IFAC World Congress, 28 August - 2 September 2011, Milano, Italy. ed. / S. Bittanti; A. Cenedese; S. Zampieri. 2011. p. 12496-12502.

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

TY - GEN

T1 - A semantic-preserving transformation from the compositional interchange format to UPPAAL

AU - Nadales Agut,D.E.

AU - Reniers,M.A.

AU - Schiffelers,R.R.H.

AU - Jorgensen,K.E.

AU - Beek, van,D.A.

PY - 2011

Y1 - 2011

N2 - The Compositional Interchange Format (CIF), is a modeling formalism for hybrid systems, that aims to establishing interoperability of a wide range of tools by means of model transformations to and from CIF. UPPAAL is currently a very successful tool for the specification and analysis of timed systems. It is interesting, both from a theoretical and a practical perspective, to be able to translate CIF models to networks of UPPAAL automata, since this makes it possible to perform model checking of timed CIF models. In addition, by providing such a translation we are, at the same time, providing translations for a wider set of languages that can be transformed to CIF. This paper presents a semantic-preserving transformation from a subset of CIF models to UPPAAL. The transformation described in this work constitutes the cornerstone for transformations of a broader subset of CIF, that can be obtained via process algebraic linearization to a translatable form.

AB - The Compositional Interchange Format (CIF), is a modeling formalism for hybrid systems, that aims to establishing interoperability of a wide range of tools by means of model transformations to and from CIF. UPPAAL is currently a very successful tool for the specification and analysis of timed systems. It is interesting, both from a theoretical and a practical perspective, to be able to translate CIF models to networks of UPPAAL automata, since this makes it possible to perform model checking of timed CIF models. In addition, by providing such a translation we are, at the same time, providing translations for a wider set of languages that can be transformed to CIF. This paper presents a semantic-preserving transformation from a subset of CIF models to UPPAAL. The transformation described in this work constitutes the cornerstone for transformations of a broader subset of CIF, that can be obtained via process algebraic linearization to a translatable form.

U2 - 10.3182/20110828-6-IT-1002.03030

DO - 10.3182/20110828-6-IT-1002.03030

M3 - Conference contribution

SP - 12496

EP - 12502

BT - Proceedings of the 18th IFAC World Congress, 28 August - 2 September 2011, Milano, Italy

ER -

Nadales Agut DE, Reniers MA, Schiffelers RRH, Jorgensen KE, Beek, van DA. A semantic-preserving transformation from the compositional interchange format to UPPAAL. In Bittanti S, Cenedese A, Zampieri S, editors, Proceedings of the 18th IFAC World Congress, 28 August - 2 September 2011, Milano, Italy. 2011. p. 12496-12502. Available from, DOI: 10.3182/20110828-6-IT-1002.03030