VERIFICATION OF THE CONSISTENCY BETWEEN USE CASE AND ACTIVITY DIAGRAMS - A Step Towards Validation of User Requirements

Sana Oueslati Ben Amor, Mouez Ali, Faïez Gargouri

2011

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.

References

  1. Ali M., Ben-Abdallah H., Gargouri F., 2006. “ Validation requirements in UML 2.0 Models", Proceedings of the 24th International Congress of Computer IFORSID'06, pages, Hammamet Tunisia.
  2. Ali M., Ben-Abdallah H., Gargouri F., 2006. “ Validation requirements in UML 2.0 Models", Proceedings of the 24th International Congress of Computer IFORSID'06, pages, Hammamet Tunisia.
  3. Nuseibeh B., Easterbrook S., 2000. “Requirements Engineering: A Roadmap", Proceedings of International Conference on Software Engineering (ICSE-2000), Limerick, Ireland, ACM Press.
  4. Nuseibeh B., Easterbrook S., 2000. “Requirements Engineering: A Roadmap", Proceedings of International Conference on Software Engineering (ICSE-2000), Limerick, Ireland, ACM Press.
  5. Pascal R., 2003. “UML Modelling an e-commerce site". Eyrolles.
  6. Pascal R., 2003. “UML Modelling an e-commerce site". Eyrolles.
  7. Spivey J., 1992. “The Z Notation": A Reference Manual, Prentice Hall, 2nd edition.
  8. Spivey J., 1992. “The Z Notation": A Reference Manual, Prentice Hall, 2nd edition.
Download


Paper Citation


in Harvard Style

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 3: ICEIS, ISBN 978-989-8425-55-3, pages 396-399. DOI: 10.5220/0003505503960399


in Harvard Style

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 3: ICEIS, ISBN 978-989-8425-55-3, pages 396-399. DOI: 10.5220/0003505503960399


in Bibtex Style

@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 3: ICEIS,},
year={2011},
pages={396-399},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003505503960399},
isbn={978-989-8425-55-3},
}


in Bibtex Style

@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 3: ICEIS,},
year={2011},
pages={396-399},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003505503960399},
isbn={978-989-8425-55-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: 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
AU - Oueslati Ben Amor S.
AU - Ali M.
AU - Gargouri F.
PY - 2011
SP - 396
EP - 399
DO - 10.5220/0003505503960399


in EndNote Style

TY - CONF
JO - Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: 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
AU - Oueslati Ben Amor S.
AU - Ali M.
AU - Gargouri F.
PY - 2011
SP - 396
EP - 399
DO - 10.5220/0003505503960399