Hello,

I created a new Ecore metamodel based on UML and now I want to validate models 
against that metamodel.
So I am evaluating MDT OCL, oaW Check and Topcased OCL Model Checker.

How can I invoke OCL Model Checker programmatically ?

I saw the interface "org.topcased.validation.core.validators". But there won't 
go any OCL constraints, am I right ?

Regards,


Thomas




-- 
GMX Kostenlose Spiele: Einfach online spielen und Spaß haben mit Pastry Passion!
http://games.entertainment.gmx.net/de/entertainment/games/free/puzzle/6169196

_______________________________________________
Topcased-users mailing list
[email protected]
http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users

Reply via email to