zhu
StateMachine
region
TopRegion
states
regions
transitions
Region
name
states
regions
transitions
Transitions
firstTransition
followingTransitions
Transition
source
target
triggers
guard
behaviour
States
states
StatesSeparated
firstState
followingStates
State
name
Triggers
triggers
TriggersSeparated
firstTrigger
followingTriggers
<?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="zhu" nsURI="http://www.alma.org/mde/statemachine/Zhu" nsPrefix="zhu">
  <eClassifiers xsi:type="ecore:EClass" name="StateMachine">
    <eStructuralFeatures xsi:type="ecore:EReference" name="region" eType="#//TopRegion"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="TopRegion">
    <eStructuralFeatures xsi:type="ecore:EReference" name="states" eType="#//States"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="regions" upperBound="-1"
        eType="#//Region" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="transitions" eType="#//Transitions"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Region">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="states" eType="#//States"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="regions" upperBound="-1"
        eType="#//Region" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="transitions" eType="#//Transitions"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Transitions">
    <eStructuralFeatures xsi:type="ecore:EReference" name="firstTransition" eType="#//Transition"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="followingTransitions" upperBound="-1"
        eType="#//Transition" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Transition">
    <eStructuralFeatures xsi:type="ecore:EReference" name="source" eType="#//State"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="target" eType="#//State"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="triggers" eType="#//Triggers"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="guard" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="behaviour" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="States">
    <eStructuralFeatures xsi:type="ecore:EReference" name="states" eType="#//StatesSeparated"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="StatesSeparated">
    <eStructuralFeatures xsi:type="ecore:EReference" name="firstState" eType="#//State"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="followingStates" upperBound="-1"
        eType="#//State" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="State">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Triggers">
    <eStructuralFeatures xsi:type="ecore:EReference" name="triggers" eType="#//TriggersSeparated"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="TriggersSeparated">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="firstTrigger" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="followingTriggers" unique="false"
        upperBound="-1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  </eClassifiers>
</ecore:EPackage>

