Checking Component Composability - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Checking Component Composability

Résumé

Component-Based Software Engineering (CBSE) is one of the approaches to master the development of large scale software. In this setting, the verification concern is still a challenge. The current work addresses the composability of components and their services. A component model (Kmelia) is introduced; an associated formalism, simple but expressive is introduced; it describes the services as extended LTSs and their structuring as components. The composability of components is defined on the basis of the composability of services. To ensure the correctness of component composition, we check that an assembly is possible via the checking of the composability of the linked services, and their behavioural compatibility. In order to mechanize our approach, the services and the components are translated into the \Lotos formalism. Finally the Lotos CADP toolbox is used to perform
Fichier principal
Vignette du fichier
sc06_033.pdf (167.52 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00397694 , version 1 (23-06-2009)

Identifiants

Citer

Christian Attiogbé, Pascal André, Gilles Ardourel. Checking Component Composability. 5th International Symposium on Software Composition, Mar 2006, Vienne, Austria. pp.18-33, ⟨10.1007/11821946⟩. ⟨hal-00397694⟩
156 Consultations
461 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More