More DCL graphs!
This commit is contained in:
Binary file not shown.
Binary file not shown.
Binary file not shown.
145
Assignment-2/data/rule1.xml
Normal file
145
Assignment-2/data/rule1.xml
Normal file
@ -0,0 +1,145 @@
|
||||
<dcrgraph title="rule1" dataTypesStatus="hide" filterLevel="-1" insightFilter="false" zoomLevel="0" formGroupStyle="Normal" formLayoutStyle="Horizontal" formShowPendingCount="true" graphBG="#f1f6fe" graphType="0" exercise="false">
|
||||
<meta>
|
||||
<graph id="1480476" hash="ACA5571999AB7873962E47A83FA7A289" guid="CE0E9E66-56FA-4C11-AB34-AC5B15200578" OwnerName="Therese Lyngby" OwnerId="136173" categoryId="7218" categoryTitle="Default" Keywords=""/>
|
||||
<revision id="3049082" type="minor" date="2023-01-06T10:39:02.880"/>
|
||||
<organization id="1" name="Community"/>
|
||||
</meta>
|
||||
<specification>
|
||||
<resources>
|
||||
<events>
|
||||
<event id="Activity0">
|
||||
<precondition message=""/>
|
||||
<custom>
|
||||
<visualization>
|
||||
<location xLoc="300" yLoc="75"/>
|
||||
<colors bg="#f9f7ed" textStroke="#000000" stroke="#cccccc"/>
|
||||
</visualization>
|
||||
<roles>
|
||||
<role/>
|
||||
</roles>
|
||||
<readRoles>
|
||||
<readRole/>
|
||||
</readRoles>
|
||||
<groups>
|
||||
<group/>
|
||||
</groups>
|
||||
<phases>
|
||||
<phase/>
|
||||
</phases>
|
||||
<eventType/>
|
||||
<eventScope>private</eventScope>
|
||||
<eventTypeData/>
|
||||
<eventDescription/>
|
||||
<purpose/>
|
||||
<guide/>
|
||||
<insight use="false"/>
|
||||
<level>1</level>
|
||||
<sequence>1</sequence>
|
||||
<costs>0</costs>
|
||||
<eventData/>
|
||||
<interfaces/>
|
||||
</custom>
|
||||
</event>
|
||||
<event id="Activity1">
|
||||
<precondition message=""/>
|
||||
<custom>
|
||||
<visualization>
|
||||
<location xLoc="500" yLoc="75"/>
|
||||
<colors bg="#f9f7ed" textStroke="#000000" stroke="#cccccc"/>
|
||||
</visualization>
|
||||
<roles>
|
||||
<role/>
|
||||
</roles>
|
||||
<readRoles>
|
||||
<readRole/>
|
||||
</readRoles>
|
||||
<groups>
|
||||
<group/>
|
||||
</groups>
|
||||
<phases>
|
||||
<phase/>
|
||||
</phases>
|
||||
<eventType/>
|
||||
<eventScope>private</eventScope>
|
||||
<eventTypeData/>
|
||||
<eventDescription/>
|
||||
<purpose/>
|
||||
<guide/>
|
||||
<insight use="false"/>
|
||||
<level>1</level>
|
||||
<sequence>2</sequence>
|
||||
<costs>0</costs>
|
||||
<eventData/>
|
||||
<interfaces/>
|
||||
</custom>
|
||||
</event>
|
||||
</events>
|
||||
<subProcesses/>
|
||||
<distribution/>
|
||||
<labels>
|
||||
<label id="Fill out appliation"/>
|
||||
<label id="_ROW_"/>
|
||||
</labels>
|
||||
<labelMappings>
|
||||
<labelMapping eventId="Activity0" labelId="Fill out appliation"/>
|
||||
<labelMapping eventId="Activity1" labelId="_ROW_"/>
|
||||
</labelMappings>
|
||||
<expressions/>
|
||||
<variables/>
|
||||
<variableAccesses>
|
||||
<writeAccesses/>
|
||||
</variableAccesses>
|
||||
<custom>
|
||||
<keywords/>
|
||||
<roles/>
|
||||
<groups/>
|
||||
<phases/>
|
||||
<eventTypes/>
|
||||
<eventParameters/>
|
||||
<graphDetails>DCR Process</graphDetails>
|
||||
<graphDocumentation/>
|
||||
<graphLanguage>en-US</graphLanguage>
|
||||
<graphDomain>process</graphDomain>
|
||||
<graphFilters>
|
||||
<filteredGroups/>
|
||||
<filteredRoles/>
|
||||
<filteredPhases/>
|
||||
</graphFilters>
|
||||
<hightlighterMarkup id="HLM"/>
|
||||
<highlighterMarkup>
|
||||
<highlightLayers/>
|
||||
<highlights/>
|
||||
</highlighterMarkup>
|
||||
</custom>
|
||||
</resources>
|
||||
<constraints>
|
||||
<conditions>
|
||||
<condition sourceId="Activity0" targetId="Activity1" filterLevel="1" description="" time="" groups="" link="Activity0--condition--Activity1"/>
|
||||
</conditions>
|
||||
<responses/>
|
||||
<coresponses/>
|
||||
<excludes/>
|
||||
<includes/>
|
||||
<milestones>
|
||||
<milestone sourceId="Activity0" targetId="Activity1" filterLevel="1" description="" time="" groups="" link="Activity0--condition--Activity1"/>
|
||||
</milestones>
|
||||
<updates/>
|
||||
<spawns/>
|
||||
<templateSpawns/>
|
||||
</constraints>
|
||||
</specification>
|
||||
<runtime>
|
||||
<custom>
|
||||
<globalMarking/>
|
||||
</custom>
|
||||
<marking>
|
||||
<globalStore/>
|
||||
<executed/>
|
||||
<included>
|
||||
<event id="Activity0"/>
|
||||
<event id="Activity1"/>
|
||||
</included>
|
||||
<pendingResponses/>
|
||||
</marking>
|
||||
</runtime>
|
||||
</dcrgraph>
|
||||
182
Assignment-2/data/rule2.xml
Normal file
182
Assignment-2/data/rule2.xml
Normal file
@ -0,0 +1,182 @@
|
||||
<dcrgraph title="rule2" dataTypesStatus="hide" filterLevel="-1" insightFilter="false" zoomLevel="0" formGroupStyle="Normal" formLayoutStyle="Horizontal" formShowPendingCount="true" graphBG="#f1f6fe" graphType="0" exercise="false">
|
||||
<meta>
|
||||
<graph id="1480477" hash="9910506E1C7A22F0C7947786A10526F9" guid="65962BFA-5221-4BC3-9E00-BCF32A12B78B" OwnerName="Therese Lyngby" OwnerId="136173" categoryId="7218" categoryTitle="Default" Keywords=""/>
|
||||
<revision id="3049245" type="minor" date="2023-01-06T10:53:04.467"/>
|
||||
<organization id="1" name="Community"/>
|
||||
</meta>
|
||||
<specification>
|
||||
<resources>
|
||||
<events>
|
||||
<event id="Activity0">
|
||||
<precondition message=""/>
|
||||
<custom>
|
||||
<visualization>
|
||||
<location xLoc="300" yLoc="75"/>
|
||||
<colors bg="#f9f7ed" textStroke="#000000" stroke="#cccccc"/>
|
||||
</visualization>
|
||||
<roles>
|
||||
<role/>
|
||||
</roles>
|
||||
<readRoles>
|
||||
<readRole/>
|
||||
</readRoles>
|
||||
<groups>
|
||||
<group/>
|
||||
</groups>
|
||||
<phases>
|
||||
<phase/>
|
||||
</phases>
|
||||
<eventType/>
|
||||
<eventScope>private</eventScope>
|
||||
<eventTypeData/>
|
||||
<eventDescription/>
|
||||
<purpose/>
|
||||
<guide/>
|
||||
<insight use="false"/>
|
||||
<level>1</level>
|
||||
<sequence>1</sequence>
|
||||
<costs>0</costs>
|
||||
<eventData/>
|
||||
<interfaces/>
|
||||
</custom>
|
||||
</event>
|
||||
<event id="Activity1">
|
||||
<precondition message=""/>
|
||||
<custom>
|
||||
<visualization>
|
||||
<location xLoc="300" yLoc="225"/>
|
||||
<colors bg="#f9f7ed" textStroke="#000000" stroke="#cccccc"/>
|
||||
</visualization>
|
||||
<roles>
|
||||
<role/>
|
||||
</roles>
|
||||
<readRoles>
|
||||
<readRole/>
|
||||
</readRoles>
|
||||
<groups>
|
||||
<group/>
|
||||
</groups>
|
||||
<phases>
|
||||
<phase/>
|
||||
</phases>
|
||||
<eventType/>
|
||||
<eventScope>private</eventScope>
|
||||
<eventTypeData/>
|
||||
<eventDescription/>
|
||||
<purpose/>
|
||||
<guide/>
|
||||
<insight use="false"/>
|
||||
<level>1</level>
|
||||
<sequence>2</sequence>
|
||||
<costs>0</costs>
|
||||
<eventData/>
|
||||
<interfaces/>
|
||||
</custom>
|
||||
</event>
|
||||
<event id="Activity2">
|
||||
<precondition message=""/>
|
||||
<custom>
|
||||
<visualization>
|
||||
<location xLoc="450" yLoc="175"/>
|
||||
<colors bg="#f9f7ed" textStroke="#000000" stroke="#cccccc"/>
|
||||
</visualization>
|
||||
<roles>
|
||||
<role/>
|
||||
</roles>
|
||||
<readRoles>
|
||||
<readRole/>
|
||||
</readRoles>
|
||||
<groups>
|
||||
<group/>
|
||||
</groups>
|
||||
<phases>
|
||||
<phase/>
|
||||
</phases>
|
||||
<eventType/>
|
||||
<eventScope>private</eventScope>
|
||||
<eventTypeData/>
|
||||
<eventDescription/>
|
||||
<purpose/>
|
||||
<guide/>
|
||||
<insight use="false"/>
|
||||
<level>1</level>
|
||||
<sequence>3</sequence>
|
||||
<costs>0</costs>
|
||||
<eventData/>
|
||||
<interfaces/>
|
||||
</custom>
|
||||
</event>
|
||||
</events>
|
||||
<subProcesses/>
|
||||
<distribution/>
|
||||
<labels>
|
||||
<label id="Architect Reiview"/>
|
||||
<label id="Lawyer Review"/>
|
||||
<label id="_ROW_"/>
|
||||
</labels>
|
||||
<labelMappings>
|
||||
<labelMapping eventId="Activity0" labelId="Architect Reiview"/>
|
||||
<labelMapping eventId="Activity1" labelId="Lawyer Review"/>
|
||||
<labelMapping eventId="Activity2" labelId="_ROW_"/>
|
||||
</labelMappings>
|
||||
<expressions/>
|
||||
<variables/>
|
||||
<variableAccesses>
|
||||
<writeAccesses/>
|
||||
</variableAccesses>
|
||||
<custom>
|
||||
<keywords/>
|
||||
<roles/>
|
||||
<groups/>
|
||||
<phases/>
|
||||
<eventTypes/>
|
||||
<eventParameters/>
|
||||
<graphDetails>DCR Process</graphDetails>
|
||||
<graphDocumentation/>
|
||||
<graphLanguage>en-US</graphLanguage>
|
||||
<graphDomain>process</graphDomain>
|
||||
<graphFilters>
|
||||
<filteredGroups/>
|
||||
<filteredRoles/>
|
||||
<filteredPhases/>
|
||||
</graphFilters>
|
||||
<hightlighterMarkup id="HLM"/>
|
||||
<highlighterMarkup>
|
||||
<highlightLayers>
|
||||
<highlightLayer default="true" name="description">DCR Process</highlightLayer>
|
||||
</highlightLayers>
|
||||
<highlights/>
|
||||
</highlighterMarkup>
|
||||
</custom>
|
||||
</resources>
|
||||
<constraints>
|
||||
<conditions/>
|
||||
<responses/>
|
||||
<coresponses/>
|
||||
<excludes>
|
||||
<exclude sourceId="Activity1" targetId="Activity0" filterLevel="1" description="" time="" groups=""/>
|
||||
<exclude sourceId="Activity0" targetId="Activity1" filterLevel="1" description="" time="" groups=""/>
|
||||
</excludes>
|
||||
<includes/>
|
||||
<milestones/>
|
||||
<updates/>
|
||||
<spawns/>
|
||||
<templateSpawns/>
|
||||
</constraints>
|
||||
</specification>
|
||||
<runtime>
|
||||
<custom>
|
||||
<globalMarking/>
|
||||
</custom>
|
||||
<marking>
|
||||
<globalStore/>
|
||||
<executed/>
|
||||
<included>
|
||||
<event id="Activity0"/>
|
||||
<event id="Activity1"/>
|
||||
<event id="Activity2"/>
|
||||
</included>
|
||||
<pendingResponses/>
|
||||
</marking>
|
||||
</runtime>
|
||||
</dcrgraph>
|
||||
216
Assignment-2/data/rule3.xml
Normal file
216
Assignment-2/data/rule3.xml
Normal file
@ -0,0 +1,216 @@
|
||||
<dcrgraph title="rule3" dataTypesStatus="hide" filterLevel="-1" insightFilter="false" zoomLevel="0" formGroupStyle="Normal" formLayoutStyle="Horizontal" formShowPendingCount="true" graphBG="#f1f6fe" graphType="0" exercise="false">
|
||||
<meta>
|
||||
<graph id="1480478" hash="327595CDE8C1485964EB7E2931062308" guid="3142915D-F1D4-446E-8C3D-EB8F50A4FD81" OwnerName="Therese Lyngby" OwnerId="136173" categoryId="7218" categoryTitle="Default" Keywords=""/>
|
||||
<revision id="3049122" type="minor" date="2023-01-06T10:43:00.427"/>
|
||||
<organization id="1" name="Community"/>
|
||||
</meta>
|
||||
<specification>
|
||||
<resources>
|
||||
<events>
|
||||
<event id="Activity0">
|
||||
<precondition message=""/>
|
||||
<custom>
|
||||
<visualization>
|
||||
<location xLoc="300" yLoc="75"/>
|
||||
<colors bg="#f9f7ed" textStroke="#000000" stroke="#cccccc"/>
|
||||
</visualization>
|
||||
<roles>
|
||||
<role/>
|
||||
</roles>
|
||||
<readRoles>
|
||||
<readRole/>
|
||||
</readRoles>
|
||||
<groups>
|
||||
<group/>
|
||||
</groups>
|
||||
<phases>
|
||||
<phase/>
|
||||
</phases>
|
||||
<eventType/>
|
||||
<eventScope>private</eventScope>
|
||||
<eventTypeData/>
|
||||
<eventDescription/>
|
||||
<purpose/>
|
||||
<guide/>
|
||||
<insight use="false"/>
|
||||
<level>1</level>
|
||||
<sequence>1</sequence>
|
||||
<costs>0</costs>
|
||||
<eventData/>
|
||||
<interfaces/>
|
||||
</custom>
|
||||
</event>
|
||||
<event id="Activity1">
|
||||
<precondition message=""/>
|
||||
<custom>
|
||||
<visualization>
|
||||
<location xLoc="450" yLoc="75"/>
|
||||
<colors bg="#f9f7ed" textStroke="#000000" stroke="#cccccc"/>
|
||||
</visualization>
|
||||
<roles>
|
||||
<role/>
|
||||
</roles>
|
||||
<readRoles>
|
||||
<readRole/>
|
||||
</readRoles>
|
||||
<groups>
|
||||
<group/>
|
||||
</groups>
|
||||
<phases>
|
||||
<phase/>
|
||||
</phases>
|
||||
<eventType/>
|
||||
<eventScope>private</eventScope>
|
||||
<eventTypeData/>
|
||||
<eventDescription/>
|
||||
<purpose/>
|
||||
<guide/>
|
||||
<insight use="false"/>
|
||||
<level>1</level>
|
||||
<sequence>2</sequence>
|
||||
<costs>0</costs>
|
||||
<eventData/>
|
||||
<interfaces/>
|
||||
</custom>
|
||||
</event>
|
||||
<event id="Activity2">
|
||||
<precondition message=""/>
|
||||
<custom>
|
||||
<visualization>
|
||||
<location xLoc="300" yLoc="225"/>
|
||||
<colors bg="#f9f7ed" textStroke="#000000" stroke="#cccccc"/>
|
||||
</visualization>
|
||||
<roles>
|
||||
<role/>
|
||||
</roles>
|
||||
<readRoles>
|
||||
<readRole/>
|
||||
</readRoles>
|
||||
<groups>
|
||||
<group/>
|
||||
</groups>
|
||||
<phases>
|
||||
<phase/>
|
||||
</phases>
|
||||
<eventType/>
|
||||
<eventScope>private</eventScope>
|
||||
<eventTypeData/>
|
||||
<eventDescription/>
|
||||
<purpose/>
|
||||
<guide/>
|
||||
<insight use="false"/>
|
||||
<level>1</level>
|
||||
<sequence>3</sequence>
|
||||
<costs>0</costs>
|
||||
<eventData/>
|
||||
<interfaces/>
|
||||
</custom>
|
||||
</event>
|
||||
<event id="Activity3">
|
||||
<precondition message=""/>
|
||||
<custom>
|
||||
<visualization>
|
||||
<location xLoc="450" yLoc="225"/>
|
||||
<colors bg="#f9f7ed" textStroke="#000000" stroke="#cccccc"/>
|
||||
</visualization>
|
||||
<roles>
|
||||
<role/>
|
||||
</roles>
|
||||
<readRoles>
|
||||
<readRole/>
|
||||
</readRoles>
|
||||
<groups>
|
||||
<group/>
|
||||
</groups>
|
||||
<phases>
|
||||
<phase/>
|
||||
</phases>
|
||||
<eventType/>
|
||||
<eventScope>private</eventScope>
|
||||
<eventTypeData/>
|
||||
<eventDescription/>
|
||||
<purpose/>
|
||||
<guide/>
|
||||
<insight use="false"/>
|
||||
<level>1</level>
|
||||
<sequence>4</sequence>
|
||||
<costs>0</costs>
|
||||
<eventData/>
|
||||
<interfaces/>
|
||||
</custom>
|
||||
</event>
|
||||
</events>
|
||||
<subProcesses/>
|
||||
<distribution/>
|
||||
<labels>
|
||||
<label id="Reject"/>
|
||||
<label id="Applicant Informed"/>
|
||||
<label id="Change phase to abort"/>
|
||||
<label id="_ROW_"/>
|
||||
</labels>
|
||||
<labelMappings>
|
||||
<labelMapping eventId="Activity0" labelId="Reject"/>
|
||||
<labelMapping eventId="Activity1" labelId="Applicant Informed"/>
|
||||
<labelMapping eventId="Activity2" labelId="Change phase to abort"/>
|
||||
<labelMapping eventId="Activity3" labelId="_ROW_"/>
|
||||
</labelMappings>
|
||||
<expressions/>
|
||||
<variables/>
|
||||
<variableAccesses>
|
||||
<writeAccesses/>
|
||||
</variableAccesses>
|
||||
<custom>
|
||||
<keywords/>
|
||||
<roles/>
|
||||
<groups/>
|
||||
<phases/>
|
||||
<eventTypes/>
|
||||
<eventParameters/>
|
||||
<graphDetails>DCR Process</graphDetails>
|
||||
<graphDocumentation/>
|
||||
<graphLanguage>en-US</graphLanguage>
|
||||
<graphDomain>process</graphDomain>
|
||||
<graphFilters>
|
||||
<filteredGroups/>
|
||||
<filteredRoles/>
|
||||
<filteredPhases/>
|
||||
</graphFilters>
|
||||
<hightlighterMarkup id="HLM"/>
|
||||
<highlighterMarkup>
|
||||
<highlightLayers/>
|
||||
<highlights/>
|
||||
</highlighterMarkup>
|
||||
</custom>
|
||||
</resources>
|
||||
<constraints>
|
||||
<conditions/>
|
||||
<responses>
|
||||
<response sourceId="Activity0" targetId="Activity1" filterLevel="1" description="" time="" groups=""/>
|
||||
<response sourceId="Activity0" targetId="Activity2" filterLevel="1" description="" time="" groups=""/>
|
||||
</responses>
|
||||
<coresponses/>
|
||||
<excludes/>
|
||||
<includes/>
|
||||
<milestones/>
|
||||
<updates/>
|
||||
<spawns/>
|
||||
<templateSpawns/>
|
||||
</constraints>
|
||||
</specification>
|
||||
<runtime>
|
||||
<custom>
|
||||
<globalMarking/>
|
||||
</custom>
|
||||
<marking>
|
||||
<globalStore/>
|
||||
<executed/>
|
||||
<included>
|
||||
<event id="Activity0"/>
|
||||
<event id="Activity1"/>
|
||||
<event id="Activity2"/>
|
||||
<event id="Activity3"/>
|
||||
</included>
|
||||
<pendingResponses/>
|
||||
</marking>
|
||||
</runtime>
|
||||
</dcrgraph>
|
||||
184
Assignment-2/data/rule4.xml
Normal file
184
Assignment-2/data/rule4.xml
Normal file
@ -0,0 +1,184 @@
|
||||
<dcrgraph title="rule4" dataTypesStatus="hide" filterLevel="-1" insightFilter="false" zoomLevel="0" formGroupStyle="Normal" formLayoutStyle="Horizontal" formShowPendingCount="true" graphBG="#f1f6fe" graphType="0" exercise="false">
|
||||
<meta>
|
||||
<graph id="1480479" hash="4D581DBC03037557A8B70AADA6E0B529" guid="FBEFC142-74E3-49EB-9E91-2BC7E7C51EAD" OwnerName="Therese Lyngby" OwnerId="136173" categoryId="7218" categoryTitle="Default" Keywords=""/>
|
||||
<revision id="3049136" type="minor" date="2023-01-06T10:44:17.820"/>
|
||||
<organization id="1" name="Community"/>
|
||||
</meta>
|
||||
<specification>
|
||||
<resources>
|
||||
<events>
|
||||
<event id="Activity0">
|
||||
<precondition message=""/>
|
||||
<custom>
|
||||
<visualization>
|
||||
<location xLoc="300" yLoc="75"/>
|
||||
<colors bg="#f9f7ed" textStroke="#000000" stroke="#cccccc"/>
|
||||
</visualization>
|
||||
<roles>
|
||||
<role/>
|
||||
</roles>
|
||||
<readRoles>
|
||||
<readRole/>
|
||||
</readRoles>
|
||||
<groups>
|
||||
<group/>
|
||||
</groups>
|
||||
<phases>
|
||||
<phase/>
|
||||
</phases>
|
||||
<eventType/>
|
||||
<eventScope>private</eventScope>
|
||||
<eventTypeData/>
|
||||
<eventDescription/>
|
||||
<purpose/>
|
||||
<guide/>
|
||||
<insight use="false"/>
|
||||
<level>1</level>
|
||||
<sequence>1</sequence>
|
||||
<costs>0</costs>
|
||||
<eventData/>
|
||||
<interfaces/>
|
||||
</custom>
|
||||
</event>
|
||||
<event id="Activity1">
|
||||
<precondition message=""/>
|
||||
<custom>
|
||||
<visualization>
|
||||
<location xLoc="450" yLoc="75"/>
|
||||
<colors bg="#f9f7ed" textStroke="#000000" stroke="#cccccc"/>
|
||||
</visualization>
|
||||
<roles>
|
||||
<role/>
|
||||
</roles>
|
||||
<readRoles>
|
||||
<readRole/>
|
||||
</readRoles>
|
||||
<groups>
|
||||
<group/>
|
||||
</groups>
|
||||
<phases>
|
||||
<phase/>
|
||||
</phases>
|
||||
<eventType/>
|
||||
<eventScope>private</eventScope>
|
||||
<eventTypeData/>
|
||||
<eventDescription/>
|
||||
<purpose/>
|
||||
<guide/>
|
||||
<insight use="false"/>
|
||||
<level>1</level>
|
||||
<sequence>2</sequence>
|
||||
<costs>0</costs>
|
||||
<eventData/>
|
||||
<interfaces/>
|
||||
</custom>
|
||||
</event>
|
||||
<event id="Activity2">
|
||||
<precondition message=""/>
|
||||
<custom>
|
||||
<visualization>
|
||||
<location xLoc="300" yLoc="225"/>
|
||||
<colors bg="#f9f7ed" textStroke="#000000" stroke="#cccccc"/>
|
||||
</visualization>
|
||||
<roles>
|
||||
<role/>
|
||||
</roles>
|
||||
<readRoles>
|
||||
<readRole/>
|
||||
</readRoles>
|
||||
<groups>
|
||||
<group/>
|
||||
</groups>
|
||||
<phases>
|
||||
<phase/>
|
||||
</phases>
|
||||
<eventType/>
|
||||
<eventScope>private</eventScope>
|
||||
<eventTypeData/>
|
||||
<eventDescription/>
|
||||
<purpose/>
|
||||
<guide/>
|
||||
<insight use="false"/>
|
||||
<level>1</level>
|
||||
<sequence>3</sequence>
|
||||
<costs>0</costs>
|
||||
<eventData/>
|
||||
<interfaces/>
|
||||
</custom>
|
||||
</event>
|
||||
</events>
|
||||
<subProcesses/>
|
||||
<distribution/>
|
||||
<labels>
|
||||
<label id="First Payment"/>
|
||||
<label id="Undo payment"/>
|
||||
<label id="_ROW_"/>
|
||||
</labels>
|
||||
<labelMappings>
|
||||
<labelMapping eventId="Activity0" labelId="First Payment"/>
|
||||
<labelMapping eventId="Activity1" labelId="Undo payment"/>
|
||||
<labelMapping eventId="Activity2" labelId="_ROW_"/>
|
||||
</labelMappings>
|
||||
<expressions>
|
||||
<expression id="Activity1-path-Activity0--exclude" value="not(true)"/>
|
||||
</expressions>
|
||||
<variables/>
|
||||
<variableAccesses>
|
||||
<writeAccesses/>
|
||||
</variableAccesses>
|
||||
<custom>
|
||||
<keywords/>
|
||||
<roles/>
|
||||
<groups/>
|
||||
<phases/>
|
||||
<eventTypes/>
|
||||
<eventParameters/>
|
||||
<graphDetails>DCR Process</graphDetails>
|
||||
<graphDocumentation/>
|
||||
<graphLanguage>en-US</graphLanguage>
|
||||
<graphDomain>process</graphDomain>
|
||||
<graphFilters>
|
||||
<filteredGroups/>
|
||||
<filteredRoles/>
|
||||
<filteredPhases/>
|
||||
</graphFilters>
|
||||
<hightlighterMarkup id="HLM"/>
|
||||
<highlighterMarkup>
|
||||
<highlightLayers/>
|
||||
<highlights/>
|
||||
</highlighterMarkup>
|
||||
</custom>
|
||||
</resources>
|
||||
<constraints>
|
||||
<conditions/>
|
||||
<responses/>
|
||||
<coresponses/>
|
||||
<excludes>
|
||||
<exclude sourceId="Activity0" targetId="Activity0" filterLevel="1" description="" time="" groups=""/>
|
||||
<exclude sourceId="Activity1" targetId="Activity0" filterLevel="1" description="" time="" groups="" expressionId="Activity1-path-Activity0--exclude" link="Activity1--include--Activity0"/>
|
||||
</excludes>
|
||||
<includes>
|
||||
<include sourceId="Activity1" targetId="Activity0" filterLevel="1" description="" time="" groups="" link="Activity1--include--Activity0"/>
|
||||
</includes>
|
||||
<milestones/>
|
||||
<updates/>
|
||||
<spawns/>
|
||||
<templateSpawns/>
|
||||
</constraints>
|
||||
</specification>
|
||||
<runtime>
|
||||
<custom>
|
||||
<globalMarking/>
|
||||
</custom>
|
||||
<marking>
|
||||
<globalStore/>
|
||||
<executed/>
|
||||
<included>
|
||||
<event id="Activity0"/>
|
||||
<event id="Activity1"/>
|
||||
<event id="Activity2"/>
|
||||
</included>
|
||||
<pendingResponses/>
|
||||
</marking>
|
||||
</runtime>
|
||||
</dcrgraph>
|
||||
217
Assignment-2/data/rule5.xml
Normal file
217
Assignment-2/data/rule5.xml
Normal file
@ -0,0 +1,217 @@
|
||||
<dcrgraph title="rule5" dataTypesStatus="hide" filterLevel="-1" insightFilter="false" zoomLevel="0" formGroupStyle="Normal" formLayoutStyle="Horizontal" formShowPendingCount="true" graphBG="#f1f6fe" graphType="0" exercise="false">
|
||||
<meta>
|
||||
<graph id="1480480" hash="B3A46589C9DCBF62076B1457043F980D" guid="CE199EEA-8DEC-4790-A94B-6C701589FA8A" OwnerName="Therese Lyngby" OwnerId="136173" categoryId="7218" categoryTitle="Default" Keywords=""/>
|
||||
<revision id="3049158" type="minor" date="2023-01-06T10:45:56.973"/>
|
||||
<organization id="1" name="Community"/>
|
||||
</meta>
|
||||
<specification>
|
||||
<resources>
|
||||
<events>
|
||||
<event id="Activity0">
|
||||
<precondition message=""/>
|
||||
<custom>
|
||||
<visualization>
|
||||
<location xLoc="300" yLoc="75"/>
|
||||
<colors bg="#f9f7ed" textStroke="#000000" stroke="#cccccc"/>
|
||||
</visualization>
|
||||
<roles>
|
||||
<role/>
|
||||
</roles>
|
||||
<readRoles>
|
||||
<readRole/>
|
||||
</readRoles>
|
||||
<groups>
|
||||
<group/>
|
||||
</groups>
|
||||
<phases>
|
||||
<phase/>
|
||||
</phases>
|
||||
<eventType/>
|
||||
<eventScope>private</eventScope>
|
||||
<eventTypeData/>
|
||||
<eventDescription/>
|
||||
<purpose/>
|
||||
<guide/>
|
||||
<insight use="false"/>
|
||||
<level>1</level>
|
||||
<sequence>1</sequence>
|
||||
<costs>0</costs>
|
||||
<eventData/>
|
||||
<interfaces/>
|
||||
</custom>
|
||||
</event>
|
||||
<event id="Activity1">
|
||||
<precondition message=""/>
|
||||
<custom>
|
||||
<visualization>
|
||||
<location xLoc="450" yLoc="75"/>
|
||||
<colors bg="#f9f7ed" textStroke="#000000" stroke="#cccccc"/>
|
||||
</visualization>
|
||||
<roles>
|
||||
<role/>
|
||||
</roles>
|
||||
<readRoles>
|
||||
<readRole/>
|
||||
</readRoles>
|
||||
<groups>
|
||||
<group/>
|
||||
</groups>
|
||||
<phases>
|
||||
<phase/>
|
||||
</phases>
|
||||
<eventType/>
|
||||
<eventScope>private</eventScope>
|
||||
<eventTypeData/>
|
||||
<eventDescription/>
|
||||
<purpose/>
|
||||
<guide/>
|
||||
<insight use="false"/>
|
||||
<level>1</level>
|
||||
<sequence>2</sequence>
|
||||
<costs>0</costs>
|
||||
<eventData/>
|
||||
<interfaces/>
|
||||
</custom>
|
||||
</event>
|
||||
<event id="Activity2">
|
||||
<precondition message=""/>
|
||||
<custom>
|
||||
<visualization>
|
||||
<location xLoc="450" yLoc="225"/>
|
||||
<colors bg="#f9f7ed" textStroke="#000000" stroke="#cccccc"/>
|
||||
</visualization>
|
||||
<roles>
|
||||
<role/>
|
||||
</roles>
|
||||
<readRoles>
|
||||
<readRole/>
|
||||
</readRoles>
|
||||
<groups>
|
||||
<group/>
|
||||
</groups>
|
||||
<phases>
|
||||
<phase/>
|
||||
</phases>
|
||||
<eventType/>
|
||||
<eventScope>private</eventScope>
|
||||
<eventTypeData/>
|
||||
<eventDescription/>
|
||||
<purpose/>
|
||||
<guide/>
|
||||
<insight use="false"/>
|
||||
<level>1</level>
|
||||
<sequence>3</sequence>
|
||||
<costs>0</costs>
|
||||
<eventData/>
|
||||
<interfaces/>
|
||||
</custom>
|
||||
</event>
|
||||
<event id="Activity3">
|
||||
<precondition message=""/>
|
||||
<custom>
|
||||
<visualization>
|
||||
<location xLoc="300" yLoc="225"/>
|
||||
<colors bg="#f9f7ed" textStroke="#000000" stroke="#cccccc"/>
|
||||
</visualization>
|
||||
<roles>
|
||||
<role/>
|
||||
</roles>
|
||||
<readRoles>
|
||||
<readRole/>
|
||||
</readRoles>
|
||||
<groups>
|
||||
<group/>
|
||||
</groups>
|
||||
<phases>
|
||||
<phase/>
|
||||
</phases>
|
||||
<eventType/>
|
||||
<eventScope>private</eventScope>
|
||||
<eventTypeData/>
|
||||
<eventDescription/>
|
||||
<purpose/>
|
||||
<guide/>
|
||||
<insight use="false"/>
|
||||
<level>1</level>
|
||||
<sequence>4</sequence>
|
||||
<costs>0</costs>
|
||||
<eventData/>
|
||||
<interfaces/>
|
||||
</custom>
|
||||
</event>
|
||||
</events>
|
||||
<subProcesses/>
|
||||
<distribution/>
|
||||
<labels>
|
||||
<label id="Account no. changed"/>
|
||||
<label id="Approve Change"/>
|
||||
<label id="First Payment"/>
|
||||
<label id="_ROW_"/>
|
||||
</labels>
|
||||
<labelMappings>
|
||||
<labelMapping eventId="Activity0" labelId="Account no. changed"/>
|
||||
<labelMapping eventId="Activity1" labelId="Approve Change"/>
|
||||
<labelMapping eventId="Activity2" labelId="First Payment"/>
|
||||
<labelMapping eventId="Activity3" labelId="_ROW_"/>
|
||||
</labelMappings>
|
||||
<expressions/>
|
||||
<variables/>
|
||||
<variableAccesses>
|
||||
<writeAccesses/>
|
||||
</variableAccesses>
|
||||
<custom>
|
||||
<keywords/>
|
||||
<roles/>
|
||||
<groups/>
|
||||
<phases/>
|
||||
<eventTypes/>
|
||||
<eventParameters/>
|
||||
<graphDetails>DCR Process</graphDetails>
|
||||
<graphDocumentation/>
|
||||
<graphLanguage>en-US</graphLanguage>
|
||||
<graphDomain>process</graphDomain>
|
||||
<graphFilters>
|
||||
<filteredGroups/>
|
||||
<filteredRoles/>
|
||||
<filteredPhases/>
|
||||
</graphFilters>
|
||||
<hightlighterMarkup id="HLM"/>
|
||||
<highlighterMarkup>
|
||||
<highlightLayers/>
|
||||
<highlights/>
|
||||
</highlighterMarkup>
|
||||
</custom>
|
||||
</resources>
|
||||
<constraints>
|
||||
<conditions/>
|
||||
<responses>
|
||||
<response sourceId="Activity0" targetId="Activity1" filterLevel="1" description="" time="" groups=""/>
|
||||
</responses>
|
||||
<coresponses/>
|
||||
<excludes/>
|
||||
<includes/>
|
||||
<milestones>
|
||||
<milestone sourceId="Activity1" targetId="Activity2" filterLevel="1" description="" time="" groups=""/>
|
||||
</milestones>
|
||||
<updates/>
|
||||
<spawns/>
|
||||
<templateSpawns/>
|
||||
</constraints>
|
||||
</specification>
|
||||
<runtime>
|
||||
<custom>
|
||||
<globalMarking/>
|
||||
</custom>
|
||||
<marking>
|
||||
<globalStore/>
|
||||
<executed/>
|
||||
<included>
|
||||
<event id="Activity0"/>
|
||||
<event id="Activity1"/>
|
||||
<event id="Activity2"/>
|
||||
<event id="Activity3"/>
|
||||
</included>
|
||||
<pendingResponses/>
|
||||
</marking>
|
||||
</runtime>
|
||||
</dcrgraph>
|
||||
179
Assignment-2/data/rule6.xml
Normal file
179
Assignment-2/data/rule6.xml
Normal file
@ -0,0 +1,179 @@
|
||||
<dcrgraph title="rule6" dataTypesStatus="hide" filterLevel="-1" insightFilter="false" zoomLevel="0" formGroupStyle="Normal" formLayoutStyle="Horizontal" formShowPendingCount="true" graphBG="#f1f6fe" graphType="0" exercise="false">
|
||||
<meta>
|
||||
<graph id="1480481" hash="54775AF2A6C3DAACB2E9AD4C97738729" guid="40819B81-DC3D-42E8-B231-0AF85BC72E1D" OwnerName="Therese Lyngby" OwnerId="136173" categoryId="7218" categoryTitle="Default" Keywords=""/>
|
||||
<revision id="3049183" type="minor" date="2023-01-06T10:48:01.540"/>
|
||||
<organization id="1" name="Community"/>
|
||||
</meta>
|
||||
<specification>
|
||||
<resources>
|
||||
<events>
|
||||
<event id="Activity0">
|
||||
<precondition message=""/>
|
||||
<custom>
|
||||
<visualization>
|
||||
<location xLoc="300" yLoc="75"/>
|
||||
<colors bg="#f9f7ed" textStroke="#000000" stroke="#cccccc"/>
|
||||
</visualization>
|
||||
<roles>
|
||||
<role/>
|
||||
</roles>
|
||||
<readRoles>
|
||||
<readRole/>
|
||||
</readRoles>
|
||||
<groups>
|
||||
<group/>
|
||||
</groups>
|
||||
<phases>
|
||||
<phase/>
|
||||
</phases>
|
||||
<eventType/>
|
||||
<eventScope>private</eventScope>
|
||||
<eventTypeData/>
|
||||
<eventDescription/>
|
||||
<purpose/>
|
||||
<guide/>
|
||||
<insight use="false"/>
|
||||
<level>1</level>
|
||||
<sequence>1</sequence>
|
||||
<costs>0</costs>
|
||||
<eventData/>
|
||||
<interfaces/>
|
||||
</custom>
|
||||
</event>
|
||||
<event id="Activity1">
|
||||
<precondition message=""/>
|
||||
<custom>
|
||||
<visualization>
|
||||
<location xLoc="450" yLoc="75"/>
|
||||
<colors bg="#f9f7ed" textStroke="#000000" stroke="#cccccc"/>
|
||||
</visualization>
|
||||
<roles>
|
||||
<role/>
|
||||
</roles>
|
||||
<readRoles>
|
||||
<readRole/>
|
||||
</readRoles>
|
||||
<groups>
|
||||
<group/>
|
||||
</groups>
|
||||
<phases>
|
||||
<phase/>
|
||||
</phases>
|
||||
<eventType/>
|
||||
<eventScope>private</eventScope>
|
||||
<eventTypeData/>
|
||||
<eventDescription/>
|
||||
<purpose/>
|
||||
<guide/>
|
||||
<insight use="false"/>
|
||||
<level>1</level>
|
||||
<sequence>2</sequence>
|
||||
<costs>0</costs>
|
||||
<eventData/>
|
||||
<interfaces/>
|
||||
</custom>
|
||||
</event>
|
||||
<event id="Activity2">
|
||||
<precondition message=""/>
|
||||
<custom>
|
||||
<visualization>
|
||||
<location xLoc="600" yLoc="75"/>
|
||||
<colors bg="#f9f7ed" textStroke="#000000" stroke="#cccccc"/>
|
||||
</visualization>
|
||||
<roles>
|
||||
<role/>
|
||||
</roles>
|
||||
<readRoles>
|
||||
<readRole/>
|
||||
</readRoles>
|
||||
<groups>
|
||||
<group/>
|
||||
</groups>
|
||||
<phases>
|
||||
<phase/>
|
||||
</phases>
|
||||
<eventType/>
|
||||
<eventScope>private</eventScope>
|
||||
<eventTypeData/>
|
||||
<eventDescription/>
|
||||
<purpose/>
|
||||
<guide/>
|
||||
<insight use="false"/>
|
||||
<level>1</level>
|
||||
<sequence>3</sequence>
|
||||
<costs>0</costs>
|
||||
<eventData/>
|
||||
<interfaces/>
|
||||
</custom>
|
||||
</event>
|
||||
</events>
|
||||
<subProcesses/>
|
||||
<distribution/>
|
||||
<labels>
|
||||
<label id="_ROW_"/>
|
||||
<label id="Change Phase to Payout"/>
|
||||
<label id="First Payment"/>
|
||||
</labels>
|
||||
<labelMappings>
|
||||
<labelMapping eventId="Activity0" labelId="_ROW_"/>
|
||||
<labelMapping eventId="Activity1" labelId="Change Phase to Payout"/>
|
||||
<labelMapping eventId="Activity2" labelId="First Payment"/>
|
||||
</labelMappings>
|
||||
<expressions/>
|
||||
<variables/>
|
||||
<variableAccesses>
|
||||
<writeAccesses/>
|
||||
</variableAccesses>
|
||||
<custom>
|
||||
<keywords/>
|
||||
<roles/>
|
||||
<groups/>
|
||||
<phases/>
|
||||
<eventTypes/>
|
||||
<eventParameters/>
|
||||
<graphDetails>DCR Process</graphDetails>
|
||||
<graphDocumentation/>
|
||||
<graphLanguage>en-US</graphLanguage>
|
||||
<graphDomain>process</graphDomain>
|
||||
<graphFilters>
|
||||
<filteredGroups/>
|
||||
<filteredRoles/>
|
||||
<filteredPhases/>
|
||||
</graphFilters>
|
||||
<hightlighterMarkup id="HLM"/>
|
||||
<highlighterMarkup>
|
||||
<highlightLayers/>
|
||||
<highlights/>
|
||||
</highlighterMarkup>
|
||||
</custom>
|
||||
</resources>
|
||||
<constraints>
|
||||
<conditions/>
|
||||
<responses>
|
||||
<response sourceId="Activity1" targetId="Activity2" filterLevel="1" description="" time="" groups=""/>
|
||||
</responses>
|
||||
<coresponses/>
|
||||
<excludes/>
|
||||
<includes/>
|
||||
<milestones/>
|
||||
<updates/>
|
||||
<spawns/>
|
||||
<templateSpawns/>
|
||||
</constraints>
|
||||
</specification>
|
||||
<runtime>
|
||||
<custom>
|
||||
<globalMarking/>
|
||||
</custom>
|
||||
<marking>
|
||||
<globalStore/>
|
||||
<executed/>
|
||||
<included>
|
||||
<event id="Activity0"/>
|
||||
<event id="Activity1"/>
|
||||
<event id="Activity2"/>
|
||||
</included>
|
||||
<pendingResponses/>
|
||||
</marking>
|
||||
</runtime>
|
||||
</dcrgraph>
|
||||
220
Assignment-2/data/rule7.xml
Normal file
220
Assignment-2/data/rule7.xml
Normal file
@ -0,0 +1,220 @@
|
||||
<dcrgraph title="rule7" dataTypesStatus="hide" filterLevel="-1" insightFilter="false" zoomLevel="0" formGroupStyle="Normal" formLayoutStyle="Horizontal" formShowPendingCount="true" graphBG="#f1f6fe" graphType="0" exercise="false">
|
||||
<meta>
|
||||
<graph id="1480482" hash="F134B05387140990B55F59112D1C2877" guid="7176E3D5-46DF-4D97-B7A4-8AC9DC358FB9" OwnerName="Therese Lyngby" OwnerId="136173" categoryId="7218" categoryTitle="Default" Keywords=""/>
|
||||
<revision id="3049213" type="minor" date="2023-01-06T10:49:55.223"/>
|
||||
<organization id="1" name="Community"/>
|
||||
</meta>
|
||||
<specification>
|
||||
<resources>
|
||||
<events>
|
||||
<event id="Activity0">
|
||||
<precondition message=""/>
|
||||
<custom>
|
||||
<visualization>
|
||||
<location xLoc="300" yLoc="75"/>
|
||||
<colors bg="#f9f7ed" textStroke="#000000" stroke="#cccccc"/>
|
||||
</visualization>
|
||||
<roles>
|
||||
<role/>
|
||||
</roles>
|
||||
<readRoles>
|
||||
<readRole/>
|
||||
</readRoles>
|
||||
<groups>
|
||||
<group/>
|
||||
</groups>
|
||||
<phases>
|
||||
<phase/>
|
||||
</phases>
|
||||
<eventType/>
|
||||
<eventScope>private</eventScope>
|
||||
<eventTypeData/>
|
||||
<eventDescription/>
|
||||
<purpose/>
|
||||
<guide/>
|
||||
<insight use="false"/>
|
||||
<level>1</level>
|
||||
<sequence>1</sequence>
|
||||
<costs>0</costs>
|
||||
<eventData/>
|
||||
<interfaces/>
|
||||
</custom>
|
||||
</event>
|
||||
<event id="Activity1">
|
||||
<precondition message=""/>
|
||||
<custom>
|
||||
<visualization>
|
||||
<location xLoc="450" yLoc="75"/>
|
||||
<colors bg="#f9f7ed" textStroke="#000000" stroke="#cccccc"/>
|
||||
</visualization>
|
||||
<roles>
|
||||
<role/>
|
||||
</roles>
|
||||
<readRoles>
|
||||
<readRole/>
|
||||
</readRoles>
|
||||
<groups>
|
||||
<group/>
|
||||
</groups>
|
||||
<phases>
|
||||
<phase/>
|
||||
</phases>
|
||||
<eventType/>
|
||||
<eventScope>private</eventScope>
|
||||
<eventTypeData/>
|
||||
<eventDescription/>
|
||||
<purpose/>
|
||||
<guide/>
|
||||
<insight use="false"/>
|
||||
<level>1</level>
|
||||
<sequence>2</sequence>
|
||||
<costs>0</costs>
|
||||
<eventData/>
|
||||
<interfaces/>
|
||||
</custom>
|
||||
</event>
|
||||
<event id="Activity2">
|
||||
<precondition message=""/>
|
||||
<custom>
|
||||
<visualization>
|
||||
<location xLoc="450" yLoc="225"/>
|
||||
<colors bg="#f9f7ed" textStroke="#000000" stroke="#cccccc"/>
|
||||
</visualization>
|
||||
<roles>
|
||||
<role/>
|
||||
</roles>
|
||||
<readRoles>
|
||||
<readRole/>
|
||||
</readRoles>
|
||||
<groups>
|
||||
<group/>
|
||||
</groups>
|
||||
<phases>
|
||||
<phase/>
|
||||
</phases>
|
||||
<eventType/>
|
||||
<eventScope>private</eventScope>
|
||||
<eventTypeData/>
|
||||
<eventDescription/>
|
||||
<purpose/>
|
||||
<guide/>
|
||||
<insight use="false"/>
|
||||
<level>1</level>
|
||||
<sequence>3</sequence>
|
||||
<costs>0</costs>
|
||||
<eventData/>
|
||||
<interfaces/>
|
||||
</custom>
|
||||
</event>
|
||||
<event id="Activity3">
|
||||
<precondition message=""/>
|
||||
<custom>
|
||||
<visualization>
|
||||
<location xLoc="300" yLoc="225"/>
|
||||
<colors bg="#f9f7ed" textStroke="#000000" stroke="#cccccc"/>
|
||||
</visualization>
|
||||
<roles>
|
||||
<role/>
|
||||
</roles>
|
||||
<readRoles>
|
||||
<readRole/>
|
||||
</readRoles>
|
||||
<groups>
|
||||
<group/>
|
||||
</groups>
|
||||
<phases>
|
||||
<phase/>
|
||||
</phases>
|
||||
<eventType/>
|
||||
<eventScope>private</eventScope>
|
||||
<eventTypeData/>
|
||||
<eventDescription/>
|
||||
<purpose/>
|
||||
<guide/>
|
||||
<insight use="false"/>
|
||||
<level>1</level>
|
||||
<sequence>4</sequence>
|
||||
<costs>0</costs>
|
||||
<eventData/>
|
||||
<interfaces/>
|
||||
</custom>
|
||||
</event>
|
||||
</events>
|
||||
<subProcesses/>
|
||||
<distribution/>
|
||||
<labels>
|
||||
<label id="Change Phase to payout"/>
|
||||
<label id="Change phase to end report"/>
|
||||
<label id="First Payment"/>
|
||||
<label id="_ROW_"/>
|
||||
</labels>
|
||||
<labelMappings>
|
||||
<labelMapping eventId="Activity0" labelId="Change Phase to payout"/>
|
||||
<labelMapping eventId="Activity1" labelId="Change phase to end report"/>
|
||||
<labelMapping eventId="Activity2" labelId="First Payment"/>
|
||||
<labelMapping eventId="Activity3" labelId="_ROW_"/>
|
||||
</labelMappings>
|
||||
<expressions>
|
||||
<expression id="Activity2-path-Activity1--exclude" value="not(true)"/>
|
||||
</expressions>
|
||||
<variables/>
|
||||
<variableAccesses>
|
||||
<writeAccesses/>
|
||||
</variableAccesses>
|
||||
<custom>
|
||||
<keywords/>
|
||||
<roles/>
|
||||
<groups/>
|
||||
<phases/>
|
||||
<eventTypes/>
|
||||
<eventParameters/>
|
||||
<graphDetails>DCR Process</graphDetails>
|
||||
<graphDocumentation/>
|
||||
<graphLanguage>en-US</graphLanguage>
|
||||
<graphDomain>process</graphDomain>
|
||||
<graphFilters>
|
||||
<filteredGroups/>
|
||||
<filteredRoles/>
|
||||
<filteredPhases/>
|
||||
</graphFilters>
|
||||
<hightlighterMarkup id="HLM"/>
|
||||
<highlighterMarkup>
|
||||
<highlightLayers/>
|
||||
<highlights/>
|
||||
</highlighterMarkup>
|
||||
</custom>
|
||||
</resources>
|
||||
<constraints>
|
||||
<conditions/>
|
||||
<responses/>
|
||||
<coresponses/>
|
||||
<excludes>
|
||||
<exclude sourceId="Activity0" targetId="Activity1" filterLevel="1" description="" time="" groups=""/>
|
||||
<exclude sourceId="Activity2" targetId="Activity1" filterLevel="1" description="" time="" groups="" expressionId="Activity2-path-Activity1--exclude" link="Activity2--include--Activity1"/>
|
||||
</excludes>
|
||||
<includes>
|
||||
<include sourceId="Activity2" targetId="Activity1" filterLevel="1" description="" time="" groups="" link="Activity2--include--Activity1"/>
|
||||
</includes>
|
||||
<milestones/>
|
||||
<updates/>
|
||||
<spawns/>
|
||||
<templateSpawns/>
|
||||
</constraints>
|
||||
</specification>
|
||||
<runtime>
|
||||
<custom>
|
||||
<globalMarking/>
|
||||
</custom>
|
||||
<marking>
|
||||
<globalStore/>
|
||||
<executed/>
|
||||
<included>
|
||||
<event id="Activity0"/>
|
||||
<event id="Activity1"/>
|
||||
<event id="Activity2"/>
|
||||
<event id="Activity3"/>
|
||||
</included>
|
||||
<pendingResponses/>
|
||||
</marking>
|
||||
</runtime>
|
||||
</dcrgraph>
|
||||
181
Assignment-2/data/rule8.xml
Normal file
181
Assignment-2/data/rule8.xml
Normal file
@ -0,0 +1,181 @@
|
||||
<dcrgraph title="rule8" dataTypesStatus="hide" filterLevel="-1" insightFilter="false" zoomLevel="0" formGroupStyle="Normal" formLayoutStyle="Horizontal" formShowPendingCount="true" graphBG="#f1f6fe" graphType="0" exercise="false">
|
||||
<meta>
|
||||
<graph id="1480483" hash="2766BDF9AAF6D17154A4D3BD24D9B2F7" guid="73A649F7-AF27-4841-8006-3F7D50B6311D" OwnerName="Therese Lyngby" OwnerId="136173" categoryId="7218" categoryTitle="Default" Keywords=""/>
|
||||
<revision id="3049241" type="minor" date="2023-01-06T10:52:01.030"/>
|
||||
<organization id="1" name="Community"/>
|
||||
</meta>
|
||||
<specification>
|
||||
<resources>
|
||||
<events>
|
||||
<event id="Activity1">
|
||||
<precondition message=""/>
|
||||
<custom>
|
||||
<visualization>
|
||||
<location xLoc="300" yLoc="425"/>
|
||||
<colors bg="#f9f7ed" textStroke="#000000" stroke="#cccccc"/>
|
||||
</visualization>
|
||||
<roles>
|
||||
<role/>
|
||||
</roles>
|
||||
<readRoles>
|
||||
<readRole/>
|
||||
</readRoles>
|
||||
<groups>
|
||||
<group/>
|
||||
</groups>
|
||||
<phases>
|
||||
<phase/>
|
||||
</phases>
|
||||
<eventType/>
|
||||
<eventScope>private</eventScope>
|
||||
<eventTypeData/>
|
||||
<eventDescription/>
|
||||
<purpose/>
|
||||
<guide/>
|
||||
<insight use="false"/>
|
||||
<level>1</level>
|
||||
<sequence>2</sequence>
|
||||
<costs>0</costs>
|
||||
<eventData/>
|
||||
<interfaces/>
|
||||
</custom>
|
||||
</event>
|
||||
<event id="Activity2" type="subprocess">
|
||||
<precondition message=""/>
|
||||
<custom>
|
||||
<visualization>
|
||||
<location xLoc="275" yLoc="25"/>
|
||||
<colors bg="#f9f7ed" textStroke="#000000" stroke="#cccccc"/>
|
||||
</visualization>
|
||||
<roles>
|
||||
<role/>
|
||||
</roles>
|
||||
<readRoles>
|
||||
<readRole/>
|
||||
</readRoles>
|
||||
<groups>
|
||||
<group/>
|
||||
</groups>
|
||||
<phases>
|
||||
<phase/>
|
||||
</phases>
|
||||
<eventType/>
|
||||
<eventScope>private</eventScope>
|
||||
<eventTypeData/>
|
||||
<eventDescription/>
|
||||
<purpose/>
|
||||
<guide/>
|
||||
<insight use="false"/>
|
||||
<level>1</level>
|
||||
<sequence>3</sequence>
|
||||
<costs>0</costs>
|
||||
<eventData/>
|
||||
<interfaces/>
|
||||
</custom>
|
||||
<event id="Activity0">
|
||||
<precondition message=""/>
|
||||
<custom>
|
||||
<visualization>
|
||||
<location xLoc="300" yLoc="75"/>
|
||||
<colors bg="#f9f7ed" textStroke="#000000" stroke="#cccccc"/>
|
||||
</visualization>
|
||||
<roles>
|
||||
<role/>
|
||||
</roles>
|
||||
<readRoles>
|
||||
<readRole/>
|
||||
</readRoles>
|
||||
<groups>
|
||||
<group/>
|
||||
</groups>
|
||||
<phases>
|
||||
<phase/>
|
||||
</phases>
|
||||
<eventType/>
|
||||
<eventScope>private</eventScope>
|
||||
<eventTypeData/>
|
||||
<eventDescription/>
|
||||
<purpose/>
|
||||
<guide/>
|
||||
<insight use="false"/>
|
||||
<level>1</level>
|
||||
<sequence>1</sequence>
|
||||
<costs>0</costs>
|
||||
<eventData/>
|
||||
<interfaces/>
|
||||
</custom>
|
||||
</event>
|
||||
</event>
|
||||
</events>
|
||||
<subProcesses/>
|
||||
<distribution/>
|
||||
<labels>
|
||||
<label id="Execute abandon"/>
|
||||
<label id="Change phase to abandon"/>
|
||||
<label id="_ROW_"/>
|
||||
</labels>
|
||||
<labelMappings>
|
||||
<labelMapping eventId="Activity0" labelId="Execute abandon"/>
|
||||
<labelMapping eventId="Activity1" labelId="Change phase to abandon"/>
|
||||
<labelMapping eventId="Activity2" labelId="_ROW_"/>
|
||||
</labelMappings>
|
||||
<expressions/>
|
||||
<variables/>
|
||||
<variableAccesses>
|
||||
<writeAccesses/>
|
||||
</variableAccesses>
|
||||
<custom>
|
||||
<keywords/>
|
||||
<roles/>
|
||||
<groups/>
|
||||
<phases/>
|
||||
<eventTypes/>
|
||||
<eventParameters/>
|
||||
<graphDetails>DCR Process</graphDetails>
|
||||
<graphDocumentation/>
|
||||
<graphLanguage>en-US</graphLanguage>
|
||||
<graphDomain>process</graphDomain>
|
||||
<graphFilters>
|
||||
<filteredGroups/>
|
||||
<filteredRoles/>
|
||||
<filteredPhases/>
|
||||
</graphFilters>
|
||||
<hightlighterMarkup id="HLM"/>
|
||||
<highlighterMarkup>
|
||||
<highlightLayers/>
|
||||
<highlights/>
|
||||
</highlighterMarkup>
|
||||
</custom>
|
||||
</resources>
|
||||
<constraints>
|
||||
<conditions/>
|
||||
<responses/>
|
||||
<coresponses/>
|
||||
<excludes>
|
||||
<exclude sourceId="Activity0" targetId="Activity2" filterLevel="1" description="" time="" groups=""/>
|
||||
</excludes>
|
||||
<includes>
|
||||
<include sourceId="Activity0" targetId="Activity1" filterLevel="1" description="" time="" groups=""/>
|
||||
</includes>
|
||||
<milestones/>
|
||||
<updates/>
|
||||
<spawns/>
|
||||
<templateSpawns/>
|
||||
</constraints>
|
||||
</specification>
|
||||
<runtime>
|
||||
<custom>
|
||||
<globalMarking/>
|
||||
</custom>
|
||||
<marking>
|
||||
<globalStore/>
|
||||
<executed/>
|
||||
<included>
|
||||
<event id="Activity0"/>
|
||||
<event id="Activity1"/>
|
||||
<event id="Activity2"/>
|
||||
</included>
|
||||
<pendingResponses/>
|
||||
</marking>
|
||||
</runtime>
|
||||
</dcrgraph>
|
||||
Reference in New Issue
Block a user