BPI_2017_STRONG.xml

<?xml version="1.0" encoding="UTF-8"?>
<model>
   <assignment language="ConDec" name="generated log 4">
      <activitydefinitions>
         <activity id="1" name="10" />
         <activity id="2" name="14" />
      </activitydefinitions>
      <constraintdefinitions>
		 <constraint id="1" mandatory="true">
            <condition>[A.org:resource=='40'][T.org:resource=='40'][]</condition>
            <name>response</name>
            <template>
               <description>B has to occur at some point in time after A.</description>
               <display>response</display>
               <name>response</name>
               <text></text>
               <parameters>
                  <parameter branchable="true" id="1" name="A">
                     <graphical>
                        <style number="3" />
                        <begin fill="true" style="5" />
                        <middle fill="false" style="0" />
                        <end fill="false" style="0" />
                     </graphical>
                  </parameter>
                  <parameter branchable="true" id="2" name="B">
                     <graphical>
                        <style number="3" />
                        <begin fill="true" style="2" />
                        <middle fill="false" style="0" />
                        <end fill="false" style="0" />
                     </graphical>
                  </parameter>
               </parameters>
               <statemessages/>
            </template>
            <constraintparameters>
               <parameter templateparameter="1">
                  <branches>
                     <branch name="10" />
                  </branches>
               </parameter>
               <parameter templateparameter="2">
                  <branches>
                     <branch name="14" />
                  </branches>
               </parameter>
            </constraintparameters>
         </constraint>
		 <constraint id="1" mandatory="true">
            <condition>[A.org:resource=='40'][][]</condition>
            <name>existence</name>
            <template>
               <description>A has to occur at some point in the trace</description>
               <display>existence</display>
               <name>existence</name>
               <text></text>
               <parameters>
                  <parameter branchable="true" id="1" name="A">
                     <graphical>
                        <style number="3" />
                        <begin fill="true" style="5" />
                        <middle fill="false" style="0" />
                        <end fill="false" style="0" />
                     </graphical>
                  </parameter>
               </parameters>
               <statemessages/>
            </template>
            <constraintparameters>
               <parameter templateparameter="1">
                  <branches>
                     <branch name="10" />
                  </branches>
               </parameter>
            </constraintparameters>
         </constraint>
      </constraintdefinitions>
      <graphical>
         <activities/>
         <constraints/>
      </graphical>
   </assignment>
</model>