Component Composition Validation

• Autorzy: Speck A. , Pulvermuller E. , Jerger M. , Franczyk B.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

composition verification; component composition; feature interaction; model checking

• Wydawca: Oficyna Wydawnicza Uniwersytetu Zielonogórskiego
• Czasopismo: International Journal of Applied Mathematics and Computer Science
• Rocznik: 2002
• Tom: Vol. 12, no 4
• Strony: 581--589
• Opis fizyczny: Bibliogr. 22 poz., rys.

Twórcy

autor

Speck A.

• Intershop Research, Intershop Tower, D-07740 Jena, Germany

autor

Pulvermuller E.

• Fakultät für Informatik, IPD, Universität Karlsruhe, D-76128 Karlsruhe, Germany

autor

Jerger M.

• sLAB oHG, Otto-Lilienthal Str. 36 D-1034 Böblingen, Germany

autor

Franczyk B.

• Institute of Technical and Computer Education, University of Zielona Góra, 65-762 Zielona Góra, Poland
• Universität Leipzig Lehrstuhl für Informationsmanagement, D-04109 Leipzig, Germany

Bibliografia

• [1] Batory D. and Geraci B. (1997): Composition validation and subjectivity in GenVoca generators. - IEEE Trans. Softw. Eng., Vol. 23, No. 2, pp. 67-82.
• [2] Componentsource (2001): Marketplace and community for software components. - Available at: http://www.componentsource.com/.
• [3] Coplien J. (2000): Data Compression versus abstraction. - Private communication.
• [4] Czarnecki K. and Eisenecker U.(2000): Generative Programming - Methods, Tools, and Applications. - New York: Addison-Wesley.
• [5] Gouthier P. and Pont S. (1970): Designing Systems Programs. - Englewood Clifs: Prentice Hall.
• [6] Heuzeroth D. and Reussner R. (1999): Dynamic coupling of binary components and its technical support. - Proc. GCSE’99 Young Researchers Workshop, Erfurt, pp. 30-31.
• [7] Holzmann G. (1990): Design and Validation of Computer Protocols. - Englewood Clifs: Prentice Hall.
• [8] Hopcroft J. and Ullman J. (1979): Introduction to Automata Theory, Languages and Computation. - New York: AddisonWesley.
• [9] Kiczales G., Lamping J., Mendhekar A., Maeda C., Lopes C., Loingtier J.-M. and Irwin J. (1997): Aspect-oriented programming. - Proc. European Conference on Object-Oriented Programming, ECOOP’97, Jyväskylä, Finland, Berlin: Springer, LNCS 1241, pp. 220-241.
• [10] Klaeren H., Pulvermüller E., Rashid A. and Speck A. (2000): Aspect composition applying the design by contract principle. - Proc. 2nd Int. Symp. Generative and Component-based Software Engineering (GCSE 2000), Erfurt, Germany, Berlin, Springer, LNCS 2177, pp. 57-69.
• [11] Kohavi Z. (1978): Switching and Finite Automata Theory. - New York: McGraw-Hill, 2nd Edition.
• [12] Lauder A. and Kent S. (1999): EventPorts: Preventing legacy componentware. - Proc. 3rd Int. Conf. Enterprise Distributed Object Computing Conference (EDOC 99), Mannheim, Germany, IEEE Publishing, pp. 224-232.
• [13] McMillan K. (1992): Symbolic Model Checking. - Ph.D. Thesis, Carnegie Mellon University.
• [14] Moore E. (1956): Gedanken-experiments on sequential machines. - Ann. Math. Stud., Vol. 15, No. 4, pp. 129-153.
• [15] Ossher H. and Tarr P. (1999): Using subject-oriented programming to overcome common problems in object-oriented software development/evolution. - Proc. 1999 Int. Conf. Software Engineering, ICSE, Los Angeles CA, ACM Press, pp. 687-688.
• [16] Pulvermüller E., Speck A. and Coplien J. (2001): A version model for aspect dependency management. - Proc. 3rd Int. Conf. Generative and Component-based Software Engineering (GCSE 2001), Erfurt, Germany, Berlin: Springer, LNCS 2186, pp. 70-79.
• [17] Ruf J. (2001): RAVEN: Real-time analyzing and verification environment. - J. Univ. Comp. Sci., Vol. 7, No. 1, pp. 89-104.
• [18] Schmidt H. and Reussner R. (2000): Automatic component adaption by concurrent state machine retrofitting. - Tech. Rep., No. 2000/81, School of Computer Science and Software Engineering, Monash University, Melbourne.
• [19] Speck A. and Pulvermüller E. (2001): Versioning in software engineering. - Proc. 27th Ann. Conf. IEEE Industrial Electronics Society, IECON’01, Denver, CO, IEEE Computer Society Press, pp. 1856-1861.
• [20] Szyperski C. (1997) Component Software. - New York: Addison-Wesley, ACM-Press.
• [21] Tekinerdogan B. (2000) Synthesis-based software architecture design. - Ph.D. Thesis, Dept. Computer Science, University of Twente, Enschede, the Netherlands.
• [22] Vanderperren W. and Wydaeghe B. (2001): Towards a new component composition process. - Proc. 8th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS), Washington DC, IEEE Press, pp. 322-329.