Skip to main content
Article thumbnail
Location of Repository

BDL: A Specialized Language for per-Object Reactive Control

By Frédéric Bertrand and Michel Augeraud


| The problem of describing the concurrent behavior of objects in object-oriented languages is adressed. The approach taken is to let methods be the behavior units whose synchronization is controlled separate from their speci cation. Our proposal is a domain-speci c language, called BDL, for expressing constraints on this control and actually implementing its enforcement. We propose a model where each object includes a so-called \execution controller," programmed in BDL. This separates cleanly the concepts of what the methods do, the object processes, from the circumstances in which they are allowed to do it, the control. The object controller ensures that scheduling constraints between the object's methods are met. Aggregate objects can be controlled in terms of their components. This language has a convenient formal base. Thus, using BDL expressions, behavioral properties of objects or groups of interesting objects can be veri ed. Our approach allows, for example, deadlock detection..

Topics: control of behavior, verication, reactive languages
Year: 1999
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.