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 CM may be translated into Object-Z.

-- DanielAmyot - 16 Jun 2010


  • Please feel free to discuss this article directly on this page. Constructive comments are welcomed! Please sign your TWiki name.

FormForVirtualLibrary edit

Title Use Case Maps as an Aid in the Construction of a Formal Specification
Authors C. Dongmo, J. A. van der Poll
Type Conference
Conference/Journal Title 7th Int. Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS-2009)
Editors D. Moldt, J.C. Augusto, U. Ultes-Nitsche
Month May
Year 2009
Pages 3-13
Keywords Use Case Map, UCM, Object-Z, formal, transformation
Topic attachments
I Attachment Action Size Date Who Comment
MSVVEIS2009.pdfpdf MSVVEIS2009.pdf manage 193 K 16 Jun 2010 - 08:12 DanielAmyot Pre-publication version
Topic revision: r1 - 16 Jun 2010, 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