Study of Consistency Checking by UML/OCL Tool
Hong Zhu · Computer and Modernization · 2009
UML is extensively applied as a common visual modeling language.But the consistency problems of UML models limit the availability of using UML in the software development.This article introduces some notions about UML model consistency,and proposes an approach to checking UML model consistency by using OCL expressions to describe consistency rules.The consistency checking tool can analyze the UML model,check the syntax of OCL expressions,and check the model consistency.