new CyberiadaML-GraphML graph examples

This commit is contained in:
Alexey Fedoseev
2024-04-08 17:35:44 +03:00
parent 2dcb773997
commit ef4c304e5e
2 changed files with 261 additions and 0 deletions

View File

@@ -0,0 +1,137 @@
<?xml version="1.0" encoding="UTF-8"?>
<graphml xmlns="http://graphml.graphdrawing.org/xmlns">
<data key="gFormat">Cyberiada-GraphML-1.0</data>
<key id="gFormat" for="graphml" attr.name="format" attr.type="string"/>
<key id="dName" for="graph" attr.name="name" attr.type="string"/>
<key id="dName" for="node" attr.name="name" attr.type="string"/>
<key id="dStateMachine" for="graph" attr.name="stateMachine" attr.type="string"/>
<key id="dSubmachineState" for="node" attr.name="submachineState" attr.type="string"/>
<key id="dGeometry" for="graph" attr.name="geometry"/>
<key id="dGeometry" for="node" attr.name="geometry"/>
<key id="dGeometry" for="edge" attr.name="geometry"/>
<key id="dSourcePoint" for="edge" attr.name="sourcePoint"/>
<key id="dTargetPoint" for="edge" attr.name="targetPoint"/>
<key id="dLabelGeometry" for="edge" attr.name="labelGeometry"/>
<key id="dNote" for="node" attr.name="note" attr.type="string"/>
<key id="dVertex" for="node" attr.name="vertex" attr.type="string"/>
<key id="dData" for="node" attr.name="data" attr.type="string"/>
<key id="dData" for="edge" attr.name="data" attr.type="string"/>
<key id="dMarkup" for="node" attr.name="markup" attr.type="string"/>
<key id="dColor" for="node" attr.name="color" attr.type="string"/>
<key id="dColor" for="edge" attr.name="color" attr.type="string"/>
<key id="dPivot" for="edge" attr.name="pivot" attr.type="string"/>
<key id="dChunk" for="edge" attr.name="chunk" attr.type="string"/>
<graph id="G1" edgedefault="directed">
<data key="dStateMachine"/>
<data key="dName">SM 1</data>
<node id="nMeta">
<data key="dNote">formal</data>
<data key="dName">CGML_META</data>
<data key="dData">standardVersion/ 1.0
platformName/ TestPlatform
name/ Two SMs</data>
</node>
<node id="n0">
<data key="dName">Composite State</data>
<data key="dGeometry">
<rect x="-578.005" y="438.187256"
width="672.532166" height="802.962646" /> </data>
<graph id="n0::">
<node id="n0::n1">
<data key="dName">Simple State 1</data>
<data key="dData">entry/
a();
exit/
</data>
<data key="dGeometry">
<rect x="-525.738953" y="609.6686"
width="468" height="170" /> </data>
</node>
<node id="n0::n2">
<data key="dName">Simple State 2</data>
<data key="dData">entry/
b();
exit/
</data>
<data key="dGeometry">
<rect x="-630.2711" y="206.705933"
width="468" height="170" /> </data>
</node>
</graph>
</node>
<node id="n3">
<data key="dName">Скан</data>
<data key="dData">entry/
c();
exit/
d();
</data>
<data key="dGeometry">
<rect x="-1582.03857" y="606.497559"
width="468" height="330" /> </data>
</node>
<node id="init">
<data key="dVertex">initial</data>
<data key="dGeometry">
<rect x="-1482.03857" y="606.497559"
width="20" height="20" /> </data>
</node>
<edge id="init-n3" source="init" target="n3"/>
<edge id="n0-n3" source="n0" target="n3">
<data key="dData">E1</data>
</edge>
<edge id="n0-n3" source="n0" target="n3">
<data key="dData">E2</data>
</edge>
<edge id="n3-n0::n1" source="n3" target="n0::n1">
<data key="dData">E3</data>
</edge>
<edge id="n0::n1-n0::n2" source="n0::n1" target="n0::n2">
<data key="dData">E4</data>
</edge>
<edge id="n0::n2-n0::n1" source="n0::n2" target="n0::n1">
<data key="dData">E5</data>
</edge>
</graph>
<graph id="G2" edgedefault="directed">
<data key="dStateMachine"/>
<data key="dName">SM 2</data>
<node id="n4">
<data key="dName">Composite State 2</data>
<data key="dGeometry">
<rect x="-578.005" y="438.187256" width="672.532166" height="802.962646" />
</data>
<graph id="n4::">
<node id="n4::n1">
<data key="dName">Simple State 4</data>
<data key="dData">entry/
e();
exit/</data>
<data key="dGeometry">
<rect x="-525.738953" y="609.6686" width="468" height="170" />
</data>
</node>
</graph>
</node>
<edge id="n4::n1-n4::n1" source="n4::n1" target="n4::n1">
<data key="dData">E4</data>
</edge>
</graph>
</graphml>