On well-formedness rules for UML use case diagram

Authors:
Noraini Ibrahim;Rosziati Ibrahim;Mohd Zainuri Saringat;Dzahar Mansor;Tutut Herawan
Affiliations:
Department of Software Engineering, Faculty of Information Technology and Multimedia, Universiti Tun Hussein Onn Malaysia;Department of Software Engineering, Faculty of Information Technology and Multimedia, Universiti Tun Hussein Onn Malaysia;Department of Software Engineering, Faculty of Information Technology and Multimedia, Universiti Tun Hussein Onn Malaysia;Microsoft Malaysia;Department of Mathematics Eduction, Universitas Ahmad Dahlan, Yogyakarta, Indonesia
Venue:
WISM'10 Proceedings of the 2010 international conference on Web information systems and mining
Year:
2010

Citing 9
Cited 0

Formal and Use-Case Driven Requirement Analysis in UML

COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
A Formal Approach to Use Cases and Their Relationships

«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
The Materiality of the Internet

IEEE Annals of the History of Computing
Inter-Model Consistency in UML Based on CPN Formalism

APSEC '06 Proceedings of the XIII Asia Pacific Software Engineering Conference
Toward a Formalization of UML2.0 Metamodel using Z Specifications

SNPD '07 Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 01
Formalization of UML diagrams and their consistency verification: A Z notation based approach

ISEC '08 Proceedings of the 1st India software engineering conference
The UML Is More Than Boxes and Lines

Models in Software Engineering
A systematic review of UML model consistency management

Information and Software Technology
Consistency problems in UML-based software development

UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

A software model is a widely used technique to specify software. A UML model may contain different diagrams and a diagram is built from different elements. Each element is restraint to certain constraint or well-formedness rules (WFR). Assurance to these WFR is important to ensure the quality of UML diagrams produced. Even though, the formal definition to UML elements is rapidly increased; there is still lack of formalization of WFR. Therefore, this paper will define the WFR for use case diagrams as it is ranked as one of the most used diagram among UML practitioners. The formalization is based on set theory by logic and quantification. Based on an example of a use case diagram, we show how the diagram satisfied the WFR. Then, the elements involved in the well-formedness problem are detected and formally reasoned.