loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Sana Oueslati Ben Amor ; Mouez Ali and Faïez Gargouri

Affiliation: University of Sfax, Tunisia

Keyword(s): UML, Use case, Activity, Validation, User requirement.

Related Ontology Subjects/Areas/Topics: Enterprise Information Systems ; Information Systems Analysis and Specification ; Software Engineering

Abstract: The requirements elicitation is a step between the user and developers has to be precise and formal. This step requires understanding the requirements to be covered by the system and to express and formalize these requirements. For structuring, documenting and analysing user requirements, UML use case diagram illustrates all functional requirements. In an advanced step, all functionalities of a system can be represented and detailed by a set of activity diagrams. In our work, the requirement validation is to check that all requirements are covered by these functionalities. In this paper, we present a validation requirement approach of UML models based on a comparison of UML use case (requirement) and activity diagrams (functionality). This comparison ensures that the use case model and activities model are consistent. It is based on a set of rules. Furthermore, we give an overview of UML-Validation tool which automates the use of these rules.

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 3.145.196.87

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:
Oueslati Ben Amor, S.; Ali, M. and Gargouri, F. (2011). VERIFICATION OF THE CONSISTENCY BETWEEN USE CASE AND ACTIVITY DIAGRAMS - A Step Towards Validation of User Requirements. In Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 4: ICEIS; ISBN 978-989-8425-55-3; ISSN 2184-4992, SciTePress, pages 396-399. DOI: 10.5220/0003505503960399

@conference{iceis11,
author={Sana {Oueslati Ben Amor}. and Mouez Ali. and Faïez Gargouri.},
title={VERIFICATION OF THE CONSISTENCY BETWEEN USE CASE AND ACTIVITY DIAGRAMS - A Step Towards Validation of User Requirements},
booktitle={Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 4: ICEIS},
year={2011},
pages={396-399},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003505503960399},
isbn={978-989-8425-55-3},
issn={2184-4992},
}

TY - CONF

JO - Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 4: ICEIS
TI - VERIFICATION OF THE CONSISTENCY BETWEEN USE CASE AND ACTIVITY DIAGRAMS - A Step Towards Validation of User Requirements
SN - 978-989-8425-55-3
IS - 2184-4992
AU - Oueslati Ben Amor, S.
AU - Ali, M.
AU - Gargouri, F.
PY - 2011
SP - 396
EP - 399
DO - 10.5220/0003505503960399
PB - SciTePress