MySM
Statemachine
transitions
actions
Region
name
states
initial
Vertex
outgoings
Pseudostate
psId
kind
Pseudokind
Initial
Initial
End
End
Exit
Exit
DeepHistory
DeepHistory
ShallowHistory
ShallowHistory
State
name
ComplexSate
region
Transition
tId
source
target
LabeledTransition
action
Action
name
<?xml version="1.0" encoding="UTF-8"?>
<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="MySM" nsURI="http://hs-fulda.de/ai/mdd/statemachine" nsPrefix="SM">
  <eAnnotations source="http://www.eclipse.org/OCL/Import">
    <details key="ecore" value="http://www.eclipse.org/emf/2002/Ecore"/>
  </eAnnotations>
  <eClassifiers xsi:type="ecore:EClass" name="Statemachine" eSuperTypes="#//Region">
    <eStructuralFeatures xsi:type="ecore:EReference" name="transitions" lowerBound="1"
        upperBound="-1" eType="#//Transition" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="actions" lowerBound="1"
        upperBound="-1" eType="#//Action" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Region">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="states" lowerBound="1"
        upperBound="-1" eType="#//State" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="initial" lowerBound="1"
        eType="#//Pseudostate" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Vertex">
    <eStructuralFeatures xsi:type="ecore:EReference" name="outgoings" lowerBound="1"
        upperBound="-1" eType="#//Transition" derived="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Pseudostate" eSuperTypes="#//Vertex">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="psId" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBigInteger"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="kind" lowerBound="1" eType="#//Pseudokind"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EEnum" name="Pseudokind">
    <eLiterals name="Initial"/>
    <eLiterals name="End" value="1"/>
    <eLiterals name="Exit" value="2"/>
    <eLiterals name="DeepHistory" value="3"/>
    <eLiterals name="ShallowHistory" value="4"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="State" eSuperTypes="#//Vertex">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ComplexSate" eSuperTypes="#//State">
    <eStructuralFeatures xsi:type="ecore:EReference" name="region" lowerBound="1"
        upperBound="-1" eType="#//Region" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Transition">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="tId" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBigInteger"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="source" lowerBound="1"
        eType="#//Vertex"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="target" lowerBound="1"
        eType="#//Vertex"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="LabeledTransition" eSuperTypes="#//Transition">
    <eStructuralFeatures xsi:type="ecore:EReference" name="action" lowerBound="1"
        eType="#//Action"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Action">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  </eClassifiers>
</ecore:EPackage>

