The Hierarchical Compositional Interchange Format

  title={The Hierarchical Compositional Interchange Format},
  author={D. E. Nadales Agut and Dirk A. van Beek and Harsh Beohar and Pieter J. L. Cuijpers and Jasper Fonteijn},
In computer science, the development of hierarchical automata / statecharts has lead to stepwise development of complex discrete systems. Such a concept is absent in the Compositional Interchange Format (CIF), which is a modelling language based on hybrid automata. In this article we extend the CIF language with the concept of hierarchy, which results in the Hierarchical Compositional Interchange format (HCIF). Syntactically, hierarchy is introduced by adding three concepts to CIF: a hierarchy… CONTINUE READING


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 13 references

A structural approach to operational semantics

J. Log. Algebr. Program. • 2004
View 6 Excerpts
Highly Influenced

Hybrid transition systems

P.J.L. Cuijpers, M. A. Reniers, W.P.M.H. Heemels
Technical Report CS-Report 02-12, • 2002
View 4 Excerpts
Highly Influenced

Definition of the compositional interchange format

J. Baeten, D. van Beek, +4 authors R. Schiffelers
Technical Report Deliverable D1.1.2, • 2010
View 3 Excerpts

New concepts in the abstract format of the compositional interchange format

D. A. v. Beek, P. Collins, D. E. Nadales, J. Rooda, R.R.H. Schiffelers
3rd IFAC Conference on Analysis and Design of Hybrid Systems, • 2009
View 1 Excerpt

PHAVer: algorithmic verification of hybrid systems past HyTech

International Journal on Software Tools for Technology Transfer • 2007
View 1 Excerpt

Modeling Heterogeneous Real-time Components in BIP

Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) • 2006
View 1 Excerpt

Similar Papers

Loading similar papers…