Component-oriented programming with sharing : containment is not ownership

Abstract : 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.
Document type :
Reports
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal-lara.archives-ouvertes.fr/hal-02102510
Contributor : Colette Orange <>
Submitted on : Wednesday, April 17, 2019 - 1:54:54 PM
Last modification on : Friday, April 19, 2019 - 1:38:15 AM

File

RR2005-20.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02102510, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

24

Files downloads

35