railway
RailwayElement
id
RailwayContainer
routes
regions
Region
sensors
elements
Route
active
follows
requires
entry
exit
Sensor
monitors
TrackElement
monitoredBy
connectsTo
Segment
length
semaphores
Switch
currentPosition
positions
SwitchPosition
position
route
target
Semaphore
signal
Position
FAILURE
FAILURE
STRAIGHT
STRAIGHT
DIVERGING
DIVERGING
Signal
FAILURE
FAILURE
STOP
STOP
GO
GO
<?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="railway" nsURI="http://www.semanticweb.org/ontologies/2015/trainbenchmark"
    nsPrefix="railway">
  <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
    <details key="bundleManifest" value="false"/>
    <details key="modelDirectory" value="trainbenchmark-format-emf-model/build/xcore/main"/>
    <details key="complianceLevel" value="8.0"/>
    <details key="basePackage" value="hu.bme.mit.trainbenchmark"/>
  </eAnnotations>
  <eClassifiers xsi:type="ecore:EClass" name="RailwayElement" abstract="true">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="id" unique="false" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="RailwayContainer">
    <eStructuralFeatures xsi:type="ecore:EReference" name="routes" upperBound="-1"
        eType="#//Route" containment="true" resolveProxies="false"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="regions" upperBound="-1"
        eType="#//Region" containment="true" resolveProxies="false"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Region" eSuperTypes="#//RailwayElement">
    <eStructuralFeatures xsi:type="ecore:EReference" name="sensors" upperBound="-1"
        eType="#//Sensor" containment="true" resolveProxies="false"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="elements" upperBound="-1"
        eType="#//TrackElement" containment="true" resolveProxies="false"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Route" eSuperTypes="#//RailwayElement">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="active" unique="false"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="follows" upperBound="-1"
        eType="#//SwitchPosition" containment="true" resolveProxies="false" eOpposite="#//SwitchPosition/route"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="requires" lowerBound="2"
        upperBound="-1" eType="#//Sensor"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="entry" eType="#//Semaphore"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="exit" eType="#//Semaphore"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Sensor" eSuperTypes="#//RailwayElement">
    <eStructuralFeatures xsi:type="ecore:EReference" name="monitors" upperBound="-1"
        eType="#//TrackElement" eOpposite="#//TrackElement/monitoredBy"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="TrackElement" abstract="true" eSuperTypes="#//RailwayElement">
    <eStructuralFeatures xsi:type="ecore:EReference" name="monitoredBy" upperBound="-1"
        eType="#//Sensor" eOpposite="#//Sensor/monitors"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="connectsTo" upperBound="-1"
        eType="#//TrackElement"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Segment" eSuperTypes="#//TrackElement">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="length" unique="false"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="semaphores" upperBound="-1"
        eType="#//Semaphore" containment="true" resolveProxies="false"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Switch" eSuperTypes="#//TrackElement">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="currentPosition" unique="false"
        eType="#//Position"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="positions" upperBound="-1"
        eType="#//SwitchPosition" eOpposite="#//SwitchPosition/target"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="SwitchPosition" eSuperTypes="#//RailwayElement">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="position" unique="false"
        eType="#//Position"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="route" eType="#//Route"
        eOpposite="#//Route/follows"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="target" eType="#//Switch"
        eOpposite="#//Switch/positions"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Semaphore" eSuperTypes="#//RailwayElement">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="signal" unique="false"
        eType="#//Signal"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EEnum" name="Position">
    <eLiterals name="FAILURE"/>
    <eLiterals name="STRAIGHT" value="1"/>
    <eLiterals name="DIVERGING" value="2"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EEnum" name="Signal">
    <eLiterals name="FAILURE"/>
    <eLiterals name="STOP" value="1"/>
    <eLiterals name="GO" value="2"/>
  </eClassifiers>
</ecore:EPackage>

