org.eclipse.mofscript.parser.uml2Extensions
Classes 
MofScriptUMLModelChecker