{"directed":true,"nodes":[{"nsPrefix":"SM","nsURI":"http://hs-fulda.de/ai/mdd/statemachine","name":"MySM","id":0,"eClass":"EPackage"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Statemachine","instanceClass":null,"abstract":false,"id":1,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Region","instanceClass":null,"abstract":false,"id":2,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Vertex","instanceClass":null,"abstract":false,"id":3,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Pseudostate","instanceClass":null,"abstract":false,"id":4,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"instanceClassName":null,"name":"Pseudokind","instanceClass":null,"id":5,"serializable":true,"eClass":"EEnum"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"State","instanceClass":null,"abstract":false,"id":6,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ComplexSate","instanceClass":null,"abstract":false,"id":7,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Transition","instanceClass":null,"abstract":false,"id":8,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"LabeledTransition","instanceClass":null,"abstract":false,"id":9,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Action","instanceClass":null,"abstract":false,"id":10,"interface":false,"eClass":"EClass"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"transitions","changeable":true,"resolveProxies":true,"lowerBound":1,"id":11,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"actions","changeable":true,"resolveProxies":true,"lowerBound":1,"id":12,"derived":false},{"id":13,"eClass":"EGenericType"},{"id":14,"eClass":"EGenericType"},{"id":15,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"name","changeable":true,"lowerBound":1,"iD":false,"id":16,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"states","changeable":true,"resolveProxies":true,"lowerBound":1,"id":17,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"initial","changeable":true,"resolveProxies":true,"lowerBound":1,"id":18,"derived":false},{"id":19,"eClass":"EGenericType"},{"id":20,"eClass":"EGenericType"},{"id":21,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"outgoings","changeable":true,"resolveProxies":true,"lowerBound":1,"id":22,"derived":true},{"id":23,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"psId","changeable":true,"lowerBound":1,"iD":false,"id":24,"derived":false},{"ordered":true,"upperBound":1,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"kind","changeable":true,"lowerBound":1,"iD":false,"id":25,"derived":false},{"id":26,"eClass":"EGenericType"},{"id":27,"eClass":"EGenericType"},{"id":28,"eClass":"EGenericType"},{"name":"Initial","id":29,"value":0,"literal":"Initial","eClass":"EEnumLiteral"},{"name":"End","id":30,"value":1,"literal":"End","eClass":"EEnumLiteral"},{"name":"Exit","id":31,"value":2,"literal":"Exit","eClass":"EEnumLiteral"},{"name":"DeepHistory","id":32,"value":3,"literal":"DeepHistory","eClass":"EEnumLiteral"},{"name":"ShallowHistory","id":33,"value":4,"literal":"ShallowHistory","eClass":"EEnumLiteral"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"name","changeable":true,"lowerBound":1,"iD":false,"id":34,"derived":false},{"id":35,"eClass":"EGenericType"},{"id":36,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"region","changeable":true,"resolveProxies":true,"lowerBound":1,"id":37,"derived":false},{"id":38,"eClass":"EGenericType"},{"id":39,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"tId","changeable":true,"lowerBound":1,"iD":false,"id":40,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"source","changeable":true,"resolveProxies":true,"lowerBound":1,"id":41,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"target","changeable":true,"resolveProxies":true,"lowerBound":1,"id":42,"derived":false},{"id":43,"eClass":"EGenericType"},{"id":44,"eClass":"EGenericType"},{"id":45,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"action","changeable":true,"resolveProxies":true,"lowerBound":1,"id":46,"derived":false},{"id":47,"eClass":"EGenericType"},{"id":48,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"name","changeable":true,"lowerBound":1,"iD":false,"id":49,"derived":false},{"id":50,"eClass":"EGenericType"}],"links":[{"source":0,"target":1},{"source":0,"target":2},{"source":0,"target":3},{"source":0,"target":4},{"source":0,"target":5},{"source":0,"target":6},{"source":0,"target":7},{"source":0,"target":8},{"source":0,"target":9},{"source":0,"target":10},{"source":1,"target":0},{"source":1,"target":2},{"source":1,"target":11},{"source":1,"target":12},{"source":1,"target":13},{"source":11,"target":8},{"source":11,"target":14},{"source":11,"target":1},{"source":14,"target":8},{"source":12,"target":10},{"source":12,"target":15},{"source":12,"target":1},{"source":15,"target":10},{"source":13,"target":2},{"source":2,"target":0},{"source":2,"target":16},{"source":2,"target":17},{"source":2,"target":18},{"source":16,"target":19},{"source":16,"target":2},{"source":17,"target":6},{"source":17,"target":20},{"source":17,"target":2},{"source":20,"target":6},{"source":18,"target":4},{"source":18,"target":21},{"source":18,"target":2},{"source":21,"target":4},{"source":3,"target":0},{"source":3,"target":22},{"source":22,"target":8},{"source":22,"target":23},{"source":22,"target":3},{"source":23,"target":8},{"source":4,"target":0},{"source":4,"target":3},{"source":4,"target":24},{"source":4,"target":25},{"source":4,"target":26},{"source":24,"target":27},{"source":24,"target":4},{"source":25,"target":5},{"source":25,"target":28},{"source":25,"target":4},{"source":28,"target":5},{"source":26,"target":3},{"source":5,"target":0},{"source":5,"target":29},{"source":5,"target":30},{"source":5,"target":31},{"source":5,"target":32},{"source":5,"target":33},{"source":29,"target":5},{"source":30,"target":5},{"source":31,"target":5},{"source":32,"target":5},{"source":33,"target":5},{"source":6,"target":0},{"source":6,"target":3},{"source":6,"target":34},{"source":6,"target":35},{"source":34,"target":36},{"source":34,"target":6},{"source":35,"target":3},{"source":7,"target":0},{"source":7,"target":6},{"source":7,"target":37},{"source":7,"target":38},{"source":37,"target":2},{"source":37,"target":39},{"source":37,"target":7},{"source":39,"target":2},{"source":38,"target":6},{"source":8,"target":0},{"source":8,"target":40},{"source":8,"target":41},{"source":8,"target":42},{"source":40,"target":43},{"source":40,"target":8},{"source":41,"target":3},{"source":41,"target":44},{"source":41,"target":8},{"source":44,"target":3},{"source":42,"target":3},{"source":42,"target":45},{"source":42,"target":8},{"source":45,"target":3},{"source":9,"target":0},{"source":9,"target":8},{"source":9,"target":46},{"source":9,"target":47},{"source":46,"target":10},{"source":46,"target":48},{"source":46,"target":9},{"source":48,"target":10},{"source":47,"target":8},{"source":10,"target":0},{"source":10,"target":49},{"source":49,"target":50},{"source":49,"target":10}],"multigraph":true}