A Novel Formalization Process for Use Case Maps

Yahia Menassel, Farid Mokhati

2012

Abstract

This paper presents a novel process for formalizing UCM notation as an executable formal specification described in the Maude language Strategy, a recent extension of Maude. The main motivation of our work is essentially to provide a sound and rigorous description of complex systems described by UCM, which can help analysts, designers and developers, to automating their verification and validation processes and to assuring their quality.

Paper Citation

in Harvard Style

Menassel Y. and Mokhati F. (2012). A Novel Formalization Process for Use Case Maps . In Proceedings of the International Conference on Knowledge Management and Information Sharing - Volume 1: KMIS, (IC3K 2012) ISBN 978-989-8565-31-0, pages 307-310. DOI: 10.5220/0004170603070310

in Bibtex Style

@conference{kmis12,
author={Yahia Menassel and Farid Mokhati},
title={A Novel Formalization Process for Use Case Maps},
booktitle={Proceedings of the International Conference on Knowledge Management and Information Sharing - Volume 1: KMIS, (IC3K 2012)},
year={2012},
pages={307-310},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004170603070310},
isbn={978-989-8565-31-0},
}

in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Management and Information Sharing - Volume 1: KMIS, (IC3K 2012)
TI - A Novel Formalization Process for Use Case Maps
SN - 978-989-8565-31-0
AU - Menassel Y.
AU - Mokhati F.
PY - 2012
SP - 307
EP - 310
DO - 10.5220/0004170603070310