HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

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, INRIA Rennes
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.
Document type :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 4:34:27 PM
Last modification on : Friday, February 4, 2022 - 3:25:26 AM
Long-term archiving on: : Tuesday, April 12, 2011 - 7:43:07 PM


  • 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⟩



Record views


Files downloads