A Service-Based Component Model: Formalism, Analysis and Mechanization - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2006

A Service-Based Component Model: Formalism, Analysis and Mechanization

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 objective of our work is to provide the designer of components-based systems with the methods to assist his/her use of the components. In particular, the current work adresses the composability of components and their services. A component model is presented, based on services. An associated simple but expressive formalism is introduced; it describes the services as extended LTS and their structuring as components. The composition of components is mainly based on service composition and encapsulation. The composability of component is defined from the composability of services. To ensure the correctness of component composition, we check that an assembly is possible via the checking of the composabiblity of the linked services, and their behavioral compatibility. In order to mechanize our approach, the services and the components are translated into the MEC and LOTOS formalism. Finally the MEC and LOTOS CADP toolbox is used to perform experiments.
Fichier principal
Vignette du fichier
rr_05_08.pdf (432.97 Ko) Télécharger le fichier
Loading...

Dates et versions

hal-00023153 , version 1 (20-04-2006)

Identifiants

  • HAL Id : hal-00023153 , version 1

Citer

Pascal André, Gilles Ardourel, Christian Attiogbé, Henri Habrias, Cédric Stoquer. A Service-Based Component Model: Formalism, Analysis and Mechanization. 2006. ⟨hal-00023153⟩
94 Consultations
165 Téléchargements

Partager

Gmail Facebook X LinkedIn More