Research Article
Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams
Table 6
Efficiency analysis for UMLtoCSP and Alloy.
| UMLtoCSP | Alloy | Classes | Efficiency | Scope | Efficiency |
| 2 | 0.04 s | 2 | 0.172 s | 15 | 5008.76 s | 3 | 0.265 s | 50 | 3605.35 s | 4 | 0.453 s | 100 | Time-out | 5 | 0.663 s | 500 | Time-out | 6 | 1.015 s | 1000 | Time-out | 7 | 1.453 s | ⋮ | ⋮ | ⋮ | ⋮ | 1050 | Time-out | 1000 | Time-out |
|
|