Skip to Main content Skip to Navigation
Reports

BDl, A Language of Distributed Reactive Objects

Jean-Pierre Talpin 1 Albert Benveniste 1 Benoit Caillaud 2 Claude Jard 2 Zakaria Bouziane 2 Hubert Canon 2
1 EP-ATR - Environnement de programmation d'applications temps réel
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
2 PAMPA - Models and Tools for Programming Distributed Parallel Architectures
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : We introduce the definition of a language of distributed reactive objects, a Behaviour Description Language (BDL) as a unified medium for specifying, verifying, compiling and validating object-oriented, distributed reactive systems. One of the novelties in BDL is its seamless integration into the Unified Modeling Language approach (UML). BDL supports a description of objects interaction which respects both the functional architecture of system designs and the declarative style of diagram descriptions. This support is implemented by means of a partial-order theoretical framework. This framework allows to specify both the causality and the control models of object interactions independently of any hypothesis on the actual configuration of the system. Given the description of such a configuration, the use of BDL offers new perspectives for a flexible verification of systems by modeling them as an asynchronous network of synchronous components. It allows an optimized code generation by using compilation techniques developed for synchronous languages. It permits an accurate validation and test of applications by supporting the manipulation of both causal and control dependencies. BDL aims at maximizing the re-usability of high-level specifications while minimizing programming effort and test-case based validation of distributed systems.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00073336
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 12:34:29 PM
Last modification on : Thursday, February 11, 2021 - 2:48:05 PM
Long-term archiving on: : Sunday, April 4, 2010 - 8:59:08 PM

Identifiers

  • HAL Id : inria-00073336, version 1

Citation

Jean-Pierre Talpin, Albert Benveniste, Benoit Caillaud, Claude Jard, Zakaria Bouziane, et al.. BDl, A Language of Distributed Reactive Objects. [Research Report] RR-3353, INRIA. 1998. ⟨inria-00073336⟩

Share

Metrics

Record views

452

Files downloads

383