Component-oriented programming with sharing: containment is not ownership

Authors:
Daniel Hirschkoff;Tom Hirschowitz;Damien Pous;Alan Schmitt;Jean-Bernard Stefani
Affiliations:
LIP ENS Lyon, Lyon, France;LIP ENS Lyon, Lyon, France;LIP ENS Lyon, Lyon, France;INRIA Rhône-Alpes, St Ismier, France;INRIA Rhône-Alpes, St Ismier, France
Venue:
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Year:
2005

Citing 10
Cited 2

The reflexive CHAM and the join-calculus

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Controlling interference in ambients

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Nomadic Pict: Language and Infrastructure Design for Mobile Agents

IEEE Concurrency
Boxed Ambients

TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity

FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Mobile Ambients

FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Assigning Types to Processes

LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Object ownership and containment

Object ownership and containment
The kell calculus: a family of higher-order distributed process calculi

GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Global computing in a dynamic network of tuple spaces

COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages

Oz/K: a kernel language for component-based open programming

GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Separating ownership topology and encapsulation with generic universe types

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.