Abstract | 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-specic 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
|
1713
|
Statecharts: A Visual Formalism for Complex Systems
– Harel
- 1987
|
|
1268
|
The C++ Programming Language
– Stroustrup
- 1997
|
|
1127
|
SmallTalk 80: The Language and its Implementation
– Goldberg, Robson
- 1983
|
|
719
|
The Java Programming Language
– Arnold, Gosling
- 1996
|
|
562
|
The Esterel synchronous programming language: Design, semantics, implementation
– Berry, Gonthier
- 1992
|
|
330
|
Synchronous Programming of Reactive Systems
– Halbwachs
- 1993
|
|
298
|
SIS: A System for Sequential Circuit Synthesis
– Sentovich, Singh, et al.
- 1992
|
|
157
|
What good is temporal logic
– Lamport
- 1983
|
|
124
|
Towards a method of object-oriented concurrent programming
– Caromel
- 1993
|
|
114
|
The specification of process synchronization by path expressions
– Campbell, Habermann
- 1974
|
|
99
|
POOL-T: A Parallel Object-Oriented Language
– America
|
|
98
|
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design
– Coleman, Hayes, et al.
- 1992
|
|
95
|
Systematic concurrent object-oriented programming
– Meyer
- 1993
|
|
77
|
Actalk: A testbed for classifying and designing actor languages in the Smalltalk80 environment
– Briot
- 1989
|
|
68
|
Active Objects in Hybrid
– Nierstrasz
- 1987
|
|
66
|
Inheritance and synchronization with enabled-sets
– Tomlinson, Singh
- 1989
|
|
58
|
Communicating reactive processes
– Berry, Ramesh, et al.
- 1993
|
|
47
|
Concurrent object-oriented programming in Act 1
– Lieberman
- 1987
|
|
27
|
Language design rationale and semantic framework for concurrent object-oriented programming
– PAPATHOMAS
- 1992
|
|
26
|
PROCOL: A Concurrent Object-Oriented Language with
– Bos, Laffra
- 1991
|
|
22
|
Aggregation in a behavior oriented object model
– Hartmann, Jungclaus, et al.
- 1992
|
|
17
|
Towards Autonomous Descriptions of Synchronization Modules
– Robert, Verjus
- 1977
|
|
14
|
Integration des Modules Synchrones dans la Programmation par Objects," Th��se no.2977, Ecole Sup��rieure d'El��ctricite, Universit�� de Paris-Sud
– BOULANGER
- 1993
|
|
11
|
Design and implementation of Triveni: A process-algebraic API for threads + events
– Colby, Jagadeesan, et al.
- 1998
|
|
10
|
Von Olnhausen. Safety property verification of ESTEREL programs and applications to telecommunications software
– Jagadeesan, Puchol, et al.
- 1995
|
|
9
|
Definition of reusable concurrent software components
– Reghizzi, Paratesi, et al.
- 1991
|
|
8
|
Rigorous object-oriented analysis
– Moreira
- 1994
|
|
8
|
Reactive Objects
– Boussinot, Doumenc, et al.
- 1995
|
|
8
|
Objects and concurrency in Triveni: A telecommunication case study in Java
– Colby, Jagadeesan, et al.
- 1998
|
|
6
|
de Pina. A Synchronization Mechanism for Typed Objects in a Distributed Systems
– Dechouchant, Krakowiak, et al.
- 1989
|
|
4
|
A reactive part to specify dynamic objects behavior. Indo-French workshop on objectoriented systems
– Augeraud
- 1992
|
|
4
|
Xeve: an Esterel Veri Environment
– Bouali
- 1998
|
|
3
|
Control of object behavior: asynchronous reactive objects
– Bertrand, Augeraud
- 1994
|
|
2
|
Synchronisation in Concurrent, Object-oriented Languages: Expressive Power, Genericity and Inheritance
– Hale
- 1994
|
|
2
|
modele de contr^ole reactif pour les langages a objets concurrents
– Bertrand, Un
- 1996
|
|
2
|
The Design of the Mach Operating System
– Sheinbrood
- 1993
|
|
2
|
Concurrent Programming using Actors," in Object-oriented Concurrent
– Agha, Hewitt
- 1987
|
|
2
|
Actors and agents as re concurrent objects: A Mering IV perspective
– Ferber, Carle
- 1991
|
|
2
|
Asynchronous reactive objects: An attempt to control the object behavior
– Augeraud, Bertrand
- 1994
|
|
2
|
Highly E�cient and Encapsulated Re-use of Synchronization Code
– Matsuoka, Taura, et al.
- 1993
|
|
2
|
Toupie
– Rauzy
- 1994
|
|
1
|
The society of objects," in Addendum to the
– Tokoro
- 1993
|
|
1
|
Compilation of the electre reactive language into transition systems
– Cassez, Roux
- 1995
|
|
1
|
Objets, parallelisme et repartition, " Technique et science informatiques
– Briot, Guerraoui
- 1996
|
|
1
|
Reactive Programming in Eiffel //," in Object-Based Parallel and Distributed Computation OBPDC'95
– Caromel, Roudier
- 1995
|
|
