Component composition validation
Andreas Speck; Elke Pulvermüller; Michael Jerger; Bogdan Franczyk
International Journal of Applied Mathematics and Computer Science (2002)
- Volume: 12, Issue: 4, page 581-589
- ISSN: 1641-876X
Access Full Article
topAbstract
topHow to cite
topSpeck, Andreas, et al. "Component composition validation." International Journal of Applied Mathematics and Computer Science 12.4 (2002): 581-589. <http://eudml.org/doc/207614>.
@article{Speck2002,
abstract = {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.},
author = {Speck, Andreas, Pulvermüller, Elke, Jerger, Michael, Franczyk, Bogdan},
journal = {International Journal of Applied Mathematics and Computer Science},
keywords = {component composition; model checking; composition verification; feature interaction},
language = {eng},
number = {4},
pages = {581-589},
title = {Component composition validation},
url = {http://eudml.org/doc/207614},
volume = {12},
year = {2002},
}
TY - JOUR
AU - Speck, Andreas
AU - Pulvermüller, Elke
AU - Jerger, Michael
AU - Franczyk, Bogdan
TI - Component composition validation
JO - International Journal of Applied Mathematics and Computer Science
PY - 2002
VL - 12
IS - 4
SP - 581
EP - 589
AB - 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.
LA - eng
KW - component composition; model checking; composition verification; feature interaction
UR - http://eudml.org/doc/207614
ER -
References
top- Batory D. and Geraci B. (1997): Composition validation and subjectivity in GenVoca generators. - IEEE Trans. Softw. Eng., Vol. 23, No. 2, pp. 67-82.
- Componentsource (2001): Marketplace and community for software components. - Available at: http://www.componentsource.com.
- Coplien J. (2000): Data Compression versus abstraction. - Private communication.
- Czarnecki K. and Eisenecker U.(2000): Generative Programming-Methods, Tools, and Applications. - NewYork: Addison-Wesley.
- Gouthier P. and Pont S. (1970): Designing Systems Programs. -Englewood Clifs: Prentice Hall.
- 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.
- Holzmann G. (1990): Design and Validation of Computer Protocols.- Englewood Clifs: Prentice Hall.
- Hopcroft J. and Ullman J. (1979): Introduction to Automata Theory, Languages and Computation. - New York: Addison-Wesley. Zbl0426.68001
- 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, Jyvaskyla, Finland, Berlin: Springer, LNCS 1241, pp. 220-241.
- 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 . Zbl1023.68784
- Kohavi Z. (1978): Switching and Finite Automata Theory. -New York: McGraw-Hill, 2nd Edition. Zbl0384.94020
- 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.
- McMillan K. (1992): Symbolic Model Checking. - Ph.D. Thesis, Carnegie Mellon University. Zbl0753.68066
- Moore E. (1956): Gedanken-experiments on sequential machines.- Ann. Math. Stud., Vol. 15, No. 4, pp. 129-153.
- 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.
- 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. Zbl1029.68863
- Ruf J. (2001): RAVEN: Real-time analyzing and verification environment. - J. Univ. Comp. Sci., Vol. 7, No. 1, pp. 89-104. Zbl0963.68108
- Schmidt H. and Reussner R. (2000): Automatic component adaption by concurrent state machine retrofitting. - Tech. Rep., No. 200081, School of Computer Science and Software Engineering, Monash University, Melbourne.
- 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.
- Szyperski C. (1997) Component Software. - New York: Addison-Wesley, ACM-Press.
- Tekinerdogan B. (2000) Synthesis-based software architecture design. - Ph.D. Thesis, Dept. Computer Science, University of Twente, Enschede, the Netherlands. Zbl1003.68018
- 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
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.