BDL: A Semantics Backbone for UML Dynamic Diagrams - Inria - Institut national de recherche en sciences et technologies du numérique
Reports (Research Report) Year : 2000

BDL: A Semantics Backbone for UML Dynamic Diagrams

Abstract

The UML (Unified Modelling Language) comprises various types of notations, to model the functional architecture, the behaviour of its components, and its deployment. Dynamic diagrams provide descriptions of the components and system behaviour. Examples of dynamic diagrams are collaboration and sequence diagrams to specify high level abstractions for sequences of actions involving several components of the system. Activity diagrams, state diagrams, and statecharts are used to specify the detailed behaviour of a single component. In this report we propose a new formalism, called BDL, to serve as a semantic backbone for dynamic diagrams of UML. BDL diagrams allow to provide a set of UML diagrams a global dynamic semantics. It allows to specify the behaviour of systems. It provides a common semantics to the different dynamic diagrams -this report analyses in detail sequence diagrams and statecharts. Composing components requires different types of communication, synchronous or asynchronous. While a precise description of these choices is essential at deployment stage, it is useful not to bother with this at early design stages. To this end, BDL supports a flexible, dual synchronous/asynchronous semantics for its communications. It provides sounded support for moving from synchronous to asynchronous communication while preserving dynamic semantics. We illustrate the use of BDL on a small example of service adaptation in telecommunications.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-4003.pdf (680.32 Ko) Télécharger le fichier

Dates and versions

inria-00072641 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00072641 , version 1

Cite

Benoit Caillaud, Jean-Pierre Talpin, Jean-Marc Jézéquel, Albert Benveniste, Claude Jard. BDL: A Semantics Backbone for UML Dynamic Diagrams. [Research Report] RR-4003, INRIA. 2000. ⟨inria-00072641⟩
208 View
126 Download

Share

More