Geodesic
Component Composition Validation
International Journal of Applied Mathematics and Computer Science, Tome 12 (2002) no. 4, pp. 581-589

Voir la notice de l'article provenant de la source Library of Science

Many approaches such as component technologies have been invented in order to support software reuse. Based on these technologies a large variety of techniques have been introduced to connect components. However, there is little experience concerning the validation of component systems. We know how to plug components together, but we do need ways to check whether that works. In this paper we introduce an approach to validating component compositions and showing how such a process can be supported by tools. We introduce a way to compare the interface specification of components automatically against the code. Furthermore, we demonstrate how compositions of components can be specified by logical formulas, allowing us to automatically validate these compositions.
Keywords: composition verification, component composition, feature interaction, model checking
Mots-clés : informatyka 
@article{IJAMCS_2002_12_4_a12,
     author = {Speck, A. and Pulvermuller, E. and Jerger, M. and Franczyk, B.},
     title = {Component {Composition} {Validation}},
     journal = {International Journal of Applied Mathematics and Computer Science},
     pages = {581--589},
     publisher = {mathdoc},
     volume = {12},
     number = {4},
     year = {2002},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IJAMCS_2002_12_4_a12/}
}
TY  - JOUR
AU  - Speck, A.
AU  - Pulvermuller, E.
AU  - Jerger, M.
AU  - Franczyk, B.
TI  - Component Composition Validation
JO  - International Journal of Applied Mathematics and Computer Science
PY  - 2002
SP  - 581
EP  - 589
VL  - 12
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IJAMCS_2002_12_4_a12/
LA  - en
ID  - IJAMCS_2002_12_4_a12
ER  - 
%0 Journal Article
%A Speck, A.
%A Pulvermuller, E.
%A Jerger, M.
%A Franczyk, B.
%T Component Composition Validation
%J International Journal of Applied Mathematics and Computer Science
%D 2002
%P 581-589
%V 12
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IJAMCS_2002_12_4_a12/
%G en
%F IJAMCS_2002_12_4_a12
Speck, A.; Pulvermuller, E.; Jerger, M.; Franczyk, B. Component Composition Validation. International Journal of Applied Mathematics and Computer Science, Tome 12 (2002) no. 4, pp. 581-589. http://geodesic.mathdoc.fr/item/IJAMCS_2002_12_4_a12/