Concurrent programming notations in the object-oriented language Arche

Marc Benveniste 1 Valérie Issarny 1
1 LSP - Langages et Systèmes Parallèles
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
Abstract : Paradigms of object-oriented programming are attractive for the design of large distributed software. They notably provide a sound basis to develop applications that are easy to maintain and reuse. However, expressing concurrency in object-oriented languages raises some difficulties. For instance, integrating concurrency together with inheritance may lead to violate the encapsulation property of object-oriented programming. In this paper we present a new strongly-typed, concurrent object-oriented language, called Arche, that enables the development of reusable distributed software. The Arche language has been designed so as to keep all the benefits of the object paradigm. In particular, the Arche conditional synchronization mechanism is defined in such a way that synchronization constraints of an existing class can be specialized and reused. Furthermore, a mechanism that allows a larger scale synchronization, that is, involving more than just a pair of processes, is offered by supporting application of operations on a collection of objects. To our knowledge, such a facility has never been addressed in the framework of strongly-typed, concurrent object-oriented programming despite the ability to simply manage collection of peer objects it provides.
Type de document :
[Research Report] RR-1822, INRIA. 1992
Liste complète des métadonnées
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 16:34:27
Dernière modification le : mercredi 16 mai 2018 - 11:23:14
Document(s) archivé(s) le : mardi 12 avril 2011 - 19:43:07



  • HAL Id : inria-00074850, version 1


Marc Benveniste, Valérie Issarny. Concurrent programming notations in the object-oriented language Arche. [Research Report] RR-1822, INRIA. 1992. 〈inria-00074850〉



Consultations de la notice


Téléchargements de fichiers