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.
Type de document :
Communication dans un congrès
ACM. 6th International Conference on Generative Programming and Component Engineering (GPCE'07), Oct 2007, Salzburg, Austria. pp.43--52, 2007, Proceedings of the 6th International Conference on Generative Programming and Component Engineering (GPCE'07). 〈10.1145/1289971.1289980〉
Liste complète des métadonnées

Littérature citée [31 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00498413
Contributeur : Alan Schmitt <>
Soumis le : mercredi 7 juillet 2010 - 14:14:58
Dernière modification le : jeudi 11 janvier 2018 - 06:22:03
Document(s) archivé(s) le : mardi 23 octobre 2012 - 10:05:30

Fichier

GPCE07-Lienhardt-Stefani-Schmi...
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

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

Partager

Métriques

Consultations de la notice

367

Téléchargements de fichiers

178