Database of Research Tools Developed Using CADP

BDL (Behavioural Description Language)

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.
Claude Jard
Campus de Beaulieu
Avenue du General Leclerc
F-35042 Rennes
Tel: +33 (0)2 99 84 71 93

Further remarks: This tool, amongst others, is described on the CADP Web site:

Last modified: Thu Jul 17 15:47:33 2014.

Back to the CADP research tools page