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