inria-00498413, version 1
Oz/K: A Kernel Language for Component-Based Open Programming
Michaël Lienhardt 1Alan Schmitt a, 1Jean-Bernard Stefani a, 1
6th International Conference on Generative Programming and Component Engineering (GPCE'07) (2007) 43--52
Résumé : 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.
- a – INRIA
- 1 : SARDES (INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble)
- INRIA – Institut polytechnique de Grenoble (Grenoble INP) – Université Joseph Fourier - Grenoble I – CNRS : UMR5217 – Laboratoire d'Informatique de Grenoble : LIG
- Domaine : Informatique/Langage de programmation
- Mots-clés : Components – Locality – Open Programming
- inria-00498413, version 1
- http://hal.inria.fr/inria-00498413
- oai:hal.inria.fr:inria-00498413
- Contributeur : Alan Schmitt
- Soumis le : Mercredi 7 Juillet 2010, 14:14:58
- Dernière modification le : Jeudi 8 Juillet 2010, 12:07:38