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. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/978-3-642-16515-3_54 | WISM |
Keywords | Field | DocType |
well-formedness problem,different element,uml use case diagram,use case diagram,uml model,uml practitioner,uml diagram,uml element,used diagram,well-formedness rule,software model,different diagram,uml,set theory,satisfiability | Data mining,Programming language,UML tool,Unified Modeling Language,Computer science,Use Case Diagram,Algorithm,Diagram,Communication diagram,System sequence diagram,Applications of UML,Class diagram | Conference |
Volume | ISSN | ISBN |
6318 | 0302-9743 | 3-642-16514-1 |
Citations | PageRank | References |
1 | 0.38 | 12 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Noraini Ibrahim | 1 | 17 | 3.51 |
Rosziati Ibrahim | 2 | 46 | 13.87 |
Mohd Zainuri Saringat | 3 | 2 | 1.40 |
Dzahar Mansor | 4 | 2 | 0.72 |
Tutut Herawan | 5 | 608 | 75.21 |