资 源 简 介
A concrete scenario documents a user task performed in a particular situation with a sequence of precisely written system states. Concrete scenarios are both precise and understandable. They are useful in the specifications of functional requirements.
Collections of concrete scenarios have been used to create formal speciifcations in Z and executable specification in CLIPS systematically. Without appropriate tools, the process to derive specifications from concrete scenarios is tedious and error-prone. This project aims to develop tools to improve the effectiveness and efficiency of the process.
Concrete scenarios were invented by Oliver Au as part of his PhD research at Loughborough University under the supervision of John Cooke and Roger Stone. Oliver is currently an instructor with the Computer Science Department at the City University of Hong Kong.
