Database of Research Tools Developed Using CADP

aZiZa

Organisation: University of Nantes (FRANCE)

Functionality: Analysis of heterogeneous components

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

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: https://arxiv.org/abs/1707.06858
or from our FTP site in PDF or PostScript

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



Further remarks: This tool, amongst others, is described on the CADP Web site: http://cadp.inria.fr/software


Last modified: Tue Apr 2 16:40:20 2019.


Back to the CADP research tools page