cpee 1.4.15 → 1.4.16

data/server/instances/29/properties.xml

@@ -1,156 +0,0 @@
-<properties xmlns="http://riddl.org/ns/common-patterns/properties/1.0">
-  <attributes>
-    <uuid>39388ed2-c5d6-4a61-aa12-5e0cc535dda0</uuid>
-    <info>Enter info here</info>
-    <modeltype>CPEE</modeltype>
-    <theme>default</theme>
-  </attributes>
-  <state>ready</state>
-  <handlerwrapper>DefaultHandlerWrapper</handlerwrapper>
-  <positions/>
-  <dataelements>
-    <persons>3</persons>
-    <card>Visa_12345</card>
-    <airline>null</airline>
-    <hotels>[]</hotels>
-    <from>Vienna</from>
-    <to>Prague</to>
-    <costs>0</costs>
-  </dataelements>
-  <endpoints>
-    <bookAir>http://gruppe.wst.univie.ac.at/~mangler/services/airline.php</bookAir>
-    <bookHotel>http://gruppe.wst.univie.ac.at/~mangler/services/hotel.php</bookHotel>
-    <approve>http://gruppe.wst.univie.ac.at/~mangler/services/approval.php</approve>
-  </endpoints>
-  <dsl>call :a1, :bookAir, parameters: { :label =&gt; "Book Airline", :method =&gt; :post, :arguments =&gt; [⭐(:name =&gt; :from, :value =&gt; data.from), ⭐(:name =&gt; :to, :value =&gt; data.to), ⭐(:name =&gt; :persons, :value =&gt; data.persons)] }, finalize: &lt;&lt;-END
-  data.airline = result.value('id')
-  data.costs += result.value('costs').to_f
-  status.update 1, 'Hotel'
-END
-parallel do
-  loop pre_test{data.persons ≠ 0}  do
-    parallel_branch data.persons do |p|
-      call :a2, :bookHotel, parameters: { :label =&gt; "Book Hotel", :method =&gt; :post, :arguments =&gt; [⭐(:name =&gt; :to, :value =&gt; data.to)] }, finalize: &lt;&lt;-END
-        data.hotels &lt;&lt; result.value('id')
-        data.costs += result.value('costs').to_f
-      END
-    end
-    manipulate :a3, &lt;&lt;-END
-      data.persons -= 1
-    END
-  end
-end
-choose :inclusive do
-  alternative "data.costs &gt; 700" do
-    call :a4, :approve, parameters: { :label =&gt; "Approve Hotel", :method =&gt; :post, :arguments =&gt; [⭐(:name =&gt; :costs, :value =&gt; data.costs)] }
-  end
-end
-</dsl>
-  <dslx>
-    <description xmlns="http://cpee.org/ns/description/1.0">
-      <call id="a1" endpoint="bookAir">
-        <parameters>
-          <label>Book Airline</label>
-          <method>:post</method>
-          <arguments>
-            <from>data.from</from>
-            <to>data.to</to>
-            <persons>data.persons</persons>
-          </arguments>
-        </parameters>
-        <finalize output="result">data.airline = result.value('id')
-data.costs += result.value('costs').to_f
-status.update 1, 'Hotel'</finalize>
-      </call>
-      <parallel>
-        <loop mode="pre_test" condition="data.persons &#x2260; 0">
-          <parallel_branch pass="data.persons" local="p">
-            <call id="a2" endpoint="bookHotel">
-              <parameters>
-                <label>Book Hotel</label>
-                <method>:post</method>
-                <arguments>
-                  <to>data.to</to>
-                </arguments>
-              </parameters>
-              <finalize output="result">data.hotels &lt;&lt; result.value('id')
-data.costs += result.value('costs').to_f</finalize>
-            </call>
-          </parallel_branch>
-          <manipulate id="a3">data.persons -= 1</manipulate>
-        </loop>
-      </parallel>
-      <choose mode="inclusive">
-        <alternative condition="data.costs &gt; 700">
-          <call id="a4" endpoint="approve">
-            <parameters>
-              <label>Approve Hotel</label>
-              <method>:post</method>
-              <arguments>
-                <costs>data.costs</costs>
-              </arguments>
-            </parameters>
-          </call>
-        </alternative>
-      </choose>
-    </description>
-  </dslx>
-  <status>
-    <id>0</id>
-    <message>undefined</message>
-  </status>
-  <description>
-    <description xmlns="http://cpee.org/ns/description/1.0">
-      <call id="a1" endpoint="bookAir">
-        <parameters>
-          <label>Book Airline</label>
-          <method>:post</method>
-          <arguments>
-            <from>data.from</from>
-            <to>data.to</to>
-            <persons>data.persons</persons>
-          </arguments>
-        </parameters>
-        <finalize output="result">data.airline = result.value('id')
-data.costs += result.value('costs').to_f
-status.update 1, 'Hotel'</finalize>
-      </call>
-      <parallel>
-        <loop mode="pre_test" condition="data.persons &#x2260; 0">
-          <parallel_branch pass="data.persons" local="p">
-            <call id="a2" endpoint="bookHotel">
-              <parameters>
-                <label>Book Hotel</label>
-                <method>:post</method>
-                <arguments>
-                  <to>data.to</to>
-                </arguments>
-              </parameters>
-              <finalize output="result">data.hotels &lt;&lt; result.value('id')
-data.costs += result.value('costs').to_f</finalize>
-            </call>
-          </parallel_branch>
-          <manipulate id="a3">data.persons -= 1</manipulate>
-        </loop>
-      </parallel>
-      <choose mode="inclusive">
-        <alternative condition="data.costs &gt; 700">
-          <call id="a4" endpoint="approve">
-            <parameters>
-              <label>Approve Hotel</label>
-              <method>:post</method>
-              <arguments>
-                <costs>data.costs</costs>
-              </arguments>
-            </parameters>
-          </call>
-        </alternative>
-      </choose>
-    </description>
-  </description>
-  <transformation>
-    <description type="copy"/>
-    <dataelements type="none"/>
-    <endpoints type="none"/>
-  </transformation>
-</properties>

