A Group Based Approach for Coordinating Active Objects

We propose in this thesis the use of active objects and coordination models and languages for the specification and construction of concurrent object-oriented systems. Active objects are objects integrating concurrency and coordination models and languages are models and languages that specify the way the active objects composing the systems are glued together. Our approach is based on the definition of a coordination model and language called CoLaS for the specification of the coordination aspect in concurrent object-oriented systems based on active objects. The CoLaS coordination model and language introduces a high level coordination abstraction called Coordination Group that allows programmers to design, to specify, to implement and to validate the coordination of groups of collaborating active objects in concurrent object-oriented systems