ea
automata
Automaton
states
transitions
name
usedExtensionIds
id
module
State
automaton
incoming
outgoing
id
name
Transition
automaton
source
target
id
Module
automata
extensions
IExtendible
findExtension
id
updateExtension
extension
extensions
IExtension
owner
id
ExtendibleElement
ExtensionElement
IntegerExtension
value
StringExtension
value
StringListExtension
values
BooleanExtension
value
<?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="ea" nsURI="http://www.cwi.nl/ea" nsPrefix="org.ect.ea">
  <eSubpackages name="automata" nsURI="http://www.cwi.nl/ea/automata" nsPrefix="org.ect.ea.automata">
    <eClassifiers xsi:type="ecore:EClass" name="Automaton" eSuperTypes="#//extensions/ExtendibleElement">
      <eStructuralFeatures xsi:type="ecore:EReference" name="states" upperBound="-1"
          eType="#//automata/State" containment="true" eOpposite="#//automata/State/automaton"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="transitions" upperBound="-1"
          eType="#//automata/Transition" containment="true" eOpposite="#//automata/Transition/automaton"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="usedExtensionIds" upperBound="-1"
          eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="id" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"
          changeable="false" volatile="true" transient="true" derived="true"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="module" eType="#//automata/Module"
          eOpposite="#//automata/Module/automata"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="State" eSuperTypes="#//extensions/ExtendibleElement">
      <eStructuralFeatures xsi:type="ecore:EReference" name="automaton" eType="#//automata/Automaton"
          eOpposite="#//automata/Automaton/states"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="incoming" upperBound="-1"
          eType="#//automata/Transition" eOpposite="#//automata/Transition/target"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="outgoing" upperBound="-1"
          eType="#//automata/Transition" eOpposite="#//automata/Transition/source"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="id" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"
          changeable="false" volatile="true" transient="true" derived="true"/>
      <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="Transition" eSuperTypes="#//extensions/ExtendibleElement">
      <eStructuralFeatures xsi:type="ecore:EReference" name="automaton" eType="#//automata/Automaton"
          eOpposite="#//automata/Automaton/transitions"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="source" eType="#//automata/State"
          eOpposite="#//automata/State/outgoing"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="target" eType="#//automata/State"
          eOpposite="#//automata/State/incoming"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="id" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="Module">
      <eStructuralFeatures xsi:type="ecore:EReference" name="automata" upperBound="-1"
          eType="#//automata/Automaton" containment="true" eOpposite="#//automata/Automaton/module"/>
    </eClassifiers>
  </eSubpackages>
  <eSubpackages name="extensions" nsURI="http://www.cwi.nl/ea/extensions" nsPrefix="org.ect.ea.extensions">
    <eClassifiers xsi:type="ecore:EClass" name="IExtendible" abstract="true" interface="true">
      <eOperations name="findExtension" eType="#//extensions/IExtension">
        <eParameters name="id" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
      </eOperations>
      <eOperations name="updateExtension">
        <eParameters name="extension" eType="#//extensions/IExtension"/>
      </eOperations>
      <eStructuralFeatures xsi:type="ecore:EReference" name="extensions" upperBound="-1"
          eType="#//extensions/IExtension" containment="true" eOpposite="#//extensions/IExtension/owner"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="IExtension" abstract="true" interface="true">
      <eStructuralFeatures xsi:type="ecore:EReference" name="owner" eType="#//extensions/IExtendible"
          eOpposite="#//extensions/IExtendible/extensions"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="id" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="ExtendibleElement" abstract="true"
        eSuperTypes="#//extensions/IExtendible"/>
    <eClassifiers xsi:type="ecore:EClass" name="ExtensionElement" abstract="true"
        eSuperTypes="#//extensions/IExtension"/>
    <eClassifiers xsi:type="ecore:EClass" name="IntegerExtension" eSuperTypes="#//extensions/ExtensionElement">
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="StringExtension" eSuperTypes="#//extensions/ExtensionElement">
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="StringListExtension" eSuperTypes="#//extensions/ExtensionElement">
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="values" unique="false"
          upperBound="-1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="BooleanExtension" eSuperTypes="#//extensions/ExtensionElement">
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    </eClassifiers>
  </eSubpackages>
</ecore:EPackage>

