test notat provid refus instanti show right uml element test valid object check action state notat uml state machin fail notat provid did wrong uml element illeg argument except fine 