cpee 2.0.15 → 2.0.20

data/tools/test/templates.legacy/BCO.xml

@@ -0,0 +1,70 @@
+<testset>
+  <attributes xmlns="http://cpee.org/ns/properties/2.0">
+    <info xmlns="http://riddl.org/ns/common-patterns/properties/1.0">Linear</info>
+    <modeltype xmlns="http://riddl.org/ns/common-patterns/properties/1.0">CPEE</modeltype>
+    <theme>preset</theme>
+    <bc>operate</bc>
+  </attributes>
+  <handlerwrapper xmlns="http://cpee.org/ns/properties/2.0">DefaultHandlerWrapper</handlerwrapper>
+  <dataelements xmlns="http://cpee.org/ns/properties/2.0">
+    <x/>
+  </dataelements>
+  <!--}}}-->
+  <handlers/>
+  <endpoints xmlns="http://cpee.org/ns/properties/2.0">
+    <timeout>http://gruppe.wst.univie.ac.at/~mangler/services/timeout.php</timeout>
+  </endpoints>
+  <!--}}}-->
+  <description xmlns="http://cpee.org/ns/properties/2.0">
+    <description xmlns="http://cpee.org/ns/description/1.0">
+      <!--{{{-->
+      <call id="a1" endpoint="timeout">
+        <parameters>
+          <!--{{{-->
+          <label>Step 1</label>
+          <method>:post</method>
+          <arguments>
+            <timeout>2</timeout>
+          </arguments>
+        </parameters>
+        <!--}}}-->
+        <code>
+          <finalize output="result">data.x += "a1,"</finalize>
+        </code>
+      </call>
+      <call id="a2" endpoint="timeout">
+        <parameters>
+          <!--{{{-->
+          <label>Step 2</label>
+          <method>:post</method>
+          <arguments>
+            <timeout>4</timeout>
+          </arguments>
+        </parameters>
+        <!--}}}-->
+        <code>
+          <finalize output="result">data.x += "a2,"</finalize>
+        </code>
+      </call>
+      <call id="a3" endpoint="timeout">
+        <parameters>
+          <!--{{{-->
+          <label>Step 3</label>
+          <method>:post</method>
+          <arguments>
+            <timeout>4</timeout>
+          </arguments>
+        </parameters>
+        <!--}}}-->
+        <code>
+          <finalize output="result">data.x += "a3,"</finalize>
+        </code>
+      </call>
+    </description>
+  </description>
+  <transformation xmlns="http://cpee.org/ns/properties/2.0">
+    <description type="copy"/>
+    <dataelements type="rest"/>
+    <endpoints type="rest"/>
+  </transformation>
+</testset>

data/tools/test/templates.legacy/BCS.xml

@@ -0,0 +1,70 @@
+<testset>
+  <attributes xmlns="http://cpee.org/ns/properties/2.0">
+    <info xmlns="http://riddl.org/ns/common-patterns/properties/1.0">Linear</info>
+    <modeltype xmlns="http://riddl.org/ns/common-patterns/properties/1.0">CPEE</modeltype>
+    <theme>preset</theme>
+    <bc>start</bc>
+  </attributes>
+  <handlerwrapper xmlns="http://cpee.org/ns/properties/2.0">DefaultHandlerWrapper</handlerwrapper>
+  <dataelements xmlns="http://cpee.org/ns/properties/2.0">
+    <x/>
+  </dataelements>
+  <!--}}}-->
+  <handlers/>
+  <endpoints xmlns="http://cpee.org/ns/properties/2.0">
+    <timeout>http://gruppe.wst.univie.ac.at/~mangler/services/timeout.php</timeout>
+  </endpoints>
+  <!--}}}-->
+  <description xmlns="http://cpee.org/ns/properties/2.0">
+    <description xmlns="http://cpee.org/ns/description/1.0">
+      <!--{{{-->
+      <call id="a1" endpoint="timeout">
+        <parameters>
+          <!--{{{-->
+          <label>Step 1</label>
+          <method>:post</method>
+          <arguments>
+            <timeout>2</timeout>
+          </arguments>
+        </parameters>
+        <!--}}}-->
+        <code>
+          <finalize output="result">data.x += "a1,"</finalize>
+        </code>
+      </call>
+      <call id="a2" endpoint="timeout">
+        <parameters>
+          <!--{{{-->
+          <label>Step 2</label>
+          <method>:post</method>
+          <arguments>
+            <timeout>4</timeout>
+          </arguments>
+        </parameters>
+        <!--}}}-->
+        <code>
+          <finalize output="result">data.x += "a2,"</finalize>
+        </code>
+      </call>
+      <call id="a3" endpoint="timeout">
+        <parameters>
+          <!--{{{-->
+          <label>Step 3</label>
+          <method>:post</method>
+          <arguments>
+            <timeout>4</timeout>
+          </arguments>
+        </parameters>
+        <!--}}}-->
+        <code>
+          <finalize output="result">data.x += "a3,"</finalize>
+        </code>
+      </call>
+    </description>
+  </description>
+  <transformation xmlns="http://cpee.org/ns/properties/2.0">
+    <description type="copy"/>
+    <dataelements type="rest"/>
+    <endpoints type="rest"/>
+  </transformation>
+</testset>

data/tools/test/templates.legacy/Centurio.xml

@@ -0,0 +1,75 @@
+<testset>
+  <positions xmlns="http://cpee.org/ns/properties/2.0"/>
+  <handlerwrapper xmlns="http://cpee.org/ns/properties/2.0">DefaultHandlerWrapper</handlerwrapper>
+  <dataelements xmlns="http://cpee.org/ns/properties/2.0">
+    <losgroesse>3</losgroesse>
+    <spec>12345</spec>
+    <qualitaet>null</qualitaet>
+    <drilled>[]</drilled>
+    <typ>Typ A</typ>
+    <score>0</score>
+  </dataelements>
+  <endpoints xmlns="http://cpee.org/ns/properties/2.0">
+    <cut>http://gruppe.wst.univie.ac.at/~mangler/services/cut.php</cut>
+    <drill>http://gruppe.wst.univie.ac.at/~mangler/services/drill.php</drill>
+    <approve>http://gruppe.wst.univie.ac.at/~mangler/services/approval.php</approve>
+  </endpoints>
+  <description xmlns="http://cpee.org/ns/properties/2.0">
+    <description xmlns="http://cpee.org/ns/description/1.0">
+      <call id="a1" endpoint="cut">
+        <parameters>
+          <label>Schneiden</label>
+          <method>:post</method>
+          <arguments>
+            <typ>data.typ</typ>
+            <spec>data.spec</spec>
+            <losgroesse>data.losgroesse</losgroesse>
+          </arguments>
+        </parameters>
+        <code>
+          <finalize output="result">data.qualitaet = result.value('id')
+data.score += result.value('score').to_f
+status.update 1, 'Produziert'</finalize>
+        </code>
+      </call>
+      <parallel>
+        <loop mode="pre_test" condition="data.losgroesse &gt; 0">
+          <parallel_branch pass="data.losgroesse" local="p">
+            <call id="a2" endpoint="drill">
+              <parameters>
+                <label>Bohren</label>
+                <method>:post</method>
+                <arguments>
+                  <to>data.to</to>
+                </arguments>
+              </parameters>
+              <code>
+                <finalize output="result">data.drilled &lt;&lt; result.value('id')
+data.score += result.value('score').to_f</finalize>
+              </code>
+            </call>
+          </parallel_branch>
+          <manipulate id="a3">data.losgroesse -= 1</manipulate>
+        </loop>
+      </parallel>
+      <choose>
+        <alternative condition="data.score &gt; 700">
+          <call id="a4" endpoint="approve">
+            <parameters>
+              <label>Beurteilen</label>
+              <method>:post</method>
+              <arguments>
+                <score>data.score</score>
+              </arguments>
+            </parameters>
+          </call>
+        </alternative>
+      </choose>
+    </description>
+  </description>
+  <transformation xmlns="http://cpee.org/ns/properties/2.0">
+    <description type="copy"/>
+    <dataelements type="rest"/>
+    <endpoints type="rest"/>
+  </transformation>
+</testset>

data/tools/test/templates.legacy/Concurrent.xml

@@ -0,0 +1,40 @@
+<testset>
+  <positions xmlns="http://cpee.org/ns/properties/2.0"/>
+  <handlerwrapper xmlns="http://cpee.org/ns/properties/2.0">DefaultHandlerWrapper</handlerwrapper>
+  <dataelements xmlns="http://cpee.org/ns/properties/2.0">
+    <persons>3</persons>
+    <hotels>[]</hotels>
+    <costs>0</costs>
+  </dataelements>
+  <endpoints xmlns="http://cpee.org/ns/properties/2.0">
+    <bookHotel>http://gruppe.wst.univie.ac.at/~mangler/services/hotel.php</bookHotel>
+  </endpoints>
+  <description xmlns="http://cpee.org/ns/properties/2.0">
+    <description xmlns="http://cpee.org/ns/description/1.0">
+      <parallel>
+        <loop mode="pre_test" condition="data.persons &gt; 0">
+          <parallel_branch pass="data.persons" local="p">
+            <call id="a2" endpoint="bookHotel">
+              <parameters>
+                <method>:post</method>
+                <arguments>
+                  <to>"Vienna"</to>
+                </arguments>
+              </parameters>
+              <code>
+                <finalize output="result">data.hotels &lt;&lt; result.value('id')
+data.costs += result.value('costs').to_f</finalize>
+              </code>
+            </call>
+          </parallel_branch>
+          <manipulate id="a3">data.persons -= 1</manipulate>
+        </loop>
+      </parallel>
+    </description>
+  </description>
+  <transformation xmlns="http://cpee.org/ns/properties/2.0">
+    <description type="copy"/>
+    <dataelements type="rest"/>
+    <endpoints type="rest"/>
+  </transformation>
+</testset>

data/tools/test/templates.legacy/Coopis Testset.xml

@@ -0,0 +1,76 @@
+<testset>
+  <positions xmlns="http://cpee.org/ns/properties/2.0"/>
+  <handlerwrapper xmlns="http://cpee.org/ns/properties/2.0">DefaultHandlerWrapper</handlerwrapper>
+  <dataelements xmlns="http://cpee.org/ns/properties/2.0">
+    <persons>3</persons>
+    <card>Visa_12345</card>
+    <airline>null</airline>
+    <hotels>[]</hotels>
+    <from>Vienna</from>
+    <to>Prague</to>
+    <costs>0</costs>
+  </dataelements>
+  <endpoints xmlns="http://cpee.org/ns/properties/2.0">
+    <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>
+  <description xmlns="http://cpee.org/ns/properties/2.0">
+    <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>
+        <code>
+          <finalize output="result">data.airline = result.value('id')
+data.costs += result.value('costs').to_f
+status.update 1, 'Hotel'</finalize>
+        </code>
+      </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>
+              <code>
+                <finalize output="result">data.hotels &lt;&lt; result.value('id')
+data.costs += result.value('costs').to_f</finalize>
+              </code>
+            </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 xmlns="http://cpee.org/ns/properties/2.0">
+    <description type="copy"/>
+    <dataelements type="rest"/>
+    <endpoints type="rest"/>
+  </transformation>
+</testset>

data/tools/test/templates.legacy/Endpoints and Data Manipulation.xml

@@ -0,0 +1,30 @@
+<testset>
+  <positions xmlns="http://cpee.org/ns/properties/2.0"/>
+  <handlerwrapper xmlns="http://cpee.org/ns/properties/2.0">RescueHandlerWrapper</handlerwrapper>
+  <dataelements xmlns="http://cpee.org/ns/properties/2.0">
+    <input>4</input>
+    <data_stores_endpoint/>
+    <output/>
+  </dataelements>
+  <endpoints xmlns="http://cpee.org/ns/properties/2.0">
+    <ep1>Somewhere over the rainbow</ep1>
+  </endpoints>
+  <description xmlns="http://cpee.org/ns/properties/2.0">
+    <description xmlns="http://cpee.org/ns/description/1.0">
+      <manipulate id="endpoints">
+        endpoints.a_new_one = "new Endpoint"
+        endpoints.ep1 = "services changed"
+        endpoints.copy_of_ep1 = endpoints.ep1
+        data.data_stores_endpoint = endpoints.ep1
+      </manipulate>
+      <manipulate id="data">data.a_new_one = "new dataelement"
+data[:input] = "dataelement changed"
+data.output = data[:input]</manipulate>
+    </description>
+  </description>
+  <transformation xmlns="http://cpee.org/ns/properties/2.0">
+    <description type="external"/>
+    <dataelements type="external"/>
+    <endpoints type="external"/>
+  </transformation>
+</testset>

data/tools/test/templates.legacy/ICSOC Testset.xml

@@ -0,0 +1,95 @@
+<testset>
+  <positions xmlns="http://cpee.org/ns/properties/2.0"/>
+  <handlerwrapper xmlns="http://cpee.org/ns/properties/2.0">DefaultHandlerWrapper</handlerwrapper>
+  <dataelements xmlns="http://cpee.org/ns/properties/2.0">
+    <feedback>true</feedback>
+  </dataelements>
+  <endpoints xmlns="http://cpee.org/ns/properties/2.0">
+    <timeout>http://gruppe.wst.univie.ac.at/~mangler/services/timeout.php</timeout>
+  </endpoints>
+  <description xmlns="http://cpee.org/ns/properties/2.0">
+    <description xmlns="http://cpee.org/ns/description/1.0">
+      <parallel>
+        <parallel_branch>
+          <loop mode="pre_test" condition="data.feedback">
+            <call id="design" endpoint="timeout">
+              <parameters>
+                <!--{{{-->
+                <label>Design</label>
+                <method>:post</method>
+                <arguments>
+                  <timeout>4</timeout>
+                </arguments>
+              </parameters>
+              <!--}}}-->
+            </call>
+            <call id="validate" endpoint="timeout">
+              <parameters>
+                <!--{{{-->
+                <label>Validate</label>
+                <method>:post</method>
+                <arguments>
+                  <timeout>2</timeout>
+                </arguments>
+              </parameters>
+              <!--}}}-->
+            </call>
+            <call id="publish" endpoint="timeout">
+              <parameters>
+                <!--{{{-->
+                <label>Publish</label>
+                <method>:post</method>
+                <arguments>
+                  <timeout>1</timeout>
+                </arguments>
+              </parameters>
+              <!--}}}-->
+            </call>
+          </loop>
+        </parallel_branch>
+        <parallel_branch>
+          <loop mode="pre_test" condition="data.feedback">
+            <call id="prepare" endpoint="timeout">
+              <parameters>
+                <!--{{{-->
+                <label>Prepare</label>
+                <method>:post</method>
+                <arguments>
+                  <timeout>4</timeout>
+                </arguments>
+              </parameters>
+              <!--}}}-->
+            </call>
+            <call id="fab" endpoint="timeout">
+              <parameters>
+                <!--{{{-->
+                <label>Fabricate</label>
+                <method>:post</method>
+                <arguments>
+                  <timeout>4</timeout>
+                </arguments>
+              </parameters>
+              <!--}}}-->
+            </call>
+            <call id="evaluate" endpoint="timeout">
+              <parameters>
+                <!--{{{-->
+                <label>Evaluate</label>
+                <method>:post</method>
+                <arguments>
+                  <timeout>4</timeout>
+                </arguments>
+              </parameters>
+              <!--}}}-->
+            </call>
+          </loop>
+        </parallel_branch>
+      </parallel>
+    </description>
+  </description>
+  <transformation xmlns="http://cpee.org/ns/properties/2.0">
+    <description type="copy"/>
+    <dataelements type="rest"/>
+    <endpoints type="rest"/>
+  </transformation>
+</testset>