Abstract
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.
Keywords
- 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.
This work has been supported by the Deutsche Forschungsgemeinschaft (DFG) as part of Sonderforschungsbereich (SFB) 501, Development of Large Systems with Generic Methods
Download to read the full chapter text
Chapter PDF
References
Booch, G., Rumbaugh, J., Jacobsen, I.: The Unified Modelling Language User Guide. Addison-Wesley, Reading (1999)
Computer Networks Group: The SDL Pattern Pool, Online document, University of Kaiserslautern, Kaiserslautern, Germany (2002) (available on request)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)
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)
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)
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)
Geppert, B.: The SDL-Pattern Approach - A Reuse-Driven SDL Methodology for Designing Communication Software Systems. PhD Thesis, Kaiserslautern Univ., Germany (2000)
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)
Gotzhein, R., Peper, C., Schaible, P., Thees, J.: SILICON - System Development for an Interactive LIght CONtrol (2001), http://rn.informatik.uni-kl.de/projects/sfb501/b4/activities/casestud/silicon/
Gotzhein, R.: Consolidating and Applying the SDL-Pattern Approach: A Detailed Case Study. Information and Software Technology, Elsevier Sciences (in print)
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)
Grammes, R.: Evaluation and Application of the SDL Pattern Approach, Master Thesis, Computer Networks Group, Univ. of Kaiserslautern, Germany (February 2003)
ITU-T Recommendation Z.100 (11/99) - Specification and Description Language (SDL), International Telecommunication Union (ITU) (2000)
ITU-T Recommendation Z.120 (11/99) - Message Sequence Chart (MSC), Intern. Telecommunication Union (ITU) (2000)
Johnson, R.E.: Frameworks = (Components + Patterns). Object-Oriented Application Frameworks (Special Issue), Comm. of the ACM 40(10), 39–42 (1997)
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)
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)
Kronenburg, M.: An Approach to the Creation of Precise, Intelligible Problem Specifications of Large Reactive Systems, PhD thesis, Shaker Verlag, Aachen (2001)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 IFIP International Federation for Information Processing
About this paper
Cite this paper
Gotzhein, R. (2003). Vertical Reuse in the Development of Distributed Systems with FDTs. In: König, H., Heiner, M., Wolisz, A. (eds) Formal Techniques for Networked and Distributed Systems - FORTE 2003. FORTE 2003. Lecture Notes in Computer Science, vol 2767. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39979-7_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-39979-7_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20175-5
Online ISBN: 978-3-540-39979-7
eBook Packages: Springer Book Archive