Concurrent programming notations in the object-oriented language Arche - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1992

Concurrent programming notations in the object-oriented language Arche

Résumé

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-1822.pdf (1.52 Mo) Télécharger le fichier

Dates et versions

inria-00074850 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00074850 , version 1

Citer

Marc Benveniste, Valérie Issarny. Concurrent programming notations in the object-oriented language Arche. [Research Report] RR-1822, INRIA. 1992. ⟨inria-00074850⟩
121 Consultations
50 Téléchargements

Partager

Gmail Facebook X LinkedIn More