| 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..
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.