test stereotyp valid test valid stereo type check uml model helper valid stereo type model activ graph factori test activ graph factori testabl model element 