Trustworthy Instantiation of Frameworks

  • Uwe Aßmann
  • Andreas Bartho
  • Falk Hartmann
  • Ilie Savga
  • Barbara Wittek
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3938)


Frameworks are large building blocks of systems, encapsulating the commonalities of a family of applications. For reuse of these common features, frameworks are instantiated by smaller-sized components, plugins, to specific products. However, the framework instantiation process is often difficult, because not all aspects of the interplay of the framework and its plugins can be captured by standard type systems. Application developers instantiating a framework often fail to develop correct applications. Thus, this paper surveys several typical framework instantiation problems. A simple facet-based classification of the problems is given. It is shown how the different problem classes are related to phases of the software process and how they can be tackled appropriately. Finally, the paper derives several research challenges, in particular, the challenge to define appropriate framework instantiation languages.


Domain Ontology Dynamic Constraint Extension Point Misuse Case Null Object 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Schmidt, H.W.: Systematic framework design by generalization. Communications of the ACM 40, 48–51 (1997)CrossRefGoogle Scholar
  2. 2.
    OMG: MDA Guide (2003) (visited January 16, 2006),
  3. 3.
    Eclipse Foundation: Eclipse Documentation (2005) (visited December 31, 2005),
  4. 4.
    Demuth, B., Hußmann, H., Zschaler, S., Schmitz, L.: Erfahrungen mit einem frameworkbasierten Softwarepraktikum. In: Schulz, C., Weber-Wulff, D. (eds.) Software Engineering im Unterricht der Hochschulen SEUH 1999 Workshop, Wiesbaden, Tagungsband, Teubner, February 1999, pp. 21–30 (1999)Google Scholar
  5. 5.
    Zschaler, S., Bartho, A., et al.: Salespoint Documentation, Technische Universität, Dresden (2002) (visited December 31, 2005),
  6. 6.
    Trolltech AS: Qt Documentation (2005) (visited December 31, 2005),
  7. 7.
    The GTK+ Team: GTK+ Documentation (2005) (visited December 31, 2005),
  8. 8.
    Gamma, E., Helm, R., Johnson, R., Vlisside, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)Google Scholar
  9. 9.
    Grand, M.: Patterns in Java: A Catalog of Reusable Design Patterns Illustrated with Uml, vol. 1. John Wiley & Sons, Inc., New York (2002)Google Scholar
  10. 10.
    Meusel, M., Czarnecki, K., Köpf, W.: A model for structuring user documentation of object-oriented frameworks using patterns and hypertext. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 496–510. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  11. 11.
    Walls, C., Richards, N., Oberg, R.: XDoclet in Action. Manning Publications Co., Greenwich (2003)Google Scholar
  12. 12.
    Meyer, B.: Object-Oriented Software Construction. Prentice Hall, Englewood Cliffs (1988)MATHGoogle Scholar
  13. 13.
    Wing, J.M.: Writing Larch interface language specifications. ACM Transactions on Programming Languages and Systems 9, 1–24 (1987)CrossRefMATHGoogle Scholar
  14. 14.
    de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC/FSE-9: Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 109–120. ACM Press, New York (2001)CrossRefGoogle Scholar
  15. 15.
    Sun Microsystems: Java Development Kit Version 5 (2004) (visited December 31, 2005),
  16. 16.
    d’Souza, D.F., Wills, A.C.: Objects, Components and Frameworks with UML – The Catalysis Approach. Addison-Wesley, Reading (1998)Google Scholar
  17. 17.
    Demuth, B., Hussmann, H., Loecher, S.: OCL as a specification language for business rules in database applications. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 104–117. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  18. 18.
    Rumpe, B.: Agile Modellierung mit UML - Codegenerierung, Testfälle, Refactoring. Springer, Heidelberg (2005)Google Scholar
  19. 19.
    Aßmann, U.: Reuse in semantic applications. In: Eisinger, N., Małuszyński, J. (eds.) Reasoning Web. LNCS, vol. 3564, pp. 290–304. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  20. 20.
    Smith, M.K., Volz, R., McGuiness, D., Welty, C.: Web Ontology Language (OWL) guide version 1.0. Technical report, W3C World Wide Web Concortium (2002) (visited December 31, 2005),
  21. 21.
    Möller, R., Haarslev, V.: High performance reasoning with very large knowledge bases: A practical case study. In: Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001 (2001)Google Scholar
  22. 22.
    Sindre, G., Opdahl, A.L.: Eliciting security requirements with misuse cases. Requirements Engineering 10, 34–44 (2005)CrossRefGoogle Scholar
  23. 23.
    Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Object Technology Series. Addison Wesley Longman, Reading (1999)Google Scholar
  24. 24.
    Rätzmann, M.: Software-Testing und Internationalisierung - Rapid Application Testing, Softwaretest, Agiles Qualitätsmanagement. Gallileo Press (2004)Google Scholar
  25. 25.
    Beck, K., Gamma, E.: Test infected: Programmers love writing tests. Java Report 3, 51–56 (1998) (visited January 16, 2006), Google Scholar
  26. 26.
    Stotts, D., Lindsey, M., Antley, A.: An informal formal method for systematic jUnit test case generation. In: Wells, D., Williams, L. (eds.) XP 2002. LNCS, vol. 2418, pp. 131–142. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  27. 27.
    Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  28. 28.
    AspectJ Project: Home Page (2005) (visited December 31, 2005),

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Uwe Aßmann
    • 1
  • Andreas Bartho
    • 1
  • Falk Hartmann
    • 1
  • Ilie Savga
    • 1
  • Barbara Wittek
    • 1
  1. 1.Institut für Software- und MultimediatechnikTechnische Universität DresdenGermany

Personalised recommendations