|
| What is CADP? |
|---|
|
Home Page
Tools Overview Current Status Recent Changes |
| Installation |
|
How to obtain CADP?
Usage Statistics |
| Documentation |
|
FAQ
Tutorials Publications Manual Pages Demo Examples Wikipedia |
| CADP Community |
|
Newsletters
Education & Training Case Studies Research Tools Forum |
| CADP Resources |
|
VLSAT Benchmarks
VLTS Benchmarks Other Resources |
| About CADP |
| Contributors |
| 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 the CADP Web 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 |
Back to the CADP research tools page