Skip to Main content Skip to Navigation
Conference papers

Oz/K: A Kernel Language for Component-Based Open Programming

Michaël Lienhardt 1 Alan Schmitt 1 Jean-Bernard Stefani 1 
1 SARDES - System architecture for reflective distributed computing environments
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an approach to open distributed programming that exploits the notion of locality, which has been used in the past decade as a basis for several distributed process calculi such as Mobile Ambients, Dπ, and Seal. We use the locality concept as a form of component that serves as a unit of modularity, of isolation, and of passivation. Specifically, we introduce in this paper OZ/K, a kernel programming language, that adds to the OZ computation model a notion of locality borrowed from the Kell calculus. We present an operational semantics for the language and several examples to illustrate how OZ/K supports open distributed programming.
Document type :
Conference papers
Complete list of metadata

Cited literature [31 references]  Display  Hide  Download

https://hal.inria.fr/inria-00498413
Contributor : Alan Schmitt Connect in order to contact the contributor
Submitted on : Wednesday, July 7, 2010 - 2:14:58 PM
Last modification on : Sunday, June 26, 2022 - 4:56:27 AM
Long-term archiving on: : Tuesday, October 23, 2012 - 10:05:30 AM

File

GPCE07-Lienhardt-Stefani-Schmi...
Files produced by the author(s)

Identifiers

Collections

Citation

Michaël Lienhardt, Alan Schmitt, Jean-Bernard Stefani. Oz/K: A Kernel Language for Component-Based Open Programming. 6th International Conference on Generative Programming and Component Engineering (GPCE'07), Oct 2007, Salzburg, Austria. pp.43--52, ⟨10.1145/1289971.1289980⟩. ⟨inria-00498413⟩

Share

Metrics

Record views

194

Files downloads

176