Abstract
In this paper, we report on the integration of informal, semiformal and formal requirements specification techniques. We present a framework for requirements specification called TRADE, within which several well-known semiformal specification techniques are placed. TRADE is based on an analysis of structured and object-oriented requirements specification methods. In this paper, we combine TRADE with the logic-based specification language Albert II and show that this leads to a coherent formal and semiformal requirements specification. We illustrate our approach with examples taken from a large distributed telecommunication application case study performed in the context of the Esprit project 2RARE.
Supported by Esprit Project 2RARE, contractnr. 20424.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
2RARE (2 Real Applications for Requirements Engineering): Project Programme. http://www.info.fundp.ac.be/~phe/2rare.html, August 1995. Esprit Contract Number 20424.
Klemens Böhm and Amilcar Sernadas. A logic to specify real-time object behaviour. Technical report, Departamento de Matemática, Instituto Superior Técnico, Lisbon (Portugal), 1993.
P. du Bois. The ALBERT II Language. PhD thesis, Facultés Universitaires Notre-Dame de la Paix, Namur, 1995.
G. Booch. Object-Oriented Design with Applications, Second edition. Benjamin/Cummings, 1994.
G. Booch, I. Jacobson, and J. Rumbaugh. The unified modeling language for object-oriented development, version 0.91 addendum. Technical report, Rational Software Corporation, 2800 San Tomas Expressway, Santa Clara, CA 95051-0951, September 1996. URL http://www.rational.com/ot/uml91.pdf.
P.P.-S. Chen. The entity-relationship model — Toward a unified view of data. ACM Transactions on Database Systems, 1:9–36, 1976.
D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes, and P. Jeremaes. Object-Oriented Development: The FUSION Method. Prentice-Hall, 1994.
A.M. Davis. Software Requirements: Objects, Functions, States. Prentice-Hall, 1993.
T. DeMarco. Structured Analysis and System Specification. Yourdon Press/Prentice-Hall, 1978.
Eric Dubois, Philippe Du Bois, and Michaël Petit. Elicitating and formalising requirements for CIM information systems. In C. Rolland, F. Bodart, and C. Cauvet, editors, Proc. of the 5th conference on advanced information systems engineering — CAiSE'93, pages 252–274, Paris (France), June 8–11, 1993. LNCS 685, Springer-Verlag.
Eric Dubois, Philippe Du Bois, and Jean-Marc Zeippen. A formal requirements engineering method for real-time, concurrent, and distributed systems. In Proc. of ICSE-17 Workshop on Formal Methods Applications in Software Engineering, Seattle WA, April 24–25, 1995.
D. Harel and A. Pnueli. On the development of reactive systems. In K. Apt, editor, Logics and Models of Concurrent Systems, pages 477–498. Springer, 1985. NATO ASI Series.
M. Jackson. System Development. Prentice-Hall, 1983.
M. Jackson. Software Requirements and Specifications: A lexicon of practice, principles and prejudices. Addison-Wesley, 1995.
I. Jacobson, M. Christerson, P. Johnsson, and G. Övergaard. Object-Oriented Software Engineering: A Use Case Driven Approach. Prentice-Hall, 1992.
M. Jarke, J. Bubenko, C. Rolland, A. Sutcliffe, and Y. Vassiliou. Theories underlying requirements engineering: an overview of the NATURE approach. In S. Fickas and A. Finkelstein, editors, International Symposium on Requirements Engineering, pages 19–31. IEEE Computer Science Press, 1993.
Objectory AB. Objectory: Robustness Analysis, version 3.6 edition, 1995.
Oblog Software. OBLOG Case V1.2, 1995.
Quality Systems and Software Ltd. DOORS Unix Reference Manual, Version 2.1, 1995.
R.H. Thayer. Software system engineering. In R.H. Thayer and M. Dorfman, editors, System and Software Requirements Engineering, pages 77–116. IEEE Computer Science Press, 1990.
R.J. Wieringa. Requirements Engineering: Semantic, Real-Time, and Object-Oriented Methods. Course notes. 1995.
R.J. Wieringa. Requirements Engineering: Frameworks for Understanding. Wiley, 1996.
R.J. Wieringa. Advanced object-oriented requirement specification methods. Technical report, Faculty of Mathematics and Computer Science, Vrije Universiteit, 1997. Tutotial presented at the International Symposium of Requirements Engineering, 6–10 January 1997, Annapolis, U. S. A.
R.J. Wieringa and S. Huyts. Requirements analysis of the VoD application using the tools in TRADE. Technical report, Faculty of Mathematics and Computer Science, Vrije Universiteit, De Boelelaan 1081a, 1081 HV Amsterdam, 1996.
R. Wirfs-Brock, B. Wilkerson, and L. Wiener. Designing Object-Oriented Sofware. Prentice-Hall, 1990.
Author information
Authors and Affiliations
Corresponding author
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wieringa, R., Dubois, E., Huyts, S. (1997). Integrating semi-formal and formal requirements. In: Olivé, A., Pastor, J.A. (eds) Advanced Information Systems Engineering. CAiSE 1997. Lecture Notes in Computer Science, vol 1250. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63107-0_2
Download citation
DOI: https://doi.org/10.1007/3-540-63107-0_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63107-1
Online ISBN: 978-3-540-69148-8
eBook Packages: Springer Book Archive