Advances in Software Engineering

Research Article

Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams

Table 2

Comparison of UML support for each verification and validation tool.
Relationship name HOL-OCL UMLtoCSP Alloy UML2Alloy USE MOVA
Abstraction No No No No No No
Aggregation Yes No No Yes Yes No
Association Yes Yes Yes Yes Yes Yes
Association classes Yes Yes Yes Yes Yes No
Binding No No No No No No
Composition association Yes No No No No No
Dependency No No No No No No
Generalization Yes Yes Yes Yes Yes Yes
Interface realization No No No No No No
Instantiation No No No No No No
Realization No No No No No No
Usage No No No No No No
𝑁 -ary No No No No Yes No