Use Case Maps as an Aid in the Construction of a Formal Specification
No Thumbnail Available
Files
Authors
Dongmo, Cyrille
van der Poll, John A.
Issue Date
2009
Type
Article
Language
en
Keywords
Formal Specification , Use Case Map , visual notation , Object-Z
Alternative Title
Abstract
A Use Case Map (UCM) is a scenario-based visual notation facilitating the requirements definition of complex systems. A UCM may be generated either from a set of informal requirements, or from use cases normally expressed in natural language. Natural languages are, however, inherently ambiguous and as a semi-formal notation, UCMs have the potential to bring more clarity into the functional description of a system. It may furthermore eliminate possible errors in the user requirements. The semi-formal notation of UCMs aims to show how things work generally, but is not suitable to reason formally about system behaviour. It is plausible, therefore, that the use of UCMs as an intermediate step may facilitate the construction of a formal specification. To this end this paper proposes a mechanism whereby a UCM may be translated into Object-Z.
Description
Citation
Use Case Maps as an Aid in the Construction of a Formal Specification. The 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS 2009), pp. 3 - 13, 6 - 7 May, Milan, Italy.