Component-oriented programming with sharing : containment is not ownership - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2005

Component-oriented programming with sharing : containment is not ownership

(1) , (1) , (1) , (1) , (1)
1

Résumé

Component-oriented programming yields a tension between higher-order features (deployment, reconfiguration, passivation), encapsulation, and component sharing. We propose a programming discipline for component-oriented programming to address this issue, and we define a process calculus whose operational semantics embodies this programming discipline. We present several examples that illustrate how the calculus supports component sharing, while allowing strong encapsulation and higher-order primitives.
La programmation par composants génère une tension entre (1) ses aspects d’ordre supérieur (déploiement, reconfiguration, passivation), (2) l’encapsulation et (3) le partage de composants. Nous proposons une discipline pour la programmation par composants qui résout ce problème, et nous définissons un calcul de processus dont la sémantique opérationnelle donne corps à cette discipline. Nous présentons plusieurs exemples montrant que le calcul permet le partage de composants,tout en préservant l’encapsulation et les opérations d’ordre supérieur.
Fichier principal
Vignette du fichier
RR2005-20.pdf (199.82 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02102510 , version 1 (17-04-2019)

Identifiants

  • HAL Id : hal-02102510 , version 1

Citer

Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani. Component-oriented programming with sharing : containment is not ownership. [Research Report] Laboratoire de l'informatique du parallélisme. 2005, 2+12p. ⟨hal-02102510⟩
24 Consultations
53 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More