Skip to content
Snippets Groups Projects
Commit 992a4773 authored by Johannes Mey's avatar Johannes Mey
Browse files

add test to trigger SwitchMonitored bug (unsuccessful)

parent 098eb937
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 349 additions and 0 deletions
trainbenchmark/models/railway-minimal-PosLengthRepair.xmi 0 → 100644
+ 12
− 0
View file @ 992a4773
<?xml version="1.0" encoding="ASCII"?>
<railway:RailwayContainer xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:railway="http://www.semanticweb.org/ontologies/2015/trainbenchmark">
<regions id="1">
<sensors id="2" monitors="//@regions.0/@elements.0 //@regions.0/@elements.1 //@regions.0/@elements.2 //@regions.0/@elements.3 //@regions.0/@elements.4 //@regions.0/@elements.5"/>
<elements xsi:type="railway:Segment" id="3" monitoredBy="//@regions.0/@sensors.0" connectsTo="//@regions.0/@elements.1"/>
<elements xsi:type="railway:Segment" id="4" monitoredBy="//@regions.0/@sensors.0" connectsTo="//@regions.0/@elements.2"/>
<elements xsi:type="railway:Segment" id="5" monitoredBy="//@regions.0/@sensors.0" connectsTo="//@regions.0/@elements.3"/>
<elements xsi:type="railway:Segment" id="6" monitoredBy="//@regions.0/@sensors.0" connectsTo="//@regions.0/@elements.4"/>
<elements xsi:type="railway:Segment" id="7" monitoredBy="//@regions.0/@sensors.0" connectsTo="//@regions.0/@elements.5"/>
<elements xsi:type="railway:Segment" id="8" monitoredBy="//@regions.0/@sensors.0"/>
</regions>
</railway:RailwayContainer>
trainbenchmark/models/railway-minimal-RouteSensorInject-jastadd-manual-intrinsic.json 0 → 100644
+ 1
− 0
View file @ 992a4773
{"k":"NT","id":"0","t":"RailwayContainer","c":{"Region":{"k":"List","c":[{"k":"NT","id":"1","t":"Region","c":{"TrackElement":{"k":"List","c":[{"k":"NT","id":"4","t":"Switch","c":{"_impl_monitoredBy":{"k":"RefList","c":[{"k":"i","t":"Sensor","v":3}]},"_impl_connectsTo":{"k":"RefList","c":[]},"CurrentPosition":{"k":"enum","t":"de.tudresden.inf.st.train.jastadd.ast.Position","v":"STRAIGHT"},"_impl_positions":{"k":"RefList","c":[]},"Id":{"k":"t","t":"int","v":4}}}]},"Id":{"k":"t","t":"int","v":1},"Sensor":{"k":"List","c":[{"k":"NT","id":"3","t":"Sensor","c":{"_impl_requiredBy":{"k":"RefList","c":[]},"Id":{"k":"t","t":"int","v":3},"_impl_monitors":{"k":"RefList","c":[{"k":"i","t":"TrackElement","v":4}]}}}]}}}]},"Route":{"k":"List","c":[{"k":"NT","id":"2","t":"Route","c":{"_impl_requires":{"k":"RefList","c":[]},"SwitchPosition":{"k":"List","c":[{"k":"NT","id":"5","t":"SwitchPosition","c":{"Position":{"k":"enum","t":"de.tudresden.inf.st.train.jastadd.ast.Position","v":"STRAIGHT"},"Id":{"k":"t","t":"int","v":5},"_impl_target":{"k":"i","t":"Switch","v":4}}}]},"_impl_entry":{"k":"i","t":"Semaphore","v":null},"Id":{"k":"t","t":"int","v":2},"_impl_exit":{"k":"i","t":"Semaphore","v":null}}}]}}}
\ No newline at end of file
trainbenchmark/models/railway-minimal-RouteSensorInject-jastadd-manual.json 0 → 100644
+ 1
− 0
View file @ 992a4773
{"k":"NT","t":"RailwayContainer","c":{"Region":{"k":"List","c":[{"k":"NT","t":"Region","c":{"TrackElement":{"k":"List","c":[{"k":"NT","t":"Switch","c":{"CurrentPosition":{"k":"enum","t":"de.tudresden.inf.st.train.jastadd.ast.Position","v":"STRAIGHT"},"ConnectedElement":{"k":"List","c":[]},"Id":{"k":"t","t":"int","v":4}}}]},"Id":{"k":"t","t":"int","v":1},"Sensor":{"k":"List","c":[{"k":"NT","t":"Sensor","c":{"MonitoredElement":{"k":"List","c":[{"k":"NT","t":"SwitchRef","c":{"Value":{"k":"t","t":"int","v":4}}}]},"Id":{"k":"t","t":"int","v":3}}}]}}}]},"Route":{"k":"List","c":[{"k":"NT","t":"Route","c":{"SwitchPosition":{"k":"List","c":[{"k":"NT","t":"SwitchPosition","c":{"Target":{"k":"NT","t":"SwitchRef","c":{"Value":{"k":"t","t":"int","v":4}}},"Position":{"k":"enum","t":"de.tudresden.inf.st.train.jastadd.ast.Position","v":"STRAIGHT"},"Id":{"k":"t","t":"int","v":5}}}]},"Entry":{"k":"Opt"},"RequiredSensor":{"k":"List","c":[]},"Id":{"k":"t","t":"int","v":2},"Exit":{"k":"Opt"}}}]}}}
\ No newline at end of file
trainbenchmark/models/railway-minimal-RouteSensorInject-jastadd-relast.json 0 → 100644
+ 59
− 0
View file @ 992a4773
{
"type" : "RailwayContainer",
"id" : "0",
"children" : {
"Route" : [ {
"type" : "Route",
"id" : "1",
"children" : {
"Id" : 2,
"Active" : false,
"SwitchPosition" : [ {
"type" : "SwitchPosition",
"id" : "2",
"children" : {
"Id" : 5,
"Position" : "STRAIGHT"
},
"relations" : {
"target" : "3"
}
} ]
},
"relations" : {
"requires" : [ ]
}
} ],
"Region" : [ {
"type" : "Region",
"id" : "4",
"children" : {
"Id" : 1,
"TrackElement" : [ {
"type" : "Switch",
"id" : "3",
"children" : {
"Id" : 4,
"CurrentPosition" : "STRAIGHT"
},
"relations" : {
"monitoredBy" : [ "5" ],
"connectsTo" : [ ],
"positions" : [ "2" ]
}
} ],
"Sensor" : [ {
"type" : "Sensor",
"id" : "5",
"children" : {
"Id" : 3
},
"relations" : {
"monitors" : [ "3" ],
"requiredBy" : [ ]
}
} ]
}
} ]
}
}
\ No newline at end of file
trainbenchmark/models/railway-minimal-RouteSensorInject-tinkerpop.graphml 0 → 100644
+ 1
− 0
View file @ 992a4773
<?xml version="1.0" ?><graphml xmlns="http://graphml.graphdrawing.org/xmlns" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://graphml.graphdrawing.org/xmlns http://graphml.graphdrawing.org/xmlns/1.1/graphml.xsd"><key id="labelV" for="node" attr.name="labelV" attr.type="string"></key><key id="currentPosition" for="node" attr.name="currentPosition" attr.type="string"></key><key id="position" for="node" attr.name="position" attr.type="string"></key><key id="labelE" for="edge" attr.name="labelE" attr.type="string"></key><graph id="G" edgedefault="directed"><node id="0"><data key="labelV">Region</data></node><node id="1"><data key="labelV">Route</data></node><node id="2"><data key="labelV">Sensor</data></node><node id="3"><data key="labelV">Switch</data><data key="currentPosition">STRAIGHT</data></node><node id="7"><data key="labelV">SwitchPosition</data><data key="position">STRAIGHT</data></node><edge id="5" source="0" target="2"><data key="labelE">sensors</data></edge><edge id="6" source="0" target="3"><data key="labelE">elements</data></edge><edge id="9" source="7" target="3"><data key="labelE">target</data></edge><edge id="10" source="1" target="7"><data key="labelE">follows</data></edge><edge id="11" source="3" target="2"><data key="labelE">monitoredBy</data></edge></graph></graphml>
\ No newline at end of file
trainbenchmark/models/railway-minimal-RouteSensorInject.xmi 0 → 100644
+ 10
− 0
View file @ 992a4773
<?xml version="1.0" encoding="ASCII"?>
<railway:RailwayContainer xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:railway="http://www.semanticweb.org/ontologies/2015/trainbenchmark">
<routes id="2">
<follows id="5" position="STRAIGHT" target="//@regions.0/@elements.0"/>
</routes>
<regions id="1">
<sensors id="3" monitors="//@regions.0/@elements.0"/>
<elements xsi:type="railway:Switch" id="4" monitoredBy="//@regions.0/@sensors.0" currentPosition="STRAIGHT" positions="//@routes.0/@follows.0"/>
</regions>
</railway:RailwayContainer>
trainbenchmark/models/railway-minimal-RouteSensorRepair-jastadd-manual-intrinsic.json 0 → 100644
+ 1
− 0
View file @ 992a4773
{"k":"NT","id":"0","t":"RailwayContainer","c":{"Region":{"k":"List","c":[{"k":"NT","id":"1","t":"Region","c":{"TrackElement":{"k":"List","c":[{"k":"NT","id":"4","t":"Switch","c":{"_impl_monitoredBy":{"k":"RefList","c":[{"k":"i","t":"Sensor","v":3}]},"_impl_connectsTo":{"k":"RefList","c":[]},"CurrentPosition":{"k":"enum","t":"de.tudresden.inf.st.train.jastadd.ast.Position","v":"STRAIGHT"},"_impl_positions":{"k":"RefList","c":[]},"Id":{"k":"t","t":"int","v":4}}}]},"Id":{"k":"t","t":"int","v":1},"Sensor":{"k":"List","c":[{"k":"NT","id":"3","t":"Sensor","c":{"_impl_requiredBy":{"k":"RefList","c":[]},"Id":{"k":"t","t":"int","v":3},"_impl_monitors":{"k":"RefList","c":[{"k":"i","t":"TrackElement","v":4}]}}}]}}}]},"Route":{"k":"List","c":[{"k":"NT","id":"2","t":"Route","c":{"_impl_requires":{"k":"RefList","c":[]},"SwitchPosition":{"k":"List","c":[{"k":"NT","id":"5","t":"SwitchPosition","c":{"Position":{"k":"enum","t":"de.tudresden.inf.st.train.jastadd.ast.Position","v":"STRAIGHT"},"Id":{"k":"t","t":"int","v":5},"_impl_target":{"k":"i","t":"Switch","v":4}}}]},"_impl_entry":{"k":"i","t":"Semaphore","v":null},"Id":{"k":"t","t":"int","v":2},"_impl_exit":{"k":"i","t":"Semaphore","v":null}}}]}}}
\ No newline at end of file
trainbenchmark/models/railway-minimal-RouteSensorRepair-jastadd-manual.json 0 → 100644
+ 1
− 0
View file @ 992a4773
{"k":"NT","t":"RailwayContainer","c":{"Region":{"k":"List","c":[{"k":"NT","t":"Region","c":{"TrackElement":{"k":"List","c":[{"k":"NT","t":"Switch","c":{"CurrentPosition":{"k":"enum","t":"de.tudresden.inf.st.train.jastadd.ast.Position","v":"STRAIGHT"},"ConnectedElement":{"k":"List","c":[]},"Id":{"k":"t","t":"int","v":4}}}]},"Id":{"k":"t","t":"int","v":1},"Sensor":{"k":"List","c":[{"k":"NT","t":"Sensor","c":{"MonitoredElement":{"k":"List","c":[{"k":"NT","t":"SwitchRef","c":{"Value":{"k":"t","t":"int","v":4}}}]},"Id":{"k":"t","t":"int","v":3}}}]}}}]},"Route":{"k":"List","c":[{"k":"NT","t":"Route","c":{"SwitchPosition":{"k":"List","c":[{"k":"NT","t":"SwitchPosition","c":{"Target":{"k":"NT","t":"SwitchRef","c":{"Value":{"k":"t","t":"int","v":4}}},"Position":{"k":"enum","t":"de.tudresden.inf.st.train.jastadd.ast.Position","v":"STRAIGHT"},"Id":{"k":"t","t":"int","v":5}}}]},"Entry":{"k":"Opt"},"RequiredSensor":{"k":"List","c":[]},"Id":{"k":"t","t":"int","v":2},"Exit":{"k":"Opt"}}}]}}}
\ No newline at end of file
trainbenchmark/models/railway-minimal-RouteSensorRepair-jastadd-relast.json 0 → 100644
+ 59
− 0
View file @ 992a4773
{
"type" : "RailwayContainer",
"id" : "0",
"children" : {
"Route" : [ {
"type" : "Route",
"id" : "1",
"children" : {
"Id" : 2,
"Active" : false,
"SwitchPosition" : [ {
"type" : "SwitchPosition",
"id" : "2",
"children" : {
"Id" : 5,
"Position" : "STRAIGHT"
},
"relations" : {
"target" : "3"
}
} ]
},
"relations" : {
"requires" : [ ]
}
} ],
"Region" : [ {
"type" : "Region",
"id" : "4",
"children" : {
"Id" : 1,
"TrackElement" : [ {
"type" : "Switch",
"id" : "3",
"children" : {
"Id" : 4,
"CurrentPosition" : "STRAIGHT"
},
"relations" : {
"monitoredBy" : [ "5" ],
"connectsTo" : [ ],
"positions" : [ "2" ]
}
} ],
"Sensor" : [ {
"type" : "Sensor",
"id" : "5",
"children" : {
"Id" : 3
},
"relations" : {
"monitors" : [ "3" ],
"requiredBy" : [ ]
}
} ]
}
} ]
}
}
\ No newline at end of file
trainbenchmark/models/railway-minimal-RouteSensorRepair-tinkerpop.graphml 0 → 100644
+ 1
− 0
View file @ 992a4773
<?xml version="1.0" ?><graphml xmlns="http://graphml.graphdrawing.org/xmlns" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://graphml.graphdrawing.org/xmlns http://graphml.graphdrawing.org/xmlns/1.1/graphml.xsd"><key id="labelV" for="node" attr.name="labelV" attr.type="string"></key><key id="currentPosition" for="node" attr.name="currentPosition" attr.type="string"></key><key id="position" for="node" attr.name="position" attr.type="string"></key><key id="labelE" for="edge" attr.name="labelE" attr.type="string"></key><graph id="G" edgedefault="directed"><node id="0"><data key="labelV">Region</data></node><node id="1"><data key="labelV">Route</data></node><node id="2"><data key="labelV">Sensor</data></node><node id="3"><data key="labelV">Switch</data><data key="currentPosition">STRAIGHT</data></node><node id="7"><data key="labelV">SwitchPosition</data><data key="position">STRAIGHT</data></node><edge id="5" source="0" target="2"><data key="labelE">sensors</data></edge><edge id="6" source="0" target="3"><data key="labelE">elements</data></edge><edge id="9" source="7" target="3"><data key="labelE">target</data></edge><edge id="10" source="1" target="7"><data key="labelE">follows</data></edge><edge id="11" source="3" target="2"><data key="labelE">monitoredBy</data></edge></graph></graphml>
\ No newline at end of file
trainbenchmark/models/railway-minimal-RouteSensorRepair.xmi 0 → 100644
+ 10
− 0
View file @ 992a4773
<?xml version="1.0" encoding="ASCII"?>
<railway:RailwayContainer xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:railway="http://www.semanticweb.org/ontologies/2015/trainbenchmark">
<routes id="2">
<follows id="5" position="STRAIGHT" target="//@regions.0/@elements.0"/>
</routes>
<regions id="1">
<sensors id="3" monitors="//@regions.0/@elements.0"/>
<elements xsi:type="railway:Switch" id="4" monitoredBy="//@regions.0/@sensors.0" currentPosition="STRAIGHT" positions="//@routes.0/@follows.0"/>
</regions>
</railway:RailwayContainer>
trainbenchmark/models/railway-minimal-SemaphoreNeighborInject-jastadd-manual-intrinsic.json 0 → 100644
+ 1
− 0
View file @ 992a4773
{"k":"NT","id":"0","t":"RailwayContainer","c":{"Region":{"k":"List","c":[{"k":"NT","id":"1","t":"Region","c":{"TrackElement":{"k":"List","c":[{"k":"NT","id":"7","t":"Segment","c":{"_impl_monitoredBy":{"k":"RefList","c":[{"k":"i","t":"Sensor","v":5}]},"_impl_connectsTo":{"k":"RefList","c":[{"k":"i","t":"TrackElement","v":8}]},"Id":{"k":"t","t":"int","v":7},"Semaphore":{"k":"List","c":[{"k":"NT","id":"2","t":"Semaphore","c":{"Signal":{"k":"enum","t":"de.tudresden.inf.st.train.jastadd.ast.Signal","v":"GO"},"Id":{"k":"t","t":"int","v":2}}}]}}},{"k":"NT","id":"8","t":"Segment","c":{"_impl_monitoredBy":{"k":"RefList","c":[{"k":"i","t":"Sensor","v":6}]},"_impl_connectsTo":{"k":"RefList","c":[]},"Id":{"k":"t","t":"int","v":8},"Semaphore":{"k":"List","c":[]}}}]},"Id":{"k":"t","t":"int","v":1},"Sensor":{"k":"List","c":[{"k":"NT","id":"5","t":"Sensor","c":{"_impl_requiredBy":{"k":"RefList","c":[{"k":"i","t":"Route","v":3}]},"Id":{"k":"t","t":"int","v":5},"_impl_monitors":{"k":"RefList","c":[{"k":"i","t":"TrackElement","v":7}]}}},{"k":"NT","id":"6","t":"Sensor","c":{"_impl_requiredBy":{"k":"RefList","c":[{"k":"i","t":"Route","v":4}]},"Id":{"k":"t","t":"int","v":6},"_impl_monitors":{"k":"RefList","c":[{"k":"i","t":"TrackElement","v":8}]}}}]}}}]},"Route":{"k":"List","c":[{"k":"NT","id":"3","t":"Route","c":{"_impl_requires":{"k":"RefList","c":[{"k":"i","t":"Sensor","v":5}]},"SwitchPosition":{"k":"List","c":[]},"_impl_entry":{"k":"i","t":"Semaphore","v":null},"Id":{"k":"t","t":"int","v":3},"_impl_exit":{"k":"i","t":"Semaphore","v":2}}},{"k":"NT","id":"4","t":"Route","c":{"_impl_requires":{"k":"RefList","c":[{"k":"i","t":"Sensor","v":6}]},"SwitchPosition":{"k":"List","c":[]},"_impl_entry":{"k":"i","t":"Semaphore","v":null},"Id":{"k":"t","t":"int","v":4},"_impl_exit":{"k":"i","t":"Semaphore","v":null}}}]}}}
\ No newline at end of file
trainbenchmark/models/railway-minimal-SemaphoreNeighborInject-jastadd-manual.json 0 → 100644
+ 1
− 0
View file @ 992a4773
{"k":"NT","t":"RailwayContainer","c":{"Region":{"k":"List","c":[{"k":"NT","t":"Region","c":{"TrackElement":{"k":"List","c":[{"k":"NT","t":"Segment","c":{"ConnectedElement":{"k":"List","c":[{"k":"NT","t":"SegmentRef","c":{"Value":{"k":"t","t":"int","v":8}}}]},"Id":{"k":"t","t":"int","v":7},"Semaphore":{"k":"List","c":[{"k":"NT","t":"Semaphore","c":{"Signal":{"k":"enum","t":"de.tudresden.inf.st.train.jastadd.ast.Signal","v":"GO"},"Id":{"k":"t","t":"int","v":2}}}]}}},{"k":"NT","t":"Segment","c":{"ConnectedElement":{"k":"List","c":[]},"Id":{"k":"t","t":"int","v":8},"Semaphore":{"k":"List","c":[]}}}]},"Id":{"k":"t","t":"int","v":1},"Sensor":{"k":"List","c":[{"k":"NT","t":"Sensor","c":{"MonitoredElement":{"k":"List","c":[{"k":"NT","t":"SegmentRef","c":{"Value":{"k":"t","t":"int","v":7}}}]},"Id":{"k":"t","t":"int","v":5}}},{"k":"NT","t":"Sensor","c":{"MonitoredElement":{"k":"List","c":[{"k":"NT","t":"SegmentRef","c":{"Value":{"k":"t","t":"int","v":8}}}]},"Id":{"k":"t","t":"int","v":6}}}]}}}]},"Route":{"k":"List","c":[{"k":"NT","t":"Route","c":{"SwitchPosition":{"k":"List","c":[]},"Entry":{"k":"Opt"},"RequiredSensor":{"k":"List","c":[{"k":"NT","t":"SensorRef","c":{"Value":{"k":"t","t":"int","v":5}}}]},"Id":{"k":"t","t":"int","v":3},"Exit":{"k":"Opt","c":{"k":"NT","t":"SemaphoreRef","c":{"Value":{"k":"t","t":"int","v":2}}}}}},{"k":"NT","t":"Route","c":{"SwitchPosition":{"k":"List","c":[]},"Entry":{"k":"Opt"},"RequiredSensor":{"k":"List","c":[{"k":"NT","t":"SensorRef","c":{"Value":{"k":"t","t":"int","v":6}}}]},"Id":{"k":"t","t":"int","v":4},"Exit":{"k":"Opt"}}}]}}}
\ No newline at end of file
trainbenchmark/models/railway-minimal-SemaphoreNeighborInject-jastadd-relast.json 0 → 100644
+ 87
− 0
View file @ 992a4773
{
"type" : "RailwayContainer",
"id" : "0",
"children" : {
"Route" : [ {
"type" : "Route",
"id" : "1",
"children" : {
"Id" : 3,
"Active" : false
},
"relations" : {
"exit" : "2",
"requires" : [ "3" ]
}
}, {
"type" : "Route",
"id" : "4",
"children" : {
"Id" : 4,
"Active" : false
},
"relations" : {
"requires" : [ "5" ]
}
} ],
"Region" : [ {
"type" : "Region",
"id" : "6",
"children" : {
"Id" : 1,
"TrackElement" : [ {
"type" : "Segment",
"id" : "7",
"children" : {
"Id" : 7,
"Length" : 0,
"Semaphore" : [ {
"type" : "Semaphore",
"id" : "2",
"children" : {
"Id" : 2,
"Signal" : "GO"
}
} ]
},
"relations" : {
"monitoredBy" : [ "3" ],
"connectsTo" : [ "8" ]
}
}, {
"type" : "Segment",
"id" : "8",
"children" : {
"Id" : 8,
"Length" : 0
},
"relations" : {
"monitoredBy" : [ "5" ],
"connectsTo" : [ ]
}
} ],
"Sensor" : [ {
"type" : "Sensor",
"id" : "3",
"children" : {
"Id" : 5
},
"relations" : {
"monitors" : [ "7" ],
"requiredBy" : [ "1" ]
}
}, {
"type" : "Sensor",
"id" : "5",
"children" : {
"Id" : 6
},
"relations" : {
"monitors" : [ "8" ],
"requiredBy" : [ "4" ]
}
} ]
}
} ]
}
}
\ No newline at end of file
trainbenchmark/models/railway-minimal-SemaphoreNeighborInject-tinkerpop.graphml 0 → 100644
+ 1
− 0
View file @ 992a4773
<?xml version="1.0" ?><graphml xmlns="http://graphml.graphdrawing.org/xmlns" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://graphml.graphdrawing.org/xmlns http://graphml.graphdrawing.org/xmlns/1.1/graphml.xsd"><key id="labelV" for="node" attr.name="labelV" attr.type="string"></key><key id="signal" for="node" attr.name="signal" attr.type="string"></key><key id="labelE" for="edge" attr.name="labelE" attr.type="string"></key><graph id="G" edgedefault="directed"><node id="0"><data key="labelV">Region</data></node><node id="1"><data key="labelV">Semaphore</data><data key="signal">GO</data></node><node id="3"><data key="labelV">Route</data></node><node id="5"><data key="labelV">Route</data></node><node id="6"><data key="labelV">Sensor</data></node><node id="7"><data key="labelV">Sensor</data></node><node id="8"><data key="labelV">Segment</data></node><node id="9"><data key="labelV">Segment</data></node><edge id="16" source="5" target="7"><data key="labelE">requires</data></edge><edge id="17" source="8" target="6"><data key="labelE">monitoredBy</data></edge><edge id="18" source="9" target="7"><data key="labelE">monitoredBy</data></edge><edge id="19" source="8" target="9"><data key="labelE">connectsTo</data></edge><edge id="4" source="3" target="1"><data key="labelE">exit</data></edge><edge id="10" source="0" target="6"><data key="labelE">sensors</data></edge><edge id="11" source="0" target="7"><data key="labelE">sensors</data></edge><edge id="12" source="0" target="8"><data key="labelE">elements</data></edge><edge id="13" source="0" target="9"><data key="labelE">elements</data></edge><edge id="14" source="8" target="1"><data key="labelE">semaphores</data></edge><edge id="15" source="3" target="6"><data key="labelE">requires</data></edge></graph></graphml>
\ No newline at end of file
trainbenchmark/models/railway-minimal-SemaphoreNeighborInject.xmi 0 → 100644
+ 13
− 0
View file @ 992a4773
<?xml version="1.0" encoding="ASCII"?>
<railway:RailwayContainer xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:railway="http://www.semanticweb.org/ontologies/2015/trainbenchmark">
<routes id="3" requires="//@regions.0/@sensors.0" exit="//@regions.0/@elements.0/@semaphores.0"/>
<routes id="4" requires="//@regions.0/@sensors.1"/>
<regions id="1">
<sensors id="5" monitors="//@regions.0/@elements.0"/>
<sensors id="6" monitors="//@regions.0/@elements.1"/>
<elements xsi:type="railway:Segment" id="7" monitoredBy="//@regions.0/@sensors.0" connectsTo="//@regions.0/@elements.1">
<semaphores id="2" signal="GO"/>
</elements>
<elements xsi:type="railway:Segment" id="8" monitoredBy="//@regions.0/@sensors.1"/>
</regions>
</railway:RailwayContainer>
trainbenchmark/models/railway-minimal-SemaphoreNeighborRepair-jastadd-manual-intrinsic.json 0 → 100644
+ 1
− 0
View file @ 992a4773
{"k":"NT","id":"0","t":"RailwayContainer","c":{"Region":{"k":"List","c":[{"k":"NT","id":"1","t":"Region","c":{"TrackElement":{"k":"List","c":[{"k":"NT","id":"7","t":"Segment","c":{"_impl_monitoredBy":{"k":"RefList","c":[{"k":"i","t":"Sensor","v":5}]},"_impl_connectsTo":{"k":"RefList","c":[{"k":"i","t":"TrackElement","v":8}]},"Id":{"k":"t","t":"int","v":7},"Semaphore":{"k":"List","c":[{"k":"NT","id":"2","t":"Semaphore","c":{"Signal":{"k":"enum","t":"de.tudresden.inf.st.train.jastadd.ast.Signal","v":"GO"},"Id":{"k":"t","t":"int","v":2}}}]}}},{"k":"NT","id":"8","t":"Segment","c":{"_impl_monitoredBy":{"k":"RefList","c":[{"k":"i","t":"Sensor","v":6}]},"_impl_connectsTo":{"k":"RefList","c":[]},"Id":{"k":"t","t":"int","v":8},"Semaphore":{"k":"List","c":[]}}}]},"Id":{"k":"t","t":"int","v":1},"Sensor":{"k":"List","c":[{"k":"NT","id":"5","t":"Sensor","c":{"_impl_requiredBy":{"k":"RefList","c":[{"k":"i","t":"Route","v":3}]},"Id":{"k":"t","t":"int","v":5},"_impl_monitors":{"k":"RefList","c":[{"k":"i","t":"TrackElement","v":7}]}}},{"k":"NT","id":"6","t":"Sensor","c":{"_impl_requiredBy":{"k":"RefList","c":[{"k":"i","t":"Route","v":4}]},"Id":{"k":"t","t":"int","v":6},"_impl_monitors":{"k":"RefList","c":[{"k":"i","t":"TrackElement","v":8}]}}}]}}}]},"Route":{"k":"List","c":[{"k":"NT","id":"3","t":"Route","c":{"_impl_requires":{"k":"RefList","c":[{"k":"i","t":"Sensor","v":5}]},"SwitchPosition":{"k":"List","c":[]},"_impl_entry":{"k":"i","t":"Semaphore","v":null},"Id":{"k":"t","t":"int","v":3},"_impl_exit":{"k":"i","t":"Semaphore","v":2}}},{"k":"NT","id":"4","t":"Route","c":{"_impl_requires":{"k":"RefList","c":[{"k":"i","t":"Sensor","v":6}]},"SwitchPosition":{"k":"List","c":[]},"_impl_entry":{"k":"i","t":"Semaphore","v":null},"Id":{"k":"t","t":"int","v":4},"_impl_exit":{"k":"i","t":"Semaphore","v":null}}}]}}}
\ No newline at end of file
trainbenchmark/models/railway-minimal-SemaphoreNeighborRepair-jastadd-manual.json 0 → 100644
+ 1
− 0
View file @ 992a4773
{"k":"NT","t":"RailwayContainer","c":{"Region":{"k":"List","c":[{"k":"NT","t":"Region","c":{"TrackElement":{"k":"List","c":[{"k":"NT","t":"Segment","c":{"ConnectedElement":{"k":"List","c":[{"k":"NT","t":"SegmentRef","c":{"Value":{"k":"t","t":"int","v":8}}}]},"Id":{"k":"t","t":"int","v":7},"Semaphore":{"k":"List","c":[{"k":"NT","t":"Semaphore","c":{"Signal":{"k":"enum","t":"de.tudresden.inf.st.train.jastadd.ast.Signal","v":"GO"},"Id":{"k":"t","t":"int","v":2}}}]}}},{"k":"NT","t":"Segment","c":{"ConnectedElement":{"k":"List","c":[]},"Id":{"k":"t","t":"int","v":8},"Semaphore":{"k":"List","c":[]}}}]},"Id":{"k":"t","t":"int","v":1},"Sensor":{"k":"List","c":[{"k":"NT","t":"Sensor","c":{"MonitoredElement":{"k":"List","c":[{"k":"NT","t":"SegmentRef","c":{"Value":{"k":"t","t":"int","v":7}}}]},"Id":{"k":"t","t":"int","v":5}}},{"k":"NT","t":"Sensor","c":{"MonitoredElement":{"k":"List","c":[{"k":"NT","t":"SegmentRef","c":{"Value":{"k":"t","t":"int","v":8}}}]},"Id":{"k":"t","t":"int","v":6}}}]}}}]},"Route":{"k":"List","c":[{"k":"NT","t":"Route","c":{"SwitchPosition":{"k":"List","c":[]},"Entry":{"k":"Opt"},"RequiredSensor":{"k":"List","c":[{"k":"NT","t":"SensorRef","c":{"Value":{"k":"t","t":"int","v":5}}}]},"Id":{"k":"t","t":"int","v":3},"Exit":{"k":"Opt","c":{"k":"NT","t":"SemaphoreRef","c":{"Value":{"k":"t","t":"int","v":2}}}}}},{"k":"NT","t":"Route","c":{"SwitchPosition":{"k":"List","c":[]},"Entry":{"k":"Opt"},"RequiredSensor":{"k":"List","c":[{"k":"NT","t":"SensorRef","c":{"Value":{"k":"t","t":"int","v":6}}}]},"Id":{"k":"t","t":"int","v":4},"Exit":{"k":"Opt"}}}]}}}
\ No newline at end of file
trainbenchmark/models/railway-minimal-SemaphoreNeighborRepair-jastadd-relast.json 0 → 100644
+ 87
− 0
View file @ 992a4773
{
"type" : "RailwayContainer",
"id" : "0",
"children" : {
"Route" : [ {
"type" : "Route",
"id" : "1",
"children" : {
"Id" : 3,
"Active" : false
},
"relations" : {
"exit" : "2",
"requires" : [ "3" ]
}
}, {
"type" : "Route",
"id" : "4",
"children" : {
"Id" : 4,
"Active" : false
},
"relations" : {
"requires" : [ "5" ]
}
} ],
"Region" : [ {
"type" : "Region",
"id" : "6",
"children" : {
"Id" : 1,
"TrackElement" : [ {
"type" : "Segment",
"id" : "7",
"children" : {
"Id" : 7,
"Length" : 0,
"Semaphore" : [ {
"type" : "Semaphore",
"id" : "2",
"children" : {
"Id" : 2,
"Signal" : "GO"
}
} ]
},
"relations" : {
"monitoredBy" : [ "3" ],
"connectsTo" : [ "8" ]
}
}, {
"type" : "Segment",
"id" : "8",
"children" : {
"Id" : 8,
"Length" : 0
},
"relations" : {
"monitoredBy" : [ "5" ],
"connectsTo" : [ ]
}
} ],
"Sensor" : [ {
"type" : "Sensor",
"id" : "3",
"children" : {
"Id" : 5
},
"relations" : {
"monitors" : [ "7" ],
"requiredBy" : [ "1" ]
}
}, {
"type" : "Sensor",
"id" : "5",
"children" : {
"Id" : 6
},
"relations" : {
"monitors" : [ "8" ],
"requiredBy" : [ "4" ]
}
} ]
}
} ]
}
}
\ No newline at end of file
trainbenchmark/models/railway-minimal-SemaphoreNeighborRepair-tinkerpop.graphml 0 → 100644
+ 1
− 0
View file @ 992a4773
<?xml version="1.0" ?><graphml xmlns="http://graphml.graphdrawing.org/xmlns" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://graphml.graphdrawing.org/xmlns http://graphml.graphdrawing.org/xmlns/1.1/graphml.xsd"><key id="labelV" for="node" attr.name="labelV" attr.type="string"></key><key id="signal" for="node" attr.name="signal" attr.type="string"></key><key id="labelE" for="edge" attr.name="labelE" attr.type="string"></key><graph id="G" edgedefault="directed"><node id="0"><data key="labelV">Region</data></node><node id="1"><data key="labelV">Semaphore</data><data key="signal">GO</data></node><node id="3"><data key="labelV">Route</data></node><node id="5"><data key="labelV">Route</data></node><node id="6"><data key="labelV">Sensor</data></node><node id="7"><data key="labelV">Sensor</data></node><node id="8"><data key="labelV">Segment</data></node><node id="9"><data key="labelV">Segment</data></node><edge id="16" source="5" target="7"><data key="labelE">requires</data></edge><edge id="17" source="8" target="6"><data key="labelE">monitoredBy</data></edge><edge id="18" source="9" target="7"><data key="labelE">monitoredBy</data></edge><edge id="19" source="8" target="9"><data key="labelE">connectsTo</data></edge><edge id="4" source="3" target="1"><data key="labelE">exit</data></edge><edge id="10" source="0" target="6"><data key="labelE">sensors</data></edge><edge id="11" source="0" target="7"><data key="labelE">sensors</data></edge><edge id="12" source="0" target="8"><data key="labelE">elements</data></edge><edge id="13" source="0" target="9"><data key="labelE">elements</data></edge><edge id="14" source="8" target="1"><data key="labelE">semaphores</data></edge><edge id="15" source="3" target="6"><data key="labelE">requires</data></edge></graph></graphml>
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment