Abstract
Our approach aims at helping to produce adequate requirements, both clear and precise enough so as to provide a sound basis to the overall development. We present a technique for improving use case based requirements, by producing a companion Formally Grounded specification, that results both in an improved requirements capture, and in a requirement validation. The Formally Grounded requirements specification is written in a “visual” notation, using both diagrams and text, with a formal counterpart (written in the Casl-Ltl language). The resulting use case based requirements are of high quality, more systematic, more precise, and its corresponding Formally Grounded specification is available. We illustrate our approach on an Auction System case study.
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.
Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Anda, B., Sjoberg, D.: Towards an Inspection Technique for Use Case Models. In: Proc. SEKE 2002. ACM Press, New York (2002)
Astesiano, E., Reggio, G., Cerioli, M.: From Formal Techniques to Well-Founded Software Development Methods. In: Aichernig, B.K., Maibaum, T. (eds.) Formal Methods at the Crossroads. From Panacea to Foundational Support. LNCS, vol. 2757, pp. 132–150. Springer, Heidelberg (2003); (to appear) Available at: ftp://ftp.disi.unige.it/person/ReggioG/AstesianoEtAll03a.ps , and ftp://ftp.disi.unige.it/person/ReggioG/AstesianoEtAll03a.pdf
Astesiano, E., Reggio, G.: Labelled Transition Logic: An Outline. Acta Informatica 37(11-12), 831–879 (2001)
Astesiano, E., Reggio, G.: Tight Structuring for Precise UML-based Requirement Specifications. In: Wirsing, M., Knapp, A., Balsamo, S. (eds.) RISSEF 2002. LNCS, vol. 2941, pp. 16–34. Springer, Heidelberg (2004); (to appear), Available at: ftp://ftp.disi.unige.it/person/ReggioG/AstesianoEtAll03f.pdf
Choppy, C., Reggio, G.: Improving Use Case Based Requirements Using Formally Grounded Specifications (Complete Version). Technical Report DISI-TR- 03-45, DISI – Università di Genova, Italy (2003); Available at: ftp://ftp.disi.unige.it/person/ReggioG/ChoppyReggio03c.ps , and ftp://ftp.disi.unige.it/person/ReggioG/ChoppyReggio03c.pdf
Choppy, C., Reggio, G.: Towards a Formally Grounded Software Development Method. Technical Report DISI–TR–03–35, DISI, Università di Genova, Italy (2003); Available at: ftp://ftp.disi.unige.it/person/ReggioG/ChoppyReggio03a.pdf
Cockburn, A.: Writing Effective Use Cases. Addison-Wesley, Reading (2000)
Costa, G., Reggio, G.: Specification of Abstract Dynamic Data Types: A Temporal Logic Approach. T.C.S. 173(2), 513–554 (1997)
Dromey, R.: From Requirements to Design: Formalizing the Key Steps. In: Proc. of SEFM 2003, Brisbane, Australia. IEEE Computer Society Press, Los Alamitos (2003)
Jacobson, I., Christerson, M., Jonnson, P., Overgaard, G.: Object-Oriented Software Engineering: A Use-Case Driven Approach. Addison-Wesley, Reading (1992)
Mosses, P. (ed.): CASL, The Common Algebraic Specification Language - Reference Manual. LNCS. Springer, Heidelberg (2003), (to appear), Available at: http://www.cofi.info/CASLRefManualDRAFT.pdf
Reggio, G., Astesiano, E., Choppy, C.: Casl-Ltl : A Casl Extension for Dynamic Reactive Systems Version 1.0– Summary. Technical Report DISI-TR-03-36, DISI – Università di Genova, Italy (2003); Available at: ftp://ftp.disi.unige.it/person/ReggioG/ReggioEtAll03b.ps , and ftp://ftp.disi.unige.it/person/ReggioG/ReggioEtAll03b.pdf
Sendall, S., Strohmeier, A.: Requirements Analysis with Use Cases (2001), http://lglwww.epfl.ch/research/usecases/RE-A2-theory.pdf
Sendall, S.: Case studies for RE A2 course ”Requirements Analysis with Use Cases” (2001), http://lglwww.epfl.ch/research/usecases/RE-A2-case-studies/index.html
Sendall, S., Strohmeier, A.: From Use Cases to System Operation Specifications. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 1–15. Springer, Heidelberg (2000)
Sendall, S., Strohmeier, A.: Specifying Concurrent System Behavior and Timing constraints using OCL and UML. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 391–405. Springer, Heidelberg (2001)
UML Revision Task Force. OMG UML Specification 1.3 (2000), Available at: http://www.omg.org/docs/formal/00-03-01.pdf
van Lamsweerde, A.: Building Formal Requirements Models for Reliable Software (Invited paper). In: Strohmeier, A., Craeynest, D. (eds.) Ada-Europe 2001. LNCS, vol. 2043, p. 1. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Choppy, C., Reggio, G. (2004). Improving Use Case Based Requirements Using Formally Grounded Specifications. In: Wermelinger, M., Margaria-Steffen, T. (eds) Fundamental Approaches to Software Engineering. FASE 2004. Lecture Notes in Computer Science, vol 2984. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24721-0_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-24721-0_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21305-5
Online ISBN: 978-3-540-24721-0
eBook Packages: Springer Book Archive