check metamodel correct test meta model check uml model helper meta model correct model state machin factori test state machin factori testabl model element 