gem-graph-server/debian/var/models/example.xml

119 lines
4.7 KiB
XML
Raw Normal View History

2021-09-18 16:44:10 +02:00
<?xml version="1.0" encoding="UTF-8"?>
2021-09-21 15:55:18 +02:00
<gem-graph-model version="0.1">
2021-09-19 22:39:47 +02:00
2021-09-21 15:55:18 +02:00
<!-- Model identity informations -->
2021-09-18 16:44:10 +02:00
<identity>
2021-09-21 15:55:18 +02:00
<name>Modèle de test</name>
<owner>Gaston Lagaffe</owner>
<owner_id>2</owner_id>
2021-09-18 16:44:10 +02:00
<date>1629830000</date>
2021-09-21 15:55:18 +02:00
2021-09-18 16:44:10 +02:00
<version>1.0</version>
2021-09-19 22:39:47 +02:00
<ref id="texte" date="1629830000" author="Jean" lang="en">Ref</ref>
2021-09-21 15:55:18 +02:00
</identity>
2021-09-19 22:39:47 +02:00
2021-09-21 15:55:18 +02:00
<!-- Model parameters -->
<parameters id="texte" date="0" author="Gaston Lagaffe">
<simulation>
<max_thread>0</max_thread>
<max_cycles>13</max_cycles>
2021-09-19 22:39:47 +02:00
2021-09-21 15:55:18 +02:00
</simulation>
<space-param>
<dimension>1</dimension>
2021-09-28 17:40:34 +02:00
<size x="12" y="0" z="0"/>
<site_multiplicity>2</site_multiplicity>
2021-09-19 22:39:47 +02:00
2021-09-21 15:55:18 +02:00
</space-param>
2021-09-19 22:39:47 +02:00
2021-09-21 15:55:18 +02:00
</parameters>
2021-09-21 15:55:18 +02:00
<!-- Model objects definition -->
<objects id="texte" date="1629830000" author="Jean Sirmai">
<object id="dimer 1-1" date="1629830000" author="Jean Sirmai">
<arrow x="0" y="0" z="0" site="1" weight="1"/>
<arrow x="1" y="0" z="0" site="0" weight="1"/>
2021-09-21 15:55:18 +02:00
</object>
<object id="dimer 2-2" date="1629830000" author="Jean Sirmai">
<arrow x="0" y="0" z="0" site="1" weight="2"/>
<arrow x="1" y="0" z="0" site="0" weight="2"/>
2021-09-21 15:55:18 +02:00
</object>
<object id="dimer 3-3" date="1629830000" author="Jean Sirmai">
<arrow x="0" y="0" z="0" site="1" weight="3"/>
<arrow x="1" y="0" z="0" site="0" weight="3"/>
2021-09-21 15:55:18 +02:00
</object>
2021-09-18 19:50:06 +02:00
</objects>
2021-09-19 22:39:47 +02:00
2021-09-21 15:55:18 +02:00
<!-- Saved space description (initial space is sequence 0) -->
<savestates id="texte" date="1629830000" author="THE MATRIX">
<space id="initial" date="1629830000" author="Jean Sirmai" sequence="0">
<arrow x="0" y="0" z="0" site="1" weight="1"/>
<arrow x="1" y="0" z="0" site="0" weight="1"/>
<arrow x="10" y="0" z="0" site="1" weight="1"/>
<arrow x="11" y="0" z="0" site="0" weight="1"/>
<arrow x="20" y="0" z="0" site="1" weight="1"/>
<arrow x="21" y="0" z="0" site="0" weight="1"/>
</space>
</savestates>
<!-- Model transitions definition (rules) -->
<transitions id="texte" date="1629830000" author="Indécis">
<quote lang="en">As long as there is no client, transitions have to be edited by hand and should be in a 'human-readable' format</quote>
<transition id="move_a_dimer_to_east" date="1629830001" author="Alice" parent="root"
2021-09-21 15:55:18 +02:00
probability="1">
<quote id="texte" date="1629830000" author="Alice" lang="en"> Moves a dimer to east. </quote>
2021-09-21 15:55:18 +02:00
<if>
<arrow x="0" y="0" z="0" site="1" weight="1"/>
<arrow x="1" y="0" z="0" site="2" weight="1"> <quote lang="en">A dimer is identified at coords (0,1)</quote></arrow>
<arrow x="2" y="0" z="0" site="1" weight="0"> <quote lang="en">The east location next this dimer is empty </quote></arrow>
2021-09-21 15:55:18 +02:00
</if>
<then> <quote lang="en">Therefore I can (and I want to) move it to its next east location </quote>
2021-09-21 15:55:18 +02:00
<arrow x="0" y="0" z="0" site="1" weight="0"/>
<arrow x="1" y="0" z="0" site="2" weight="0"> <quote lang="en">The identified dimer no more exists ( :-(( </quote></arrow>
2021-09-21 15:55:18 +02:00
<arrow x="1" y="0" z="0" site="1" weight="1"/>
<arrow x="2" y="0" z="0" site="2" weight="1"> <quote lang="en">Happily, it is now rebuilt at its east location ( ;-)) </quote></arrow>
</then>
</transition>
<transition id="move_a_dimer_to_west" date="1629830001" author="Bob" parent="root"
probability="1">
<quote id="texte" date="1629830000" author="Bob" lang="en"> Moves a dimer to west. </quote>
<if>
<arrow x= "0" y="0" z="0" site="1" weight="1"/>
<arrow x= "1" y="0" z="0" site="2" weight="1"> <quote lang="en">A dimer is identified at coords (0,1)</quote></arrow>
<arrow x="-1" y="0" z="0" site="2" weight="0"> <quote lang="en">The west location next this dimer is empty </quote></arrow>
</if>
<then> <quote lang="en">Therefore I can (and I want to) move it to its next east location </quote>
<arrow x= "0" y="0" z="0" site="1" weight="0"/>
<arrow x= "1" y="0" z="0" site="2" weight="0"> <quote lang="en">The identified dimer no more exists ( :-(( </quote></arrow>
<arrow x= "0" y="0" z="0" site="2" weight="1"/>
<arrow x="-1" y="0" z="0" site="1" weight="1"> <quote lang="en">Happily, it is now rebuilt at its west location ( ;-)) </quote></arrow>
2021-09-21 15:55:18 +02:00
</then>
2021-09-21 15:55:18 +02:00
</transition>
</transitions>
2021-09-18 16:44:10 +02:00
</gem-graph-model>