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 a set of 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 behavior. It is plausible, therefore, that the use of a UCM 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.


FormForVirtualLibrary edit

Title Addressing the Construction of Z and Object-Z with Use Case Maps (UCMs)
Authors C. Dongmo and J. A. Van der Poll
Type Journal
Conference/Journal Title International Journal of Software Engineering and Knowledge Engineering
Volume/Number Vol. 24, No. 2
Editors S-K Chang
Publisher World Scientific Publishing Company
Month March
Year 2014
Pages 285–327
DOI 10.1142/S0218194014500120
Keywords Requirements specification; specification process; constructivity UCM; Z; object-Z
Topic revision: r3 - 23 Aug 2014, DanielAmyot
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback