Skip to Main content Skip to Navigation
Conference papers

Checking Component Composability

Abstract : 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
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download
Contributor : Coloss Lina Connect in order to contact the contributor
Submitted on : Tuesday, June 23, 2009 - 10:00:34 AM
Last modification on : Wednesday, April 27, 2022 - 3:50:07 AM
Long-term archiving on: : Tuesday, June 15, 2010 - 6:19:20 PM


Files produced by the author(s)



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⟩



Record views


Files downloads