A Component Calculus for Modeling the Olan Configuration Language

Abstract : Components will certainly become a key concept for the next generation of software architectures because of their impact on effective software reuse, real interoperability and integration. Within the Olan project, we face the difficulty of defining an operational semantics able to reflect the diversity of execution models involved in real applications. Existing process calculi offer the required abstractions such as encapsulation and process equivalences, but they rely on the fundamental assumption that agents are active, i.e autonomously able to initiate communication. However, components, viewed as software pieces with explicit interfaces, require a notion of passive composition that allows, for instance, several components to be traversed by a same process. In this paper, we introduce a calculus, named ICCS, which extends the Milner's CCS calculus with (1) an operator for passive composition, and (2) selective interactions. While preserving the powerful theory of process equivalences established for CCS, this calculus provides an operational definition of passive components and allows thus to establish the basis of an operational semantics for the Olan Configuration Language.
Type de document :
Rapport
[Research Report] RR-3231, INRIA. 1997
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00073458
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 12:51:40
Dernière modification le : mercredi 11 avril 2018 - 01:51:59
Document(s) archivé(s) le : dimanche 4 avril 2010 - 21:57:10

Fichiers

Identifiants

  • HAL Id : inria-00073458, version 1

Collections

Citation

Jean-Yves Vion-Dury, Luc Bellissard, Vladimir Marangozov. A Component Calculus for Modeling the Olan Configuration Language. [Research Report] RR-3231, INRIA. 1997. 〈inria-00073458〉

Partager

Métriques

Consultations de la notice

89

Téléchargements de fichiers

137