|
| 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 |
| CADP Resources |
|
VLSAT Benchmarks
VLTS Benchmarks Other Resources |
| About CADP |
| Contributors |
| Organisation: |
IRISA / INRIA Rennes (FRANCE)
|
|---|---|
| Functionality: |
Implementation of BDL operational semantics
|
| Tools used: |
OPEN/CAESAR
|
| Period: |
1999
|
| Description: |
Object-oriented methodologies like UML (Unified Modeling Language)
are increasingly used for the design and development of distributed
systems. BDL (Behavioural Description Language) [Talpin-et-al-98]
is a view of UML enriched with behavioural description facilities.
BDL has a formal semantics that is suitable for simulation,
verification, and code generation from object-oriented specifications.
A BDL specification is a collection of classes connected via various relations, each class being represented as a directed graph whose nodes are (valued) events. BDL classes and communications can be interpreted in a synchronous or asynchronous way. Starting from a denotational semantics of BDL, four different operational semantics of BDL have been developed: synchronous small-step, synchronous large-step, asynchronous, and synchronous-asynchronous. These semantics have been implemented using the OPEN/CAESAR generic environment for on-the-fly verification of CADP. |
| Conclusions: |
The connection of BDL to OPEN/CAESAR allows to benefit from all the
simulation, verification, and test generation facilities already
implemented using OPEN/CAESAR. Moreover, work is ongoing to build
a front-end for UML enriched with BDL is under development, by
extending the tool UMLAUT [Jezequel-Pennaneac-97] for analysing
and transforming UML programs.
|
| Publications: |
[Canon-Jard-99]
Hubert Canon and Claude Jard.
"Un modèle sémantique pour la validation des logiciels
objets en télécommunication".
Actes du 7ème Colloque Francophone sur l'Ingénierie des
Protocoles CFIP'99 (Nancy, France), pages 83-98, April 1999.
[Jezequel-Pennaneac-97] J-M. Jezequel and F. Pennaneac'H. "Validating 'Distributed OO software'". In Proceedings of the Workshop on Models, Formalisms and Methods for Object-Oriented Distributed Computing ECOOP'97 (Finland), June 1997. [Talpin-et-al-98] J-P. Talpin, A. Benveniste, B. Caillaud, C. Jard, Z. Bouziane, and H. Canon. "BDL, a Specifiation Language for Distributed Object-Oriented Real-Time Systems". In Proceedings of the International Symposium on Object-Oriented Real-Time distributed Computing ISORC'98, 1998. |
| Contact: | Claude Jard IRISA Campus de Beaulieu Avenue du General Leclerc F-35042 Rennes France Tel: +33 (0)2 99 84 71 93 E-mail: [email protected] |
| 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