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.
This work has been supported by the Deutsche Forschungsgemeinschaft (DFG) as part of the Sonderforschungsbereich (SFB) 501, “Development of Large Systems with Generic Methods”.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
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 600
E. Gamma, R. Helm, R. Johnson, J. Vlissides: Design Patterns — Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995
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. 1997
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, 1997
R. Gotzhein: Open Distributed Systems — On Concepts, Methods and Design from a Logical Point of View. Vieweg Wiesbaden, 1993
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, 1996
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, 1998
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–251
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, 1996
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–261
R. E. Johnson: Frameworks = (Components + Patterns), Communications of the ACM, Vol. 40, No. 10 (October 1997), pp. 39–42
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gotzhein, R., Kronenburg, M., Peper, C. (1998). Reuse in requirements engineering: Discovery and application of a real-time requirement pattern. In: Ravn, A.P., Rischel, H. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 1998. Lecture Notes in Computer Science, vol 1486. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055337
Download citation
DOI: https://doi.org/10.1007/BFb0055337
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65003-4
Online ISBN: 978-3-540-49792-9
eBook Packages: Springer Book Archive