Improving Use Case Based Requirements Using Formally Grounded Specifications
C. Choppy, Gianna Reggio · 2003
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. Our idea here is to nd a way to combine both advantages of use cases and of formal speci cations. We present a technique for improving use case based requirements, using the formally grounded development of the requirements speci cation, and that results both in an improved requirements capture, and in a requirement validation. The formally grounded requirements speci cation is written in a \\visual" notation, using both diagrams and text, with a formal counterpart (written in the Casl and Casl-Ltl languages). Being formally grounded, our method is systematic, and it yields further questions on the system that will be reected in the improved use case descriptions. The resulting use case descriptions are of high quality, more systematic, more precise, and its corresponding formally grounded speci cation is available. We illustrate our approach on part of the Auction System case study.