IRISA / INRIA Rennes (FRANCE)
Implementation of BDL operational semantics
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.
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.
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.
Campus de Beaulieu
Avenue du General Leclerc
Tel: +33 (0)2 99 84 71 93
|Further remarks:||This tool, amongst others, is described on the CADP Web site: http://cadp.inria.fr/software|