loading
Papers Papers/2020

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Cyrille Dongmo and John A. van der Poll

Affiliation: University of South Africa, South Africa

Keyword(s): Object-Z, Requirements, Schema, Schema Calculus, Specification, UCM, Z

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.144.55.253

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Dongmo, C. and van der Poll, J. (2009). Use Case Maps as an Aid in the Construction of a Formal Specification. In Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS, (ICEIS 2009) ISBN 978-989-8111-90-6, pages 3-12. DOI: 10.5220/0002195800030012

@conference{msvveis09,
author={Cyrille Dongmo. and John A. {van der Poll}.},
title={Use Case Maps as an Aid in the Construction of a Formal Specification},
booktitle={Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS, (ICEIS 2009)},
year={2009},
pages={3-12},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002195800030012},
isbn={978-989-8111-90-6},
}

TY - CONF

JO - Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS, (ICEIS 2009)
TI - Use Case Maps as an Aid in the Construction of a Formal Specification
SN - 978-989-8111-90-6
AU - Dongmo, C.
AU - van der Poll, J.
PY - 2009
SP - 3
EP - 12
DO - 10.5220/0002195800030012

0123movie.net