{"directed":true,"nodes":[{"nsPrefix":"org.ect.ea","nsURI":"http://www.cwi.nl/ea","name":"ea","id":0,"eClass":"EPackage"},{"nsPrefix":"org.ect.ea.automata","nsURI":"http://www.cwi.nl/ea/automata","name":"automata","id":1,"eClass":"EPackage"},{"nsPrefix":"org.ect.ea.extensions","nsURI":"http://www.cwi.nl/ea/extensions","name":"extensions","id":2,"eClass":"EPackage"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Automaton","instanceClass":null,"abstract":false,"id":3,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"State","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":"Module","instanceClass":null,"abstract":false,"id":6,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ExtendibleElement","instanceClass":null,"abstract":true,"id":7,"interface":false,"eClass":"EClass"},{"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":"states","changeable":true,"resolveProxies":true,"lowerBound":0,"id":8,"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":"transitions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":9,"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":"name","changeable":true,"lowerBound":0,"iD":false,"id":10,"derived":false},{"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"usedExtensionIds","changeable":true,"lowerBound":0,"iD":false,"id":11,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":true,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":true,"unique":true,"name":"id","changeable":false,"lowerBound":0,"iD":false,"id":12,"derived":true},{"container":true,"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":"module","changeable":true,"resolveProxies":true,"lowerBound":0,"id":13,"derived":false},{"id":14,"eClass":"EGenericType"},{"id":15,"eClass":"EGenericType"},{"container":true,"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":"automaton","changeable":true,"resolveProxies":true,"lowerBound":0,"id":16,"derived":false},{"id":17,"eClass":"EGenericType"},{"container":true,"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":"automaton","changeable":true,"resolveProxies":true,"lowerBound":0,"id":18,"derived":false},{"id":19,"eClass":"EGenericType"},{"id":20,"eClass":"EGenericType"},{"id":21,"eClass":"EGenericType"},{"id":22,"eClass":"EGenericType"},{"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":"automata","changeable":true,"resolveProxies":true,"lowerBound":0,"id":23,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"incoming","changeable":true,"resolveProxies":true,"lowerBound":0,"id":24,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"outgoing","changeable":true,"resolveProxies":true,"lowerBound":0,"id":25,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":true,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":true,"unique":true,"name":"id","changeable":false,"lowerBound":0,"iD":false,"id":26,"derived":true},{"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":27,"derived":false},{"id":28,"eClass":"EGenericType"},{"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":"target","changeable":true,"resolveProxies":true,"lowerBound":0,"id":31,"derived":false},{"id":32,"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":33,"derived":false},{"id":34,"eClass":"EGenericType"},{"id":35,"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":"id","changeable":true,"lowerBound":0,"iD":false,"id":36,"derived":false},{"id":37,"eClass":"EGenericType"},{"id":38,"eClass":"EGenericType"},{"id":39,"eClass":"EGenericType"},{"id":40,"eClass":"EGenericType"},{"id":41,"eClass":"EGenericType"},{"id":42,"eClass":"EGenericType"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IExtendible","instanceClass":null,"abstract":true,"id":43,"interface":true,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IExtension","instanceClass":null,"abstract":true,"id":44,"interface":true,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ExtensionElement","instanceClass":null,"abstract":true,"id":45,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IntegerExtension","instanceClass":null,"abstract":false,"id":46,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"StringExtension","instanceClass":null,"abstract":false,"id":47,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"StringListExtension","instanceClass":null,"abstract":false,"id":48,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"BooleanExtension","instanceClass":null,"abstract":false,"id":49,"interface":false,"eClass":"EClass"},{"ordered":true,"upperBound":1,"unique":true,"name":"findExtension","lowerBound":0,"id":50,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"updateExtension","lowerBound":0,"id":51,"many":false,"required":false,"eClass":"EOperation"},{"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":"extensions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":52,"derived":false},{"id":53,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"id","lowerBound":0,"id":54,"many":false,"required":false,"eClass":"EParameter"},{"id":55,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"extension","lowerBound":0,"id":56,"many":false,"required":false,"eClass":"EParameter"},{"id":57,"eClass":"EGenericType"},{"id":58,"eClass":"EGenericType"},{"container":true,"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":"owner","changeable":true,"resolveProxies":true,"lowerBound":0,"id":59,"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":"id","changeable":true,"lowerBound":0,"iD":false,"id":60,"derived":false},{"id":61,"eClass":"EGenericType"},{"id":62,"eClass":"EGenericType"},{"id":63,"eClass":"EGenericType"},{"id":64,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":0,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"lowerBound":0,"iD":false,"id":65,"derived":false},{"id":66,"eClass":"EGenericType"},{"id":67,"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":"value","changeable":true,"lowerBound":0,"iD":false,"id":68,"derived":false},{"id":69,"eClass":"EGenericType"},{"id":70,"eClass":"EGenericType"},{"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":false,"name":"values","changeable":true,"lowerBound":0,"iD":false,"id":71,"derived":false},{"id":72,"eClass":"EGenericType"},{"id":73,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"lowerBound":0,"iD":false,"id":74,"derived":false},{"id":75,"eClass":"EGenericType"},{"id":76,"eClass":"EGenericType"}],"links":[{"source":0,"target":1},{"source":0,"target":2},{"source":1,"target":3},{"source":1,"target":4},{"source":1,"target":5},{"source":1,"target":6},{"source":1,"target":0},{"source":3,"target":1},{"source":3,"target":7},{"source":3,"target":8},{"source":3,"target":9},{"source":3,"target":10},{"source":3,"target":11},{"source":3,"target":12},{"source":3,"target":13},{"source":3,"target":14},{"source":8,"target":4},{"source":8,"target":15},{"source":8,"target":3},{"source":8,"target":16},{"source":15,"target":4},{"source":9,"target":5},{"source":9,"target":17},{"source":9,"target":3},{"source":9,"target":18},{"source":17,"target":5},{"source":10,"target":19},{"source":10,"target":3},{"source":11,"target":20},{"source":11,"target":3},{"source":12,"target":21},{"source":12,"target":3},{"source":13,"target":6},{"source":13,"target":22},{"source":13,"target":3},{"source":13,"target":23},{"source":22,"target":6},{"source":14,"target":7},{"source":4,"target":1},{"source":4,"target":7},{"source":4,"target":16},{"source":4,"target":24},{"source":4,"target":25},{"source":4,"target":26},{"source":4,"target":27},{"source":4,"target":28},{"source":16,"target":3},{"source":16,"target":29},{"source":16,"target":4},{"source":16,"target":8},{"source":29,"target":3},{"source":24,"target":5},{"source":24,"target":30},{"source":24,"target":4},{"source":24,"target":31},{"source":30,"target":5},{"source":25,"target":5},{"source":25,"target":32},{"source":25,"target":4},{"source":25,"target":33},{"source":32,"target":5},{"source":26,"target":34},{"source":26,"target":4},{"source":27,"target":35},{"source":27,"target":4},{"source":28,"target":7},{"source":5,"target":1},{"source":5,"target":7},{"source":5,"target":18},{"source":5,"target":33},{"source":5,"target":31},{"source":5,"target":36},{"source":5,"target":37},{"source":18,"target":3},{"source":18,"target":38},{"source":18,"target":5},{"source":18,"target":9},{"source":38,"target":3},{"source":33,"target":4},{"source":33,"target":39},{"source":33,"target":5},{"source":33,"target":25},{"source":39,"target":4},{"source":31,"target":4},{"source":31,"target":40},{"source":31,"target":5},{"source":31,"target":24},{"source":40,"target":4},{"source":36,"target":41},{"source":36,"target":5},{"source":37,"target":7},{"source":6,"target":1},{"source":6,"target":23},{"source":23,"target":3},{"source":23,"target":42},{"source":23,"target":6},{"source":23,"target":13},{"source":42,"target":3},{"source":2,"target":43},{"source":2,"target":44},{"source":2,"target":7},{"source":2,"target":45},{"source":2,"target":46},{"source":2,"target":47},{"source":2,"target":48},{"source":2,"target":49},{"source":2,"target":0},{"source":43,"target":2},{"source":43,"target":50},{"source":43,"target":51},{"source":43,"target":52},{"source":50,"target":44},{"source":50,"target":53},{"source":50,"target":43},{"source":50,"target":54},{"source":53,"target":44},{"source":54,"target":55},{"source":54,"target":50},{"source":51,"target":43},{"source":51,"target":56},{"source":56,"target":44},{"source":56,"target":57},{"source":56,"target":51},{"source":57,"target":44},{"source":52,"target":44},{"source":52,"target":58},{"source":52,"target":43},{"source":52,"target":59},{"source":58,"target":44},{"source":44,"target":2},{"source":44,"target":59},{"source":44,"target":60},{"source":59,"target":43},{"source":59,"target":61},{"source":59,"target":44},{"source":59,"target":52},{"source":61,"target":43},{"source":60,"target":62},{"source":60,"target":44},{"source":7,"target":2},{"source":7,"target":43},{"source":7,"target":63},{"source":63,"target":43},{"source":45,"target":2},{"source":45,"target":44},{"source":45,"target":64},{"source":64,"target":44},{"source":46,"target":2},{"source":46,"target":45},{"source":46,"target":65},{"source":46,"target":66},{"source":65,"target":67},{"source":65,"target":46},{"source":66,"target":45},{"source":47,"target":2},{"source":47,"target":45},{"source":47,"target":68},{"source":47,"target":69},{"source":68,"target":70},{"source":68,"target":47},{"source":69,"target":45},{"source":48,"target":2},{"source":48,"target":45},{"source":48,"target":71},{"source":48,"target":72},{"source":71,"target":73},{"source":71,"target":48},{"source":72,"target":45},{"source":49,"target":2},{"source":49,"target":45},{"source":49,"target":74},{"source":49,"target":75},{"source":74,"target":76},{"source":74,"target":49},{"source":75,"target":45}],"multigraph":true}