Modification analysis support at the requirements level
Ninth international workshop on Principles of software evolution: in conjunction with the 6th ESEC/FSE joint meeting
A Scenario-Based Validation Language for ASMs
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
An evaluation of timed scenario notations
Journal of Systems and Software
Towards formalising use case maps in Maude strategy language: application to multi-agent systems
International Journal of Computer Applications in Technology
Hi-index | 0.00 |
Scenario-driven requirement specifications are widely used to capture and represent functional requirements. Use Case Maps (UCM) is being standardized as part of the User Requirements Notation (URN), the most recent addition to ITU-T驴s family of languages. UCM models allow the description of functional requirements and high-level designs at early stages of the development process. Recognizing the importance of having a well defined semantic, we propose, in this work, a concise and rigorous formal semantics for Use Case Maps, defined in terms of Multi-Agent Abstract State Machines. The proposed formal semantics addresses UCM驴s operational semantics and provides a sound basis for executing UCM specifications using simulation tools and supporting formal verification.