Vertical Reuse in the Development of Distributed Systems with FDTs

  • Reinhard Gotzhein
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2767)


The development and maintenance of large distributed software systems is intrinsically difficult and continues to worry generations of software engineers in academia and industry. Several key approaches to mastering these difficulties have been identified, including structuring and reuse. System structuring is essential to controlling complexity, and is a prerequisite for the extraction of reuse artifacts. Reuse of solutions is crucial to controlling quality and productivity. Previous work has addressed horizontal reuse, i.e., reuse within a single development phase. In this paper, vertical reuse, i.e., reuse across development phases, is introduced, focusing on the early development phases. Formal description techniques (FDTs) are applied to define reuse artifacts. Examples are drawn from the building automation domain.


Controller Area Network Pattern Definition International Telecommunication Union Message Sequence Chart Pattern Application 
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.


  1. 1.
    Booch, G., Rumbaugh, J., Jacobsen, I.: The Unified Modelling Language User Guide. Addison-Wesley, Reading (1999)Google Scholar
  2. 2.
    Computer Networks Group: The SDL Pattern Pool, Online document, University of Kaiserslautern, Kaiserslautern, Germany (2002) (available on request) Google Scholar
  3. 3.
    Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)zbMATHGoogle Scholar
  4. 4.
    Geppert, B., Gotzhein, R., Rößler, F.: Configuring Communication Protocols Using SDL Patterns. In: Cavalli, A., Sarma, A. (eds.) SDL 1997 - Time for Testing, Proceedings of the 8th SDL Forum, pp. 523–538. Elsevier, Amsterdam (1997)Google Scholar
  5. 5.
    Geppert, B., Kühlmeyer, A., Rößler, F., Schneider, M.: SDL-Pattern based Development of a Communication Subsystem for CAN. In: Budkowski, S., Cavalli, A., Najm, E. (eds.) Formal Description Techniques and Protocol Specification, Testing, adn Verification, Proceedings of FORTE/PSTV 1999, pp. 197–212. Kluwer Academic Publishers, Boston (1998)CrossRefGoogle Scholar
  6. 6.
    Geppert, B., Rößler, F., Gotzhein, R.: Pattern Application vs. Inheritance in SDL. In: 3rd IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 1999), Florenz, Italien. Kluwer Academic Publishers, Dordrecht (1999)Google Scholar
  7. 7.
    Geppert, B.: The SDL-Pattern Approach - A Reuse-Driven SDL Methodology for Designing Communication Software Systems. PhD Thesis, Kaiserslautern Univ., Germany (2000)Google Scholar
  8. 8.
    Gotzhein, R., Kronenburg, M., Peper, C.: Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirements Pattern. In: Ravn, A.P., Rischel, H. (eds.) FTRTFT 1998. LNCS, vol. 1486, p. 65. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  9. 9.
    Gotzhein, R., Peper, C., Schaible, P., Thees, J.: SILICON - System Development for an Interactive LIght CONtrol (2001),
  10. 10.
    Gotzhein, R.: Consolidating and Applying the SDL-Pattern Approach: A Detailed Case Study. Information and Software Technology, Elsevier Sciences (in print) Google Scholar
  11. 11.
    Grammes, R., Gotzhein, R., Mahr, C., Schaible, P., Schleiffer, H.: Industrial Application of the SDL- Pattern Approach in UMTS Call Processing Development - Experience and Quantitative Assessment, 11th SDL Forum (SDL 2003), Stuttgart/Germany, July 1-4 (2003)Google Scholar
  12. 12.
    Grammes, R.: Evaluation and Application of the SDL Pattern Approach, Master Thesis, Computer Networks Group, Univ. of Kaiserslautern, Germany (February 2003) Google Scholar
  13. 13.
    ITU-T Recommendation Z.100 (11/99) - Specification and Description Language (SDL), International Telecommunication Union (ITU) (2000)Google Scholar
  14. 14.
    ITU-T Recommendation Z.120 (11/99) - Message Sequence Chart (MSC), Intern. Telecommunication Union (ITU) (2000)Google Scholar
  15. 15.
    Johnson, R.E.: Frameworks = (Components + Patterns). Object-Oriented Application Frameworks (Special Issue), Comm. of the ACM 40(10), 39–42 (1997)Google Scholar
  16. 16.
    Kronenburg, M., Peper, C.: Definition and Instantiation of a Reference Model for Problem Specifications. In: 11th International Conference on Software Engineering and Knowledge Engineering (SEKE 1999), Kaiserslautern, Germany (1999)Google Scholar
  17. 17.
    Kronenburg, M., Peper, C.: Application of the FoReST Approach to the Light Control Case Study. Journal of Universal Computer Science, Special Issue on Requirements Engineering 6(7), 679–703 (2000)Google Scholar
  18. 18.
    Kronenburg, M.: An Approach to the Creation of Precise, Intelligible Problem Specifications of Large Reactive Systems, PhD thesis, Shaker Verlag, Aachen (2001)Google Scholar
  19. 19.
    Peper, C., Gotzhein, R., Kronenburg, M.: A Generic Approach to the Formal Specification of Requirements. In: First IEEE International Conference on Formal Engineering Methods (ICFEM 1997), Hiroshima, Japan (1997)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2003

Authors and Affiliations

  • Reinhard Gotzhein
    • 1
  1. 1.Computer Science DepartmentUniversity of KaiserslauternKaiserslauternGermany

Personalised recommendations