[{"_class": "Datatype", "name": "String"}, {"_class": "Class", "name": "Statemachine", "features": [ {"_class": "Feature", "name": "name", "kind": "attribute", "lowerLimit": 1, "upperLimit": 1, "type": "String"}, {"_class": "Feature", "name": "states", "kind": "containment", "type": "State"}]}, {"_class": "Class", "name": "State", "abstract": true, "features": [ {"_class": "Feature", "name": "name", "kind": "attribute", "lowerLimit": 1, "upperLimit": 1, "type": "String"}, {"_class": "Feature", "name": "transitions", "kind": "containment", "upperLimit": -1, "type": "Transition"}]}, {"_class": "Class", "name": "SimpleState", "superTypes": "State"}, {"_class": "Class", "name": "CompositeState", "superTypes": "State", "features": {"_class": "Feature", "name": "subStates", "kind": "containment", "upperLimit": -1, "type": "State"}}, {"_class": "Class", "name": "Transition", "features": {"_class": "Feature", "name": "targetState", "kind": "reference", "lowerLimit": 1, "upperLimit": 1, "type": "State"}}]