Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2002 | 12 | 4 | 581-589
Tytuł artykułu

Component composition validation

Treść / Zawartość
Warianty tytułu
Języki publikacji
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.
Opis fizyczny
  • Intershop Research, Intershop Tower, D-07740 Jena, Germany
  • Fakultät für Informatik, IPD, Universität Karlsruhe, D–76128 Karlsruhe, Germany
  • sLAB oHG, Otto-Lilienthal Str. 36, D–71034 Böblingen, Germany
  • Institute of Technical and Computer Education, University of Zielona Góra, 65-762 Zielona Góra, Poland
  • 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:
  • 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.
  • 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 .
  • Kohavi Z. (1978): Switching and Finite Automata Theory. -New York: McGraw-Hill, 2nd Edition.
  • 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.
  • 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.
  • Ruf J. (2001): RAVEN: Real-time analyzing and verification environment. - J. Univ. Comp. Sci., Vol. 7, No. 1, pp. 89-104.
  • 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.
  • 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
Typ dokumentu
Identyfikator YADDA
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.