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, CNRS - Centre National de la Recherche Scientifique : FR71
Abstract : Programming in a distributed and open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. This has lead recently to interesting programming language developments such as Alice, Acute, Oz, JoCaml, ArchJava, etc, however the combination of all the above features with dynamicity, i.e. the ability to build and modify systems during execution, still remains an open question. In this paper, we propose an approach to open distributed programming that exploits the notion of locality, which has been studied intensively during the last decade, with the development of several process calculi with localities, including e.g. Mobile Ambients, Dpi, and Seal. We suggest to use the locality concept as a general form of component, that can be used, at the same time, as a unit of modularity, of isolation, and of mobility. 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 :
Rapport
[Research Report] RR-6202, INRIA. 2007
Liste complète des métadonnées


https://hal.inria.fr/inria-00149612
Contributeur : Rapport de Recherche Inria <>
Soumis le : lundi 28 mai 2007 - 09:53:26
Dernière modification le : mardi 13 décembre 2016 - 15:44:02
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 16:35:48

Fichiers

RR-6202.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00149612, version 2

Collections

Citation

Michaël Lienhardt, Alan Schmitt, Jean-Bernard Stefani. Oz/K: A kernel language for component-based open programming. [Research Report] RR-6202, INRIA. 2007. <inria-00149612v2>

Partager

Métriques

Consultations de
la notice

188

Téléchargements du document

308