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

Abstract

top
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.

How to cite

top

Speck, 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
  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. - NewYork: 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: Addison-Wesley. Zbl0426.68001
  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, Jyvaskyla, 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 . Zbl1023.68784
  11. Kohavi Z. (1978): Switching and Finite Automata Theory. -New York: McGraw-Hill, 2nd Edition. Zbl0384.94020
  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. Zbl0753.68066
  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. Zbl1029.68863
  17. Ruf J. (2001): RAVEN: Real-time analyzing and verification environment. - J. Univ. Comp. Sci., Vol. 7, No. 1, pp. 89-104. Zbl0963.68108
  18. 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. 
  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. Zbl1003.68018
  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 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.