data/server/instances/3/properties.xml

@@ -1,120 +0,0 @@
-<properties xmlns="http://riddl.org/ns/common-patterns/properties/1.0">
-  <attributes>
-    <info>Linear</info>
-    <modeltype>CPEE</modeltype>
-    <theme>default</theme>
-    <uuid>
-  
-  e3ee0cf2-f36c-45a0-9dc7-d5a2b54cc3bd
-  aaaaaaaa-f36c-45a0-9dc7-d5a2b54cc3bd
-
-  aaaaaaaa-f36c-45a0-9dc7-d5a2b54cc3bd
-</uuid>
-  </attributes>
-  <state>ready</state>
-  <handlerwrapper>DefaultHandlerWrapper</handlerwrapper>
-  <positions>
-    <a1>after</a1>
-  </positions>
-  <dataelements>
-    <x/>
-  </dataelements>
-  <endpoints>
-    <timeout>http://gruppe.wst.univie.ac.at/~mangler/services/timeout.php</timeout>
-  </endpoints>
-  <dsl>call :a1, :timeout, parameters: { :method =&gt; :post, :arguments =&gt; [⭐(:name =&gt; :timeout, :value =&gt; 2)] }, finalize: &lt;&lt;-END
-  data.x += "a1,"
-END
-call :a2, :timeout, parameters: { :method =&gt; :post, :arguments =&gt; [⭐(:name =&gt; :timeout, :value =&gt; 4)] }, finalize: &lt;&lt;-END
-  data.x += "a2,"
-END
-call :a3, :timeout, parameters: { :method =&gt; :post, :arguments =&gt; [⭐(:name =&gt; :timeout, :value =&gt; 4)] }, finalize: &lt;&lt;-END
-  data.x += "a3,"
-END
-</dsl>
-  <dslx>
-    <description xmlns="http://cpee.org/ns/description/1.0">
-      <!--{{{-->
-      <call id="a1" endpoint="timeout">
-        <parameters>
-          <!--{{{-->
-          <method>:post</method>
-          <arguments>
-            <timeout>2</timeout>
-          </arguments>
-        </parameters>
-        <!--}}}-->
-        <finalize output="result">data.x += "a1,"</finalize>
-      </call>
-      <call id="a2" endpoint="timeout">
-        <parameters>
-          <!--{{{-->
-          <method>:post</method>
-          <arguments>
-            <timeout>4</timeout>
-          </arguments>
-        </parameters>
-        <!--}}}-->
-        <finalize output="result">data.x += "a2,"</finalize>
-      </call>
-      <call id="a3" endpoint="timeout">
-        <parameters>
-          <!--{{{-->
-          <method>:post</method>
-          <arguments>
-            <timeout>4</timeout>
-          </arguments>
-        </parameters>
-        <!--}}}-->
-        <finalize output="result">data.x += "a3,"</finalize>
-      </call>
-    </description>
-  </dslx>
-  <status>
-    <id>0</id>
-    <message>undefined</message>
-  </status>
-  <description>
-    <description xmlns="http://cpee.org/ns/description/1.0">
-      <!--{{{-->
-      <call id="a1" endpoint="timeout">
-        <parameters>
-          <!--{{{-->
-          <method>:post</method>
-          <arguments>
-            <timeout>2</timeout>
-          </arguments>
-        </parameters>
-        <!--}}}-->
-        <finalize output="result">data.x += "a1,"</finalize>
-      </call>
-      <call id="a2" endpoint="timeout">
-        <parameters>
-          <!--{{{-->
-          <method>:post</method>
-          <arguments>
-            <timeout>4</timeout>
-          </arguments>
-        </parameters>
-        <!--}}}-->
-        <finalize output="result">data.x += "a2,"</finalize>
-      </call>
-      <call id="a3" endpoint="timeout">
-        <parameters>
-          <!--{{{-->
-          <method>:post</method>
-          <arguments>
-            <timeout>4</timeout>
-          </arguments>
-        </parameters>
-        <!--}}}-->
-        <finalize output="result">data.x += "a3,"</finalize>
-      </call>
-    </description>
-  </description>
-  <transformation>
-    <description type="copy"/>
-    <dataelements type="rest"/>
-    <endpoints type="rest"/>
-  </transformation>
-</properties>

data/server/instances/30/properties.xml

@@ -1,354 +0,0 @@
-<properties xmlns="http://riddl.org/ns/common-patterns/properties/1.0">
-  <attributes>
-    <uuid>55c9f9fe-d2eb-4494-a64c-f1bcbe459a55</uuid>
-    <info>a1200993</info>
-    <modeltype>Signavio</modeltype>
-    <theme>labels</theme>
-  </attributes>
-  <state>finished</state>
-  <handlerwrapper>DefaultHandlerWrapper</handlerwrapper>
-  <positions/>
-  <dataelements>
-    <passportStatus>0</passportStatus>
-    <visaStatus>0</visaStatus>
-    <jobStatus>0</jobStatus>
-    <money>0</money>
-    <adress>null</adress>
-  </dataelements>
-  <endpoints>
-    <timeout>http://gruppe.wst.univie.ac.at/~mangler/services/timeout.php</timeout>
-  </endpoints>
-  <dsl>call :a1, :timeout, parameters: { :label =&gt; "\"Save money for living expenses in Austria\"", :method =&gt; :post, :arguments =&gt; [⭐(:name =&gt; :timeout, :value =&gt; 2)] }, finalize: &lt;&lt;-END
-  data.money=10000
-END
-call :a2, :timeout, parameters: { :label =&gt; "\"Check if passport still valid\"", :method =&gt; :post, :arguments =&gt; [⭐(:name =&gt; :timeout, :value =&gt; 2)] }, finalize: &lt;&lt;-END
-  data.passportStatus=0
-END
-choose :exclusive do
-  alternative "data.passportStatus==0" do
-    call :a4, :timeout, parameters: { :label =&gt; "Renew passport", :method =&gt; :post, :arguments =&gt; [⭐(:name =&gt; :timeout, :value =&gt; 2)] }, finalize: &lt;&lt;-END
-      data.passportStatus=1
-      data.money=data.money-60
-    END
-  end
-end
-call :a6, :timeout, parameters: { :label =&gt; "\"Check if visa is needed\"", :method =&gt; :post, :arguments =&gt; [⭐(:name =&gt; :timeout, :value =&gt; 2)] }, finalize: &lt;&lt;-END
-  data.visaStatus=1
-END
-choose :exclusive do
-  alternative "data.passportStatus==1" do
-    call :a5, :timeout, parameters: { :label =&gt; "Apply for visa", :method =&gt; :post, :arguments =&gt; [⭐(:name =&gt; :timeout, :value =&gt; 2)] }, finalize: &lt;&lt;-END
-      data.visaStatus=0
-      data.money=data.money-110
-    END
-  end
-end
-call :a10, :timeout, parameters: { :label =&gt; "\"Apply for \\"Rot-Weiß-Rot\\" card\"", :method =&gt; :post, :arguments =&gt; [⭐(:name =&gt; :timeout, :value =&gt; 2)] }, finalize: &lt;&lt;-END
-  data.money=data.money-200
-END
-parallel :wait =&gt; -1 do
-  parallel_branch do
-    call :a12, :timeout, parameters: { :label =&gt; "\"Organise bank account\"", :method =&gt; :post, :arguments =&gt; [⭐(:name =&gt; :timeout, :value =&gt; 2)] }, finalize: &lt;&lt;-END
-      data.money=data.money+100
-    END
-  end
-  parallel_branch do
-    call :a13, :timeout, parameters: { :label =&gt; "\"Organise accomodation\"", :method =&gt; :post, :arguments =&gt; [⭐(:name =&gt; :timeout, :value =&gt; 2)] }, finalize: &lt;&lt;-END
-      data.adress="Sonnenallee 51/1/16"
-    END
-  end
-end
-call :a15, :timeout, parameters: { :label =&gt; "\"Enter Austria\"", :method =&gt; :post, :arguments =&gt; [⭐(:name =&gt; :timeout, :value =&gt; 2)] }, finalize: &lt;&lt;-END
-  data.money=data.money-1000
-  data.jobStatus=1
-END
-loop pre_test{data.jobStatus==0}  do
-  call :a3, :timeout, parameters: { :label =&gt; "Search for a job", :method =&gt; :post, :arguments =&gt; [⭐(:name =&gt; :timeout, :value =&gt; 2)] }, finalize: &lt;&lt;-END
-    data.jobStatus=1
-  END
-end
-</dsl>
-  <dslx>
-    <description xmlns="http://cpee.org/ns/description/1.0">
-      <call id="a1" endpoint="timeout">
-        <parameters>
-          <label>"Save money for living expenses in Austria"</label>
-          <method>:post</method>
-          <arguments>
-            <timeout>2</timeout>
-          </arguments>
-        </parameters>
-        <finalize output="result">data.money=10000
-</finalize>
-        <update output="result"/>
-      </call>
-      <call id="a2" endpoint="timeout">
-        <parameters>
-          <label>"Check if passport still valid"</label>
-          <method>:post</method>
-          <arguments>
-            <timeout>2</timeout>
-          </arguments>
-        </parameters>
-        <finalize output="result">data.passportStatus=0
-</finalize>
-        <update output="result"/>
-      </call>
-      <choose mode="exclusive">
-        <alternative condition="data.passportStatus==0">
-          <call id="a4" endpoint="timeout">
-            <parameters>
-              <label>Renew passport</label>
-              <method>:post</method>
-              <arguments>
-                <timeout>2</timeout>
-              </arguments>
-            </parameters>
-            <finalize output="result">data.passportStatus=1
-data.money=data.money-60</finalize>
-            <update output="result"/>
-          </call>
-        </alternative>
-        <otherwise/>
-      </choose>
-      <call id="a6" endpoint="timeout">
-        <parameters>
-          <label>"Check if visa is needed"</label>
-          <method>:post</method>
-          <arguments>
-            <timeout>2</timeout>
-          </arguments>
-        </parameters>
-        <finalize output="result">data.visaStatus=1</finalize>
-        <update output="result"/>
-      </call>
-      <choose mode="exclusive">
-        <alternative condition="data.passportStatus==1">
-          <call id="a5" endpoint="timeout">
-            <parameters>
-              <label>Apply for visa</label>
-              <method>:post</method>
-              <arguments>
-                <timeout>2</timeout>
-              </arguments>
-            </parameters>
-            <finalize output="result">data.visaStatus=0
-data.money=data.money-110</finalize>
-            <update output="result"/>
-          </call>
-        </alternative>
-        <otherwise/>
-      </choose>
-      <call id="a10" endpoint="timeout">
-        <parameters>
-          <label>"Apply for \"Rot-Weiß-Rot\" card"</label>
-          <method>:post</method>
-          <arguments>
-            <timeout>2</timeout>
-          </arguments>
-        </parameters>
-        <finalize output="result">data.money=data.money-200</finalize>
-        <update output="result"/>
-      </call>
-      <parallel wait="-1">
-        <parallel_branch>
-          <call id="a12" endpoint="timeout">
-            <parameters>
-              <label>"Organise bank account"</label>
-              <method>:post</method>
-              <arguments>
-                <timeout>2</timeout>
-              </arguments>
-            </parameters>
-            <finalize output="result">data.money=data.money+100</finalize>
-            <update output="result"/>
-          </call>
-        </parallel_branch>
-        <parallel_branch>
-          <call id="a13" endpoint="timeout">
-            <parameters>
-              <label>"Organise accomodation"</label>
-              <method>:post</method>
-              <arguments>
-                <timeout>2</timeout>
-              </arguments>
-            </parameters>
-            <finalize output="result">data.adress="Sonnenallee 51/1/16"</finalize>
-            <update output="result"/>
-          </call>
-        </parallel_branch>
-      </parallel>
-      <call id="a15" endpoint="timeout">
-        <parameters>
-          <label>"Enter Austria"</label>
-          <method>:post</method>
-          <arguments>
-            <timeout>2</timeout>
-          </arguments>
-        </parameters>
-        <finalize output="result">data.money=data.money-1000
-data.jobStatus=1</finalize>
-        <update output="result"/>
-      </call>
-      <loop mode="pre_test" condition="data.jobStatus==0">
-        <call id="a3" endpoint="timeout">
-          <parameters>
-            <label>Search for a job</label>
-            <method>:post</method>
-            <arguments>
-              <timeout>2</timeout>
-            </arguments>
-          </parameters>
-          <finalize output="result">data.jobStatus=1</finalize>
-          <update output="result"/>
-        </call>
-      </loop>
-    </description>
-  </dslx>
-  <status>
-    <id>0</id>
-    <message>undefined</message>
-  </status>
-  <description>
-    <description xmlns="http://cpee.org/ns/description/1.0">
-      <call id="a1" endpoint="timeout">
-        <parameters>
-          <label>"Save money for living expenses in Austria"</label>
-          <method>:post</method>
-          <arguments>
-            <timeout>2</timeout>
-          </arguments>
-        </parameters>
-        <finalize output="result">data.money=10000
-</finalize>
-        <update output="result"/>
-      </call>
-      <call id="a2" endpoint="timeout">
-        <parameters>
-          <label>"Check if passport still valid"</label>
-          <method>:post</method>
-          <arguments>
-            <timeout>2</timeout>
-          </arguments>
-        </parameters>
-        <finalize output="result">data.passportStatus=0
-</finalize>
-        <update output="result"/>
-      </call>
-      <choose mode="exclusive">
-        <alternative condition="data.passportStatus==0">
-          <call id="a4" endpoint="timeout">
-            <parameters>
-              <label>Renew passport</label>
-              <method>:post</method>
-              <arguments>
-                <timeout>2</timeout>
-              </arguments>
-            </parameters>
-            <finalize output="result">data.passportStatus=1
-data.money=data.money-60</finalize>
-            <update output="result"/>
-          </call>
-        </alternative>
-        <otherwise/>
-      </choose>
-      <call id="a6" endpoint="timeout">
-        <parameters>
-          <label>"Check if visa is needed"</label>
-          <method>:post</method>
-          <arguments>
-            <timeout>2</timeout>
-          </arguments>
-        </parameters>
-        <finalize output="result">data.visaStatus=1</finalize>
-        <update output="result"/>
-      </call>
-      <choose mode="exclusive">
-        <alternative condition="data.passportStatus==1">
-          <call id="a5" endpoint="timeout">
-            <parameters>
-              <label>Apply for visa</label>
-              <method>:post</method>
-              <arguments>
-                <timeout>2</timeout>
-              </arguments>
-            </parameters>
-            <finalize output="result">data.visaStatus=0
-data.money=data.money-110</finalize>
-            <update output="result"/>
-          </call>
-        </alternative>
-        <otherwise/>
-      </choose>
-      <call id="a10" endpoint="timeout">
-        <parameters>
-          <label>"Apply for \"Rot-Weiß-Rot\" card"</label>
-          <method>:post</method>
-          <arguments>
-            <timeout>2</timeout>
-          </arguments>
-        </parameters>
-        <finalize output="result">data.money=data.money-200</finalize>
-        <update output="result"/>
-      </call>
-      <parallel wait="-1">
-        <parallel_branch>
-          <call id="a12" endpoint="timeout">
-            <parameters>
-              <label>"Organise bank account"</label>
-              <method>:post</method>
-              <arguments>
-                <timeout>2</timeout>
-              </arguments>
-            </parameters>
-            <finalize output="result">data.money=data.money+100</finalize>
-            <update output="result"/>
-          </call>
-        </parallel_branch>
-        <parallel_branch>
-          <call id="a13" endpoint="timeout">
-            <parameters>
-              <label>"Organise accomodation"</label>
-              <method>:post</method>
-              <arguments>
-                <timeout>2</timeout>
-              </arguments>
-            </parameters>
-            <finalize output="result">data.adress="Sonnenallee 51/1/16"</finalize>
-            <update output="result"/>
-          </call>
-        </parallel_branch>
-      </parallel>
-      <call id="a15" endpoint="timeout">
-        <parameters>
-          <label>"Enter Austria"</label>
-          <method>:post</method>
-          <arguments>
-            <timeout>2</timeout>
-          </arguments>
-        </parameters>
-        <finalize output="result">data.money=data.money-1000
-data.jobStatus=1</finalize>
-        <update output="result"/>
-      </call>
-      <loop mode="pre_test" condition="data.jobStatus==0">
-        <call id="a3" endpoint="timeout">
-          <parameters>
-            <label>Search for a job</label>
-            <method>:post</method>
-            <arguments>
-              <timeout>2</timeout>
-            </arguments>
-          </parameters>
-          <finalize output="result">data.jobStatus=1</finalize>
-          <update output="result"/>
-        </call>
-      </loop>
-    </description>
-  </description>
-  <transformation>
-    <description type="copy"/>
-    <dataelements type="none"/>
-    <endpoints type="none"/>
-  </transformation>
-</properties>