Component-Oriented Programming with Sharing: Containment is not Ownership

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

1 LIP - Laboratoire de l'Informatique du Parallélisme
2 PLUME - Preuves et Langages
3 LAMA - Laboratoire de Mathématiques
4 SARDES - System architecture for reflective distributed computing environments

Component-oriented programming yields a tension between higher-order features (deployment, reconfiguration, passivation), encapsulation, and component sharing. We propose a 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.

Mots clés: locations; concurrency; Component

Domaines: Langage de programmation [cs.PL]

Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani. Component-Oriented Programming with Sharing: Containment is not Ownership. Generative Programming and Component Engineering (GPCE), 2005, Tallinn, Estonia. pp.389-404, ⟨10.1007/11561347_26⟩. ⟨hal-00310126⟩