class FSM
		{
			attribute name : String[?];
			property ownedState#owningFSM : State[*|1] { ordered composes };
			property initialState : State[1];
			property finalState : State[+|1] { ordered };
			property attribute : Attribute[?];
			invariant AttributeTypeMustBeEEnum: attribute.type.oclIsTypeOf(ecore::EEnum);
		}
		class State
		{
			property literal : ecore::EEnumLiteral[?];
			property owningFSM#ownedState : FSM[1];
			invariant StateLiteralAlreadyDefinedInFSMAttributeType: owningFSM.attribute.type.oclAsType(ecore::EEnum)=literal.eEnum;
		}
		class Attribute
		{
			attribute name : AttributeName[1];
			property type : ecore::EClassifier[?]
		}