A Novel Formalization Process for Use Case Maps

Yahia Menassel, Farid Mokhati

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.

References

  1. Amyot, D., (2003) 'Introduction to the User Requirements Notation: Learning by Example', Computer Networks, Vol. 42(3), pp. 285-301.
  2. Buhr, R. J. A. and Casselman, R. S. (1995) 'Use Case Maps for Object-Oriented Systems', Prentice-Hall, USA. http://www.UseCaseMaps.org/UseCaseMaps/pu b/UCM_book95.pdf.
  3. Hassine, J., Rilling, J. and Dssouli, R., (2005) 'An ASM Operational Semantics for Use Case Maps', In RE 7805: Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE'05), IEEE Computer Society, Paris, p. 467-468.
  4. He, Y., Amyot, D., and Williams, A. W. (2003) 'Synthesizing SDL from Use Case Maps: An experiment', In Proc SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, p. 117- 136.
  5. ITU-T, (2003) 'User Requirements Notation (URN) - Language Requirements and Framework', ITU-T Recommendation Z.150. Geneva, Switzerland.
  6. Liu L., and Yu E., (2001) 'From Requirements to Architectural Design - Using Goals and Scenarios', From Software Requirements to Architectures Workshop (STRAW 2001).
  7. Mussbacher G., (2007) 'Evolving Use Case Maps as a Scenario and Workflow Description Language', 10th Workshop on Requirements Engineering (WER'07), Toronto, Canada, p. 56-67.
  8. Mussbacher G., and Amyot D., (2008) 'Assessing the Applicability of Use Case Maps for Business Process and Workflow Description', 3rd Int. MCETECH Conference on e-Technologies, p. 219-222.
  9. Marti-Oliet N., Meseguer J., Verdejo A, (2009) 'A Rewriting Semantics for Maude Strategies', Electronic Notes in Theoretical Computer Science, vol. 238(3), pp. 227-247.
Download


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