UTHM Institutional Repository

On well-formedness rules for UML use case diagram

Ibrahim, Noraini and Ibrahim, Rosziati and Saringat, Mohd Zainuri and Mansor, Dzahar and Herawan, Tutut (2010) On well-formedness rules for UML use case diagram. In: WISM'10: Proceedings of the 2010 International Conference on Web Information Systems and Mining, 23-24 October 2010, China.

Full text not available from this repository.


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.

Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: UML; set theory; use case diagram; well-formedness rules
Subjects: Q Science > QA Mathematics > QA76 Computer software
Divisions: Faculty of Computer Science and Information Technology > Department of Software Engineering
Depositing User: Normajihan Abd. Rahman
Date Deposited: 16 Nov 2015 06:52
Last Modified: 16 Nov 2015 06:52
URI: http://eprints.uthm.edu.my/id/eprint/3598
Statistic Details: View Download Statistic

Actions (login required)

View Item View Item