Component-oriented programming with sharing : containment is not ownership

Daniel Hirschkoff (1) , Tom Hirschowitz (1) , Damien Pous (1) , Alan Schmitt (1) , Jean-Bernard Stefani (1)

1 LIP - Laboratoire de l'Informatique du Parallélisme

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.

Mots clés: Component sharing; Component-oriented programming; higher-order process algebras

Mots clés: Algèbres de processus d'ordre supérieur; Partage; Programmation par composants

Domaines: Informatique [cs]

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⟩