A model of components with non-regular protocols

Mario Südholt 1, 2
1 OBASCO - Objects, aspects and components
Mines Nantes - Mines Nantes, Inria Rennes – Bretagne Atlantique
Abstract : Behavioral specifications which are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such specifications are typically limited to finite-state protocols because more expressive notions of protocol do not support reasonable basic composition properties, such as compatibility and substitutability. In this paper, we present first results of the integration into component interfaces of a notion of non-regular protocols based on {``}non-regular process types{''} introduced by Puntigam. More concretely, we present three contributions: (i) a motivation of the usefulness of non-regular protocols in the context of peer-to-peer applications, (ii) a language for non-regular protocols and an outline of a suitable formal definition, (iii) a discussion of basic composition properties and an analysis of how to adequately integrate protocol-modifying operators in the model.
Type de document :
Communication dans un congrès
Gschwind, Thomas and Assman, Uwe and Nierstrasz, Oscar. 4th international workshop, SC 2005, 2005, United Kingdom. pub.springer, 3628, pp.99-114, 2005, lncs
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00457200
Contributeur : Ls2n Hal <>
Soumis le : mardi 16 février 2010 - 17:17:45
Dernière modification le : mercredi 5 décembre 2018 - 01:22:13

Identifiants

  • HAL Id : hal-00457200, version 1

Citation

Mario Südholt. A model of components with non-regular protocols. Gschwind, Thomas and Assman, Uwe and Nierstrasz, Oscar. 4th international workshop, SC 2005, 2005, United Kingdom. pub.springer, 3628, pp.99-114, 2005, lncs. 〈hal-00457200〉

Partager

Métriques

Consultations de la notice

125