A UML Class Diagram Analyzer

  title={A UML Class Diagram Analyzer},
  author={Tiago Massoni and Rohit Gheyi and Paulo Borba},
Automatic analysis of UML models constrained by OCL invariants is still an open research topic. Especially for critical systems, such tool support is important for early identification of errors in modeling, before functional requirements are implemented. In this paper, we present ideas on an approach for automatic analysis of UML class diagrams, according to a precise semantics based on Alloy, a formal object-oriented modeling language. This semantics permits the use of Alloy’s tool support… CONTINUE READING
Highly Cited
This paper has 40 citations. REVIEW CITATIONS