Database of Research Tools Developed Using CADP


Organisation: University of Nantes (FRANCE)

Functionality: Analysis of heterogeneous components

Tools used: CADP (Construction and Analysis of Distributed Processes)

Period: 2017

Description: Large complex systems are often heterogeneous, i.e., build from components developed using different languages. To ease the composition, and consequently the interaction, between heterogeneous but compatible behavioural models, the author suggests a notion of behavioural compatibility, defined on a semantic domain common to all considered languages.

Concrectely, the aZiZa tool provides translations from various modeling formalisms (in particular, Uppaal, Promela, and LOTOS) into the common semantic domain of LTSs (Labeled Transition Systems). To be as flexible as possible, these translations can extract particular processes from the models (based on the labels of the structure of the model) and rename labels. Once transformed into a combined LTS, the system can be model checked.

Conclusions: LTSs can be used as a common semantics domain for various languages. However, the author also reports "that a more expressive formalism is preferable to be used as the target of embedding in order to avoid loosing information. For this purpose we target the Lotos language for further experiments."

Publications: [Attiogbe-17] Christian Attiogbé. "Mastering Heterogeneous Behavioural Models". Extended version of a paper published in the proceedings of the 7th international conference on Model and Data Engineering (MEDI 2017), Barcelona, Spain, Lecture Notes in Computer Science, vol 10563, pages 291-299, Springer, October 2017.
Available on-line at:
or from the CADP Web site in PDF or PostScript

Christian Attiogbé
LS2N - Faculté des sciences
2, rue de la Houssinière
BP 92208
F-44322 Nantes Cedex 3
Tel: +33 (0)2 40 30 60 51
Fax: +33 (0)2 51 12 58 12

Further remarks: This tool, amongst others, is described on the CADP Web site:

Last modified: Thu Feb 11 12:23:12 2021.

Back to the CADP research tools page