cpee 1.4.10 → 1.4.11

data/server/instances/3/properties.xml

@@ -1,151 +1,115 @@
 <properties xmlns="http://riddl.org/ns/common-patterns/properties/1.0">
   <attributes>
-    <uuid>5f4b8bb6-2bc2-4e7e-8aee-5bc26ef80658</uuid>
-    <info>Plain Instance</info>
+    <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>finished</state>
+  <state>ready</state>
   <handlerwrapper>DefaultHandlerWrapper</handlerwrapper>
-  <positions/>
+  <positions>
+    <a1>after</a1>
+  </positions>
   <dataelements>
-    <persons>0</persons>
-    <card>Visa_12345</card>
-    <airline>Lufthansa</airline>
-    <hotels>["Mariott","Mariott","Rathaus"]</hotels>
-    <from>Vienna</from>
-    <to>Prague</to>
-    <costs>1125.0</costs>
+    <x/>
   </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>
+    <timeout>http://gruppe.wst.univie.ac.at/~mangler/services/timeout.php</timeout>
   </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'
+  <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
-parallel do
-  loop pre_test{data.persons &gt; 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 test{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">
+      <!--{{{-->
+      <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>
-          <label>Book Airline</label>
+          <!--{{{-->
           <method>:post</method>
           <arguments>
-            <from>data.from</from>
-            <to>data.to</to>
-            <persons>data.persons</persons>
+            <timeout>4</timeout>
           </arguments>
         </parameters>
-        <finalize output="result">data.airline = result.value('id')
-data.costs += result.value('costs').to_f
-status.update 1, 'Hotel'</finalize>
+        <!--}}}-->
+        <finalize output="result">data.x += "a3,"</finalize>
       </call>
-      <parallel>
-        <loop mode="pre_test" condition="data.persons &gt; 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>1</id>
-    <message>Hotel</message>
+    <id>0</id>
+    <message>undefined</message>
   </status>
   <description>
     <description xmlns="http://cpee.org/ns/description/1.0">
-      <call id="a1" endpoint="bookAir">
+      <!--{{{-->
+      <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>
-          <label>Book Airline</label>
+          <!--{{{-->
           <method>:post</method>
           <arguments>
-            <from>data.from</from>
-            <to>data.to</to>
-            <persons>data.persons</persons>
+            <timeout>4</timeout>
           </arguments>
         </parameters>
-        <finalize output="result">data.airline = result.value('id')
-data.costs += result.value('costs').to_f
-status.update 1, 'Hotel'</finalize>
+        <!--}}}-->
+        <finalize output="result">data.x += "a3,"</finalize>
       </call>
-      <parallel>
-        <loop mode="pre_test" condition="data.persons &gt; 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>

data/server/instances/30/properties.xml

@@ -0,0 +1,354 @@
+<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>