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 |
|
|