Advertisement

Reuse in requirements engineering: Discovery and application of a real-time requirement pattern

  • R. Gotzhein
  • M. Kronenburg
  • C. Peper
Selected Presentations Requirements Engineering
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1486)

Abstract

We apply a reuse approach to formally specify system requirements. The approach is based on requirement patterns, which are related to design patterns well-known in object-oriented software development. The focus of this paper is on the application-driven discovery of an interesting, non-trivial real-time requirement pattern, and its subsequent application. In particular, we demonstrate how a given natural language requirement for a real-time system has been transformed into a precise and concise formal specification using real-time temporal logic. Finally, we motivate and illustrate the reuse potential of requirement specifications by a diverse collection of examples.

Keywords

requirements analysis reuse pattern discovery formal specification temporal logic real-time formal methods case study 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    R. Alur, and T. A. Henzinger: Logics and Models of Real Time: A Survey. In: J. W. de Bakker, C. Huizing, W. P. de Roever, G. Rozenberg (Eds.), Real-Time: Theory and Practice, LNCS 600Google Scholar
  2. 2.
    E. Gamma, R. Helm, R. Johnson, J. Vlissides: Design Patterns — Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995Google Scholar
  3. 3.
    B. Geppert, R. Gotzhein, F. Rö\ler: Configuring Communication Protocols Using SDL Patterns. in: A. Cavalli, A. Sarma (Eds.), SDL’97 — Time for Testing, Elsevier Science Publishers, Proceedings of the 8th SDL-Forum, Evry, France, Sept. 1997Google Scholar
  4. 4.
    B. Geppert, F. Rö\ler: Generic Engineering of Communication Protocols — Current Experience and Future Issues. Proceedings of the 1st IEEE International Conference on Formal Engineering Methods (ICFEM’97), Hiroshima, Japan, 1997Google Scholar
  5. 5.
    R. Gotzhein: Open Distributed Systems — On Concepts, Methods and Design from a Logical Point of View. Vieweg Wiesbaden, 1993Google Scholar
  6. 6.
    R. Gotzhein, B. Geppert, C. Peper, and F. Rö\ler: Generic Layout of Communication Subsystems — A Case Study. SFB 501 Report 14/96, University of Kaiserslautern, Germany, 1996Google Scholar
  7. 7.
    R. Gotzhein, M. Kronenburg, and C. Peper: Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern. SFB 501 Report 8/98, University of Kaiserslautern, Germany, 1998Google Scholar
  8. 8.
    T. A. Henzinger, Z. Manna und A. Pnueli: Timed Transition Systems. In: J. W. de Bakker, C. Huizing, W. P. de Roever, and G. Rozenberg (Hrsg.), Real-Time: Theory in Practice, LNCS 600, Springer 1991, 226–251Google Scholar
  9. 9.
    M. Kronenburg, R. Gotzhein, and C. Peper: A Tailored Real-Time Temporal Logic for Specifying Requirements of Building-Automation Systems. SFB 501 Report 16/96, University of Kaiserslautern, Germany, 1996Google Scholar
  10. 10.
    C. Peper, R. Gotzhein, M. Kronenburg: A Generic Approach to the Formal Specification of Requirements. Proceedings of the 1st IEEE International Conference on Formal Engineering Methods (ICFEM’97), Hiroshima, Japan, 1997, pp. 252–261Google Scholar
  11. 11.
    R. E. Johnson: Frameworks = (Components + Patterns), Communications of the ACM, Vol. 40, No. 10 (October 1997), pp. 39–42CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • R. Gotzhein
    • 1
  • M. Kronenburg
    • 1
  • C. Peper
    • 1
  1. 1.University of KaiserslauternGermany

Personalised recommendations