A Novel Formalization Process for Use Case Maps

Yahia Menassel; Farid Mokhati

Research.Publish.Connect.

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

A Novel Formalization Process for Use Case Maps

Topics: Requirements Engineering

In Proceedings of the International Conference on Knowledge Management and Information Sharing - Volume 0IC3K, 307-310, 2012 , Barcelona, Spain

Authors: Yahia Menassel ¹ and Farid Mokhati ²

Affiliations: ¹ University of Tébessa, Algeria ; ² University of Oum El Bouaghi, Algeria

Keyword(s): UCM, Maude Strategy Language, Formal Specification, Translation.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Knowledge Management and Information Sharing ; Knowledge-Based Systems ; Requirements Engineering ; Symbolic Systems

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.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

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

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:

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 (IC3K 2012) - KMIS; ISBN 978-989-8565-31-0; ISSN 2184-3228, SciTePress, pages 307-310. DOI: 10.5220/0004170603070310

@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 (IC3K 2012) - KMIS},
year={2012},
pages={307-310},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004170603070310},
isbn={978-989-8565-31-0},
issn={2184-3228},
}

TY - CONF

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