University of Nantes (FRANCE)
Analysis of heterogeneous components
CADP (Construction and Analysis of Distributed Processes)
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
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.
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."
"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
LS2N - Faculté des sciences
2, rue de la Houssinière
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: http://cadp.inria.fr/software|