org.sintef.mofscript.uml2Extensions.parser
Classes 
MofScriptUMLModelChecker