Metamodels and Verification Rules for Verifying the Correctness of UML Diagrams


The KIPS Transactions:PartD, Vol. 10, No. 6, pp. 971-982, Oct. 2003
10.3745/KIPSTD.2003.10.6.971,   PDF Download:

Abstract

The consistency of UML diagrams is a nature for checking whether diagrams are coherently designed with only one requirements, and the correctness is a nature for checking whether user diagrams are designed according to UML standard. In this paper we propose a verification model that verifies the correctness of UML Diagrams, especially it uses OCL (Object Constraint Language) which is standard constraint language in UML. Firstly we devise metamodels that are described with components and relationships, then we derive verification rules from each metamodels for verifying correctness and consistency, and then we formally specify the rules with OCL for automatic verification. Finally we verify the rules with USE TOOL.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
H. I. Gyu and K. B. Ug, "Metamodels and Verification Rules for Verifying the Correctness of UML Diagrams," The KIPS Transactions:PartD, vol. 10, no. 6, pp. 971-982, 2003. DOI: 10.3745/KIPSTD.2003.10.6.971.

[ACM Style]
Ha Il Gyu and Kang Byeong Ug. 2003. Metamodels and Verification Rules for Verifying the Correctness of UML Diagrams. The KIPS Transactions:PartD, 10, 6, (2003), 971-982. DOI: 10.3745/KIPSTD.2003.10.6.971.