{"directed":true,"nodes":[{"nsPrefix":"railway","nsURI":"http://www.semanticweb.org/ontologies/2015/trainbenchmark","name":"railway","id":0,"eClass":"EPackage"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RailwayElement","instanceClass":null,"abstract":true,"id":1,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RailwayContainer","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":"Route","instanceClass":null,"abstract":false,"id":4,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Sensor","instanceClass":null,"abstract":false,"id":5,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TrackElement","instanceClass":null,"abstract":true,"id":6,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Segment","instanceClass":null,"abstract":false,"id":7,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Switch","instanceClass":null,"abstract":false,"id":8,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"SwitchPosition","instanceClass":null,"abstract":false,"id":9,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Semaphore","instanceClass":null,"abstract":false,"id":10,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"instanceClassName":null,"name":"Position","instanceClass":null,"id":11,"serializable":true,"eClass":"EEnum"},{"instanceTypeName":null,"instanceClassName":null,"name":"Signal","instanceClass":null,"id":12,"serializable":true,"eClass":"EEnum"},{"ordered":true,"upperBound":1,"defaultValue":0,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":false,"name":"id","changeable":true,"lowerBound":0,"iD":false,"id":13,"derived":false},{"id":14,"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":"routes","changeable":true,"resolveProxies":false,"lowerBound":0,"id":15,"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":false,"lowerBound":0,"id":16,"derived":false},{"id":17,"eClass":"EGenericType"},{"id":18,"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":"sensors","changeable":true,"resolveProxies":false,"lowerBound":0,"id":19,"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":"elements","changeable":true,"resolveProxies":false,"lowerBound":0,"id":20,"derived":false},{"id":21,"eClass":"EGenericType"},{"id":22,"eClass":"EGenericType"},{"id":23,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":false,"name":"active","changeable":true,"lowerBound":0,"iD":false,"id":24,"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":"follows","changeable":true,"resolveProxies":false,"lowerBound":0,"id":25,"derived":false},{"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":"requires","changeable":true,"resolveProxies":true,"lowerBound":2,"id":26,"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":"entry","changeable":true,"resolveProxies":true,"lowerBound":0,"id":27,"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":"exit","changeable":true,"resolveProxies":true,"lowerBound":0,"id":28,"derived":false},{"id":29,"eClass":"EGenericType"},{"id":30,"eClass":"EGenericType"},{"id":31,"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":"route","changeable":true,"resolveProxies":true,"lowerBound":0,"id":32,"derived":false},{"id":33,"eClass":"EGenericType"},{"id":34,"eClass":"EGenericType"},{"id":35,"eClass":"EGenericType"},{"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":"monitors","changeable":true,"resolveProxies":true,"lowerBound":0,"id":36,"derived":false},{"id":37,"eClass":"EGenericType"},{"id":38,"eClass":"EGenericType"},{"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":"monitoredBy","changeable":true,"resolveProxies":true,"lowerBound":0,"id":39,"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":"connectsTo","changeable":true,"resolveProxies":true,"lowerBound":0,"id":40,"derived":false},{"id":41,"eClass":"EGenericType"},{"id":42,"eClass":"EGenericType"},{"id":43,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":0,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":false,"name":"length","changeable":true,"lowerBound":0,"iD":false,"id":44,"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":"semaphores","changeable":true,"resolveProxies":false,"lowerBound":0,"id":45,"derived":false},{"id":46,"eClass":"EGenericType"},{"id":47,"eClass":"EGenericType"},{"id":48,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":false,"name":"currentPosition","changeable":true,"lowerBound":0,"iD":false,"id":49,"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":"positions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":50,"derived":false},{"id":51,"eClass":"EGenericType"},{"id":52,"eClass":"EGenericType"},{"id":53,"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":54,"derived":false},{"ordered":true,"upperBound":1,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":false,"name":"position","changeable":true,"lowerBound":0,"iD":false,"id":55,"derived":false},{"id":56,"eClass":"EGenericType"},{"id":57,"eClass":"EGenericType"},{"id":58,"eClass":"EGenericType"},{"id":59,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":false,"name":"signal","changeable":true,"lowerBound":0,"iD":false,"id":60,"derived":false},{"id":61,"eClass":"EGenericType"},{"id":62,"eClass":"EGenericType"},{"name":"FAILURE","id":63,"value":0,"literal":"FAILURE","eClass":"EEnumLiteral"},{"name":"STRAIGHT","id":64,"value":1,"literal":"STRAIGHT","eClass":"EEnumLiteral"},{"name":"DIVERGING","id":65,"value":2,"literal":"DIVERGING","eClass":"EEnumLiteral"},{"name":"FAILURE","id":66,"value":0,"literal":"FAILURE","eClass":"EEnumLiteral"},{"name":"STOP","id":67,"value":1,"literal":"STOP","eClass":"EEnumLiteral"},{"name":"GO","id":68,"value":2,"literal":"GO","eClass":"EEnumLiteral"}],"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":0,"target":11},{"source":0,"target":12},{"source":1,"target":0},{"source":1,"target":13},{"source":13,"target":14},{"source":13,"target":1},{"source":2,"target":0},{"source":2,"target":15},{"source":2,"target":16},{"source":15,"target":4},{"source":15,"target":17},{"source":15,"target":2},{"source":17,"target":4},{"source":16,"target":3},{"source":16,"target":18},{"source":16,"target":2},{"source":18,"target":3},{"source":3,"target":0},{"source":3,"target":1},{"source":3,"target":19},{"source":3,"target":20},{"source":3,"target":21},{"source":19,"target":5},{"source":19,"target":22},{"source":19,"target":3},{"source":22,"target":5},{"source":20,"target":6},{"source":20,"target":23},{"source":20,"target":3},{"source":23,"target":6},{"source":21,"target":1},{"source":4,"target":0},{"source":4,"target":1},{"source":4,"target":24},{"source":4,"target":25},{"source":4,"target":26},{"source":4,"target":27},{"source":4,"target":28},{"source":4,"target":29},{"source":24,"target":30},{"source":24,"target":4},{"source":25,"target":9},{"source":25,"target":31},{"source":25,"target":4},{"source":25,"target":32},{"source":31,"target":9},{"source":26,"target":5},{"source":26,"target":33},{"source":26,"target":4},{"source":33,"target":5},{"source":27,"target":10},{"source":27,"target":34},{"source":27,"target":4},{"source":34,"target":10},{"source":28,"target":10},{"source":28,"target":35},{"source":28,"target":4},{"source":35,"target":10},{"source":29,"target":1},{"source":5,"target":0},{"source":5,"target":1},{"source":5,"target":36},{"source":5,"target":37},{"source":36,"target":6},{"source":36,"target":38},{"source":36,"target":5},{"source":36,"target":39},{"source":38,"target":6},{"source":37,"target":1},{"source":6,"target":0},{"source":6,"target":1},{"source":6,"target":39},{"source":6,"target":40},{"source":6,"target":41},{"source":39,"target":5},{"source":39,"target":42},{"source":39,"target":6},{"source":39,"target":36},{"source":42,"target":5},{"source":40,"target":6},{"source":40,"target":43},{"source":40,"target":6},{"source":43,"target":6},{"source":41,"target":1},{"source":7,"target":0},{"source":7,"target":6},{"source":7,"target":44},{"source":7,"target":45},{"source":7,"target":46},{"source":44,"target":47},{"source":44,"target":7},{"source":45,"target":10},{"source":45,"target":48},{"source":45,"target":7},{"source":48,"target":10},{"source":46,"target":6},{"source":8,"target":0},{"source":8,"target":6},{"source":8,"target":49},{"source":8,"target":50},{"source":8,"target":51},{"source":49,"target":11},{"source":49,"target":52},{"source":49,"target":8},{"source":52,"target":11},{"source":50,"target":9},{"source":50,"target":53},{"source":50,"target":8},{"source":50,"target":54},{"source":53,"target":9},{"source":51,"target":6},{"source":9,"target":0},{"source":9,"target":1},{"source":9,"target":55},{"source":9,"target":32},{"source":9,"target":54},{"source":9,"target":56},{"source":55,"target":11},{"source":55,"target":57},{"source":55,"target":9},{"source":57,"target":11},{"source":32,"target":4},{"source":32,"target":58},{"source":32,"target":9},{"source":32,"target":25},{"source":58,"target":4},{"source":54,"target":8},{"source":54,"target":59},{"source":54,"target":9},{"source":54,"target":50},{"source":59,"target":8},{"source":56,"target":1},{"source":10,"target":0},{"source":10,"target":1},{"source":10,"target":60},{"source":10,"target":61},{"source":60,"target":12},{"source":60,"target":62},{"source":60,"target":10},{"source":62,"target":12},{"source":61,"target":1},{"source":11,"target":0},{"source":11,"target":63},{"source":11,"target":64},{"source":11,"target":65},{"source":63,"target":11},{"source":64,"target":11},{"source":65,"target":11},{"source":12,"target":0},{"source":12,"target":66},{"source":12,"target":67},{"source":12,"target":68},{"source":66,"target":12},{"source":67,"target":12},{"source":68,"target":12}],"multigraph":true}