Table 6: Efficiency analysis for UMLtoCSP and Alloy.

UMLtoCSPAlloy
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
1050Time-out 1000 Time-out