UML/OCL class diagrams provide high-level descriptions ofsoftware systems. Currently, UML/OCL class diagrams are highly usedfor code generation through several transformations in order to save timeand effort of software developers. Therefore, verification of these class diagrams is essential in order to generate accurate transformations. Verification of UML/OCL class diagrams is a quite challenging task when theinput is large (i.e., a complex UML/OCL class diagram). In this paper,we present (1) a benchmark for UML/OCL verification and validationtools, (2) an evaluation and analysis of tools available for verificationand validation of UML/OCL class diagrams including the range of UMLsupport for each tool, (3) the problems with efficiency of the verification process for UML/OCL class diagrams, and (4) solution for efficient verification of complex class diagrams.
展开▼