138 lines
4.1 KiB
XML
138 lines
4.1 KiB
XML
<?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>
|