Component Composition Validation

Institute of Technical and Computer EducationUniversity of Zielona Gora65–762 Zielona Gora, Poland, andUniversitat LeipzigLehrstuhl fur InformationsmanagementD–04109 Leipzig, Germanye-mail:franczyk@wifa.uni-leipzig.deMany approaches such as component technologies have been invented in order to support software reuse. Based on thesetechnologies a large variety of techniques have been introduced to connect components. However, there is little experienceconcerning the validation of component systems. We know how to plug components together, but we do need ways to checkwhether that works. In this paper we introduce an approach to validating component compositions and showing how such aprocess can be supported by tools. We introduce a way to compare the interface specification of components automaticallyagainst 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

[1]  Edward F. Moore,et al.  Gedanken-Experiments on Sequential Machines , 1956 .

[2]  Stuart Kent,et al.  EventPorts: preventing legacy componentware , 1999, Proceedings Third International Enterprise Distributed Object Computing. Conference (Cat. No.99EX366).

[3]  Harold Ossher,et al.  Using subject-oriented programming to overcome common problems in object-oriented software development/evolution , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[4]  Clemens Szyperski,et al.  Component software , 1997 .

[5]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[6]  Wim Vanderperren,et al.  Towards a new component composition process , 2001, Proceedings. Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer-Based Systems-ECBS 2001.

[7]  R. BurchJ.,et al.  Symbolic model checking , 1992 .

[8]  Martin Peschke,et al.  Design and Validation of Computer Protocols , 2003 .

[9]  Elke Pulvermüller,et al.  Aspect Composition Applying the Design by Contract Principle , 2000, GCSE.

[10]  Kenneth L. McMillan,et al.  Symbolic model checking , 1992 .

[11]  Sérgio Vale Aguiar Campos,et al.  Symbolic Model Checking , 1993, CAV.

[12]  A. Speck,et al.  Versioning in software engineering , 2001, IECON'01. 27th Annual Conference of the IEEE Industrial Electronics Society (Cat. No.37243).

[13]  Niraj K. Jha,et al.  Switching and Finite Automata Theory , 2010 .

[14]  Jürgen Ruf,et al.  RAVEN: Real-Time Analyzing and Verification Environment , 2001, J. Univers. Comput. Sci..

[15]  Richard L. Gauthier,et al.  Designing systems programs , 1970 .

[16]  Bedir Tekinerdogan,et al.  Synthesis - Based Software Architecture Design , 2001 .

[17]  Gregor Kiczales,et al.  Aspect-oriented programming , 2001, ESEC/FSE-9.

[18]  Ralf Reussner,et al.  Automatic Component Adaptation By Concurrent State Machine Retrofitting , 2000 .

[19]  Don S. Batory,et al.  Composition Validation and Subjectivity in GenVoca Generators , 1997, IEEE Trans. Software Eng..

[20]  Krzysztof Czarnecki,et al.  Generative programming - methods, tools and applications , 2000 .

[21]  James Coplien,et al.  A Version Model for Aspect Dependency Management , 2001, GCSE.

[22]  Ralf Reussner,et al.  Dynamic Coupling of Binary Components and its Technical Support , 2001 .

[23]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.