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.
@article{bwmeta1.element.bwnjournal-article-amcv12i4p581bwm,
author = {Speck, Andreas and Pulverm\"uller, Elke and Jerger, Michael and Franczyk, Bogdan},
title = {Component composition validation},
journal = {International Journal of Applied Mathematics and Computer Science},
volume = {12},
year = {2002},
pages = {581-589},
zbl = {1025.68025},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-amcv12i4p581bwm}
}
Speck, Andreas; Pulvermüller, Elke; Jerger, Michael; Franczyk, Bogdan. Component composition validation. International Journal of Applied Mathematics and Computer Science, Tome 12 (2002) pp. 581-589. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-amcv12i4p581bwm/
[000] Batory D. and Geraci B. (1997): Composition validation and subjectivity in GenVoca generators. - IEEE Trans. Softw. Eng., Vol. 23, No. 2, pp. 67-82.
[001] Componentsource (2001): Marketplace and community for software components. - Available at: http://www.componentsource.com.
[002] Coplien J. (2000): Data Compression versus abstraction. - Private communication.
[003] Czarnecki K. and Eisenecker U.(2000): Generative Programming-Methods, Tools, and Applications. - NewYork: Addison-Wesley.
[004] Gouthier P. and Pont S. (1970): Designing Systems Programs. -Englewood Clifs: Prentice Hall.
[005] 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.
[006] Holzmann G. (1990): Design and Validation of Computer Protocols.- Englewood Clifs: Prentice Hall.
[007] Hopcroft J. and Ullman J. (1979): Introduction to Automata Theory, Languages and Computation. - New York: Addison-Wesley. | Zbl 0426.68001
[008] 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.
[009] 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 . | Zbl 1023.68784
[010] Kohavi Z. (1978): Switching and Finite Automata Theory. -New York: McGraw-Hill, 2nd Edition. | Zbl 0384.94020
[011] 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.
[012] McMillan K. (1992): Symbolic Model Checking. - Ph.D. Thesis, Carnegie Mellon University. | Zbl 0753.68066
[013] Moore E. (1956): Gedanken-experiments on sequential machines.- Ann. Math. Stud., Vol. 15, No. 4, pp. 129-153.
[014] 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.
[015] 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. | Zbl 1029.68863
[016] Ruf J. (2001): RAVEN: Real-time analyzing and verification environment. - J. Univ. Comp. Sci., Vol. 7, No. 1, pp. 89-104. | Zbl 0963.68108
[017] 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.
[018] 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.
[019] Szyperski C. (1997) Component Software. - New York: Addison-Wesley, ACM-Press.
[020] Tekinerdogan B. (2000) Synthesis-based software architecture design. - Ph.D. Thesis, Dept. Computer Science, University of Twente, Enschede, the Netherlands. | Zbl 1003.68018
[021] 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