{"directed":true,"nodes":[{"nsPrefix":"zhu","nsURI":"http://www.alma.org/mde/statemachine/Zhu","name":"zhu","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":"TopRegion","instanceClass":null,"abstract":false,"id":2,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Region","instanceClass":null,"abstract":false,"id":3,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Transitions","instanceClass":null,"abstract":false,"id":4,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Transition","instanceClass":null,"abstract":false,"id":5,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"States","instanceClass":null,"abstract":false,"id":6,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"StatesSeparated","instanceClass":null,"abstract":false,"id":7,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"State","instanceClass":null,"abstract":false,"id":8,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Triggers","instanceClass":null,"abstract":false,"id":9,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TriggersSeparated","instanceClass":null,"abstract":false,"id":10,"interface":false,"eClass":"EClass"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"region","changeable":true,"resolveProxies":true,"lowerBound":0,"id":11,"derived":false},{"id":12,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"states","changeable":true,"resolveProxies":true,"lowerBound":0,"id":13,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"regions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":14,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"transitions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":15,"derived":false},{"id":16,"eClass":"EGenericType"},{"id":17,"eClass":"EGenericType"},{"id":18,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"name","changeable":true,"lowerBound":0,"iD":false,"id":19,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"states","changeable":true,"resolveProxies":true,"lowerBound":0,"id":20,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"regions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":21,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"transitions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":22,"derived":false},{"id":23,"eClass":"EGenericType"},{"id":24,"eClass":"EGenericType"},{"id":25,"eClass":"EGenericType"},{"id":26,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"firstTransition","changeable":true,"resolveProxies":true,"lowerBound":0,"id":27,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"followingTransitions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":28,"derived":false},{"id":29,"eClass":"EGenericType"},{"id":30,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"source","changeable":true,"resolveProxies":true,"lowerBound":0,"id":31,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"target","changeable":true,"resolveProxies":true,"lowerBound":0,"id":32,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"triggers","changeable":true,"resolveProxies":true,"lowerBound":0,"id":33,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"guard","changeable":true,"lowerBound":0,"iD":false,"id":34,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"behaviour","changeable":true,"lowerBound":0,"iD":false,"id":35,"derived":false},{"id":36,"eClass":"EGenericType"},{"id":37,"eClass":"EGenericType"},{"id":38,"eClass":"EGenericType"},{"id":39,"eClass":"EGenericType"},{"id":40,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"states","changeable":true,"resolveProxies":true,"lowerBound":0,"id":41,"derived":false},{"id":42,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"firstState","changeable":true,"resolveProxies":true,"lowerBound":0,"id":43,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"followingStates","changeable":true,"resolveProxies":true,"lowerBound":0,"id":44,"derived":false},{"id":45,"eClass":"EGenericType"},{"id":46,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"name","changeable":true,"lowerBound":0,"iD":false,"id":47,"derived":false},{"id":48,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"triggers","changeable":true,"resolveProxies":true,"lowerBound":0,"id":49,"derived":false},{"id":50,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"firstTrigger","changeable":true,"lowerBound":0,"iD":false,"id":51,"derived":false},{"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":false,"name":"followingTriggers","changeable":true,"lowerBound":0,"iD":false,"id":52,"derived":false},{"id":53,"eClass":"EGenericType"},{"id":54,"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":11},{"source":11,"target":2},{"source":11,"target":12},{"source":11,"target":1},{"source":12,"target":2},{"source":2,"target":0},{"source":2,"target":13},{"source":2,"target":14},{"source":2,"target":15},{"source":13,"target":6},{"source":13,"target":16},{"source":13,"target":2},{"source":16,"target":6},{"source":14,"target":3},{"source":14,"target":17},{"source":14,"target":2},{"source":17,"target":3},{"source":15,"target":4},{"source":15,"target":18},{"source":15,"target":2},{"source":18,"target":4},{"source":3,"target":0},{"source":3,"target":19},{"source":3,"target":20},{"source":3,"target":21},{"source":3,"target":22},{"source":19,"target":23},{"source":19,"target":3},{"source":20,"target":6},{"source":20,"target":24},{"source":20,"target":3},{"source":24,"target":6},{"source":21,"target":3},{"source":21,"target":25},{"source":21,"target":3},{"source":25,"target":3},{"source":22,"target":4},{"source":22,"target":26},{"source":22,"target":3},{"source":26,"target":4},{"source":4,"target":0},{"source":4,"target":27},{"source":4,"target":28},{"source":27,"target":5},{"source":27,"target":29},{"source":27,"target":4},{"source":29,"target":5},{"source":28,"target":5},{"source":28,"target":30},{"source":28,"target":4},{"source":30,"target":5},{"source":5,"target":0},{"source":5,"target":31},{"source":5,"target":32},{"source":5,"target":33},{"source":5,"target":34},{"source":5,"target":35},{"source":31,"target":8},{"source":31,"target":36},{"source":31,"target":5},{"source":36,"target":8},{"source":32,"target":8},{"source":32,"target":37},{"source":32,"target":5},{"source":37,"target":8},{"source":33,"target":9},{"source":33,"target":38},{"source":33,"target":5},{"source":38,"target":9},{"source":34,"target":39},{"source":34,"target":5},{"source":35,"target":40},{"source":35,"target":5},{"source":6,"target":0},{"source":6,"target":41},{"source":41,"target":7},{"source":41,"target":42},{"source":41,"target":6},{"source":42,"target":7},{"source":7,"target":0},{"source":7,"target":43},{"source":7,"target":44},{"source":43,"target":8},{"source":43,"target":45},{"source":43,"target":7},{"source":45,"target":8},{"source":44,"target":8},{"source":44,"target":46},{"source":44,"target":7},{"source":46,"target":8},{"source":8,"target":0},{"source":8,"target":47},{"source":47,"target":48},{"source":47,"target":8},{"source":9,"target":0},{"source":9,"target":49},{"source":49,"target":10},{"source":49,"target":50},{"source":49,"target":9},{"source":50,"target":10},{"source":10,"target":0},{"source":10,"target":51},{"source":10,"target":52},{"source":51,"target":53},{"source":51,"target":10},{"source":52,"target":54},{"source":52,"target":10}],"multigraph":true}