task_signature.dia
<?xml version="1.0" encoding="UTF-8"?>
<dia:diagram xmlns:dia="http://www.lysator.liu.se/~alla/dia/">
<dia:diagramdata>
<dia:attribute name="background">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="pagebreak">
<dia:color val="#000099"/>
</dia:attribute>
<dia:attribute name="paper">
<dia:composite type="paper">
<dia:attribute name="name">
<dia:string>#A4#</dia:string>
</dia:attribute>
<dia:attribute name="tmargin">
<dia:real val="2.8222000598907471"/>
</dia:attribute>
<dia:attribute name="bmargin">
<dia:real val="2.8222000598907471"/>
</dia:attribute>
<dia:attribute name="lmargin">
<dia:real val="2.8222000598907471"/>
</dia:attribute>
<dia:attribute name="rmargin">
<dia:real val="2.8222000598907471"/>
</dia:attribute>
<dia:attribute name="is_portrait">
<dia:boolean val="true"/>
</dia:attribute>
<dia:attribute name="scaling">
<dia:real val="1"/>
</dia:attribute>
<dia:attribute name="fitto">
<dia:boolean val="false"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="grid">
<dia:composite type="grid">
<dia:attribute name="width_x">
<dia:real val="1"/>
</dia:attribute>
<dia:attribute name="width_y">
<dia:real val="1"/>
</dia:attribute>
<dia:attribute name="visible_x">
<dia:int val="1"/>
</dia:attribute>
<dia:attribute name="visible_y">
<dia:int val="1"/>
</dia:attribute>
<dia:composite type="color"/>
</dia:composite>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#d8e5e5"/>
</dia:attribute>
<dia:attribute name="guides">
<dia:composite type="guides">
<dia:attribute name="hguides"/>
<dia:attribute name="vguides"/>
</dia:composite>
</dia:attribute>
</dia:diagramdata>
<dia:layer name="Fondo" visible="true" active="true">
<dia:object type="UML - State Term" version="0" id="O0">
<dia:attribute name="obj_pos">
<dia:point val="10.7475,-1.35"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="10.6975,-1.4;11.7975,-0.3"/>
</dia:attribute>
<dia:attribute name="meta">
<dia:composite type="dict"/>
</dia:attribute>
<dia:attribute name="elem_corner">
<dia:point val="10.7475,-1.35"/>
</dia:attribute>
<dia:attribute name="elem_width">
<dia:real val="1"/>
</dia:attribute>
<dia:attribute name="elem_height">
<dia:real val="1"/>
</dia:attribute>
<dia:attribute name="line_colour">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="fill_colour">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="is_final">
<dia:boolean val="false"/>
</dia:attribute>
</dia:object>
<dia:object type="UML - State Term" version="0" id="O1">
<dia:attribute name="obj_pos">
<dia:point val="10.4975,28.85"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="10.4475,28.8;12.0475,30.4"/>
</dia:attribute>
<dia:attribute name="meta">
<dia:composite type="dict"/>
</dia:attribute>
<dia:attribute name="elem_corner">
<dia:point val="10.4975,28.85"/>
</dia:attribute>
<dia:attribute name="elem_width">
<dia:real val="1.5"/>
</dia:attribute>
<dia:attribute name="elem_height">
<dia:real val="1.5"/>
</dia:attribute>
<dia:attribute name="line_colour">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="fill_colour">
<dia:color val="#ffffff"/>
</dia:attribute>
<dia:attribute name="is_final">
<dia:boolean val="true"/>
</dia:attribute>
</dia:object>
<dia:object type="UML - Activity" version="0" id="O2">
<dia:attribute name="obj_pos">
<dia:point val="16.9206,10.25"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="16.8706,10.2;23.3331,12.1"/>
</dia:attribute>
<dia:attribute name="meta">
<dia:composite type="dict"/>
</dia:attribute>
<dia:attribute name="elem_corner">
<dia:point val="16.9206,10.25"/>
</dia:attribute>
<dia:attribute name="elem_width">
<dia:real val="6.3624999999999998"/>
</dia:attribute>
<dia:attribute name="elem_height">
<dia:real val="1.8"/>
</dia:attribute>
<dia:attribute name="line_colour">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="fill_colour">
<dia:color val="#fffea6"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#Execute the task#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="0.80000000000000004"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="20.1018,11.345"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="1"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
</dia:object>
<dia:object type="UML - Branch" version="0" id="O3">
<dia:attribute name="obj_pos">
<dia:point val="10.2475,10.15"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="10.1768,10.0793;12.3182,12.2207"/>
</dia:attribute>
<dia:attribute name="meta">
<dia:composite type="dict"/>
</dia:attribute>
<dia:attribute name="elem_corner">
<dia:point val="10.2475,10.15"/>
</dia:attribute>
<dia:attribute name="elem_width">
<dia:real val="2"/>
</dia:attribute>
<dia:attribute name="elem_height">
<dia:real val="2"/>
</dia:attribute>
<dia:attribute name="line_colour">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="fill_colour">
<dia:color val="#aef9a5"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O4">
<dia:attribute name="obj_pos">
<dia:point val="12.6,10.65"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="12.6,10.055;13.3975,10.8"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#no#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="0.80000000000000004"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="12.6,10.65"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="0"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="3"/>
</dia:attribute>
</dia:object>
<dia:object type="UML - Branch" version="0" id="O5">
<dia:attribute name="obj_pos">
<dia:point val="10.2475,14.35"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="10.1768,14.2793;12.3182,16.4207"/>
</dia:attribute>
<dia:attribute name="meta">
<dia:composite type="dict"/>
</dia:attribute>
<dia:attribute name="elem_corner">
<dia:point val="10.2475,14.35"/>
</dia:attribute>
<dia:attribute name="elem_width">
<dia:real val="2"/>
</dia:attribute>
<dia:attribute name="elem_height">
<dia:real val="2"/>
</dia:attribute>
<dia:attribute name="line_colour">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="fill_colour">
<dia:color val="#aef9a5"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O6">
<dia:attribute name="obj_pos">
<dia:point val="2.93131,15"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="2.93131,14.405;9.21631,16.75"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#Do the current and
previous signatures
match?#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="0.80000000000000004"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="2.93131,15"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="0"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="3"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O7">
<dia:attribute name="obj_pos">
<dia:point val="12.6,14.75"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="12.6,14.155;13.3975,14.9"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#no#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="0.80000000000000004"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="12.6,14.75"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="0"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="3"/>
</dia:attribute>
</dia:object>
<dia:object type="UML - Activity" version="0" id="O8">
<dia:attribute name="obj_pos">
<dia:point val="16.0743,21.15"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="16.0243,21.1;24.1793,23.8"/>
</dia:attribute>
<dia:attribute name="meta">
<dia:composite type="dict"/>
</dia:attribute>
<dia:attribute name="elem_corner">
<dia:point val="16.0743,21.15"/>
</dia:attribute>
<dia:attribute name="elem_width">
<dia:real val="8.0549999999999997"/>
</dia:attribute>
<dia:attribute name="elem_height">
<dia:real val="2.6000000000000001"/>
</dia:attribute>
<dia:attribute name="line_colour">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="fill_colour">
<dia:color val="#fffea6"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#Associate the task uid
to the signature#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="0.80000000000000004"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="20.1018,22.245"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="1"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
</dia:object>
<dia:object type="UML - Activity" version="0" id="O9">
<dia:attribute name="obj_pos">
<dia:point val="7.1275,1.15"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="7.0775,1.1;15.4175,3.8"/>
</dia:attribute>
<dia:attribute name="meta">
<dia:composite type="dict"/>
</dia:attribute>
<dia:attribute name="elem_corner">
<dia:point val="7.1275,1.15"/>
</dia:attribute>
<dia:attribute name="elem_width">
<dia:real val="8.2400000000000002"/>
</dia:attribute>
<dia:attribute name="elem_height">
<dia:real val="2.6000000000000001"/>
</dia:attribute>
<dia:attribute name="line_colour">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="fill_colour">
<dia:color val="#fffea6"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#Compute the task
identifier (method uid)#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="0.80000000000000004"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="11.2475,2.245"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="1"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O10">
<dia:attribute name="obj_pos">
<dia:point val="28.95,19.9"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="28.95,19.305;34.9325,21.65"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#Task was executed
successfully
and not skipped#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="0.80000000000000004"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="28.95,19.9"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="0"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="3"/>
</dia:attribute>
</dia:object>
<dia:object type="UML - Branch" version="0" id="O11">
<dia:attribute name="obj_pos">
<dia:point val="26.95,21.45"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="26.8793,21.3793;29.0207,23.5207"/>
</dia:attribute>
<dia:attribute name="meta">
<dia:composite type="dict"/>
</dia:attribute>
<dia:attribute name="elem_corner">
<dia:point val="26.95,21.45"/>
</dia:attribute>
<dia:attribute name="elem_width">
<dia:real val="2"/>
</dia:attribute>
<dia:attribute name="elem_height">
<dia:real val="2"/>
</dia:attribute>
<dia:attribute name="line_colour">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="fill_colour">
<dia:color val="#aef9a5"/>
</dia:attribute>
</dia:object>
<dia:object type="UML - Activity" version="0" id="O12">
<dia:attribute name="obj_pos">
<dia:point val="6.28,5.525"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="6.23,5.475;16.265,8.175"/>
</dia:attribute>
<dia:attribute name="meta">
<dia:composite type="dict"/>
</dia:attribute>
<dia:attribute name="elem_corner">
<dia:point val="6.28,5.525"/>
</dia:attribute>
<dia:attribute name="elem_width">
<dia:real val="9.9349999999999987"/>
</dia:attribute>
<dia:attribute name="elem_height">
<dia:real val="2.6000000000000001"/>
</dia:attribute>
<dia:attribute name="line_colour">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="fill_colour">
<dia:color val="#fffea6"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#Compute the task signature
(method signature)#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="0.80000000000000004"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="11.2475,6.62"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="1"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Line" version="0" id="O13">
<dia:attribute name="obj_pos">
<dia:point val="11.2475,3.75"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="10.8857,3.7;11.6093,5.6368"/>
</dia:attribute>
<dia:attribute name="conn_endpoints">
<dia:point val="11.2475,3.75"/>
<dia:point val="11.2475,5.525"/>
</dia:attribute>
<dia:attribute name="numcp">
<dia:int val="1"/>
</dia:attribute>
<dia:attribute name="end_arrow">
<dia:enum val="22"/>
</dia:attribute>
<dia:attribute name="end_arrow_length">
<dia:real val="0.5"/>
</dia:attribute>
<dia:attribute name="end_arrow_width">
<dia:real val="0.5"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O9" connection="6"/>
<dia:connection handle="1" to="O12" connection="1"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - Line" version="0" id="O14">
<dia:attribute name="obj_pos">
<dia:point val="11.2475,8.125"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="10.8857,8.075;11.6093,10.2618"/>
</dia:attribute>
<dia:attribute name="conn_endpoints">
<dia:point val="11.2475,8.125"/>
<dia:point val="11.2475,10.15"/>
</dia:attribute>
<dia:attribute name="numcp">
<dia:int val="1"/>
</dia:attribute>
<dia:attribute name="end_arrow">
<dia:enum val="22"/>
</dia:attribute>
<dia:attribute name="end_arrow_length">
<dia:real val="0.5"/>
</dia:attribute>
<dia:attribute name="end_arrow_width">
<dia:real val="0.5"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O12" connection="6"/>
<dia:connection handle="1" to="O3" connection="1"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - Line" version="0" id="O15">
<dia:attribute name="obj_pos">
<dia:point val="12.2475,11.15"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="12.1975,10.7882;17.0324,11.5118"/>
</dia:attribute>
<dia:attribute name="conn_endpoints">
<dia:point val="12.2475,11.15"/>
<dia:point val="16.9206,11.15"/>
</dia:attribute>
<dia:attribute name="numcp">
<dia:int val="1"/>
</dia:attribute>
<dia:attribute name="end_arrow">
<dia:enum val="22"/>
</dia:attribute>
<dia:attribute name="end_arrow_length">
<dia:real val="0.5"/>
</dia:attribute>
<dia:attribute name="end_arrow_width">
<dia:real val="0.5"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O3" connection="2"/>
<dia:connection handle="1" to="O2" connection="3"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - Line" version="0" id="O16">
<dia:attribute name="obj_pos">
<dia:point val="11.2475,12.15"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="10.8857,12.1;11.6093,14.4618"/>
</dia:attribute>
<dia:attribute name="conn_endpoints">
<dia:point val="11.2475,12.15"/>
<dia:point val="11.2475,14.35"/>
</dia:attribute>
<dia:attribute name="numcp">
<dia:int val="1"/>
</dia:attribute>
<dia:attribute name="end_arrow">
<dia:enum val="22"/>
</dia:attribute>
<dia:attribute name="end_arrow_length">
<dia:real val="0.5"/>
</dia:attribute>
<dia:attribute name="end_arrow_width">
<dia:real val="0.5"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O3" connection="3"/>
<dia:connection handle="1" to="O5" connection="1"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - ZigZagLine" version="1" id="O17">
<dia:attribute name="obj_pos">
<dia:point val="12.2475,15.35"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="12.1975,11.9382;20.4637,15.4"/>
</dia:attribute>
<dia:attribute name="orth_points">
<dia:point val="12.2475,15.35"/>
<dia:point val="20.1018,15.35"/>
<dia:point val="20.1018,12.05"/>
</dia:attribute>
<dia:attribute name="orth_orient">
<dia:enum val="0"/>
<dia:enum val="1"/>
</dia:attribute>
<dia:attribute name="autorouting">
<dia:boolean val="true"/>
</dia:attribute>
<dia:attribute name="end_arrow">
<dia:enum val="22"/>
</dia:attribute>
<dia:attribute name="end_arrow_length">
<dia:real val="0.5"/>
</dia:attribute>
<dia:attribute name="end_arrow_width">
<dia:real val="0.5"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O5" connection="2"/>
<dia:connection handle="1" to="O2" connection="6"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O18">
<dia:attribute name="obj_pos">
<dia:point val="2.95,10.725"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="2.95,10.13;10.2225,12.475"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#Is a previous signature
associated to the uid
present?#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="0.80000000000000004"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="2.95,10.725"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="0"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="3"/>
</dia:attribute>
</dia:object>
<dia:object type="UML - Branch" version="0" id="O19">
<dia:attribute name="obj_pos">
<dia:point val="10.2475,18.9"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="10.1768,18.8293;12.3182,20.9707"/>
</dia:attribute>
<dia:attribute name="meta">
<dia:composite type="dict"/>
</dia:attribute>
<dia:attribute name="elem_corner">
<dia:point val="10.2475,18.9"/>
</dia:attribute>
<dia:attribute name="elem_width">
<dia:real val="2"/>
</dia:attribute>
<dia:attribute name="elem_height">
<dia:real val="2"/>
</dia:attribute>
<dia:attribute name="line_colour">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="fill_colour">
<dia:color val="#aef9a5"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Line" version="0" id="O20">
<dia:attribute name="obj_pos">
<dia:point val="11.2475,16.35"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="10.8857,16.3;11.6093,19.0118"/>
</dia:attribute>
<dia:attribute name="conn_endpoints">
<dia:point val="11.2475,16.35"/>
<dia:point val="11.2475,18.9"/>
</dia:attribute>
<dia:attribute name="numcp">
<dia:int val="1"/>
</dia:attribute>
<dia:attribute name="end_arrow">
<dia:enum val="22"/>
</dia:attribute>
<dia:attribute name="end_arrow_length">
<dia:real val="0.5"/>
</dia:attribute>
<dia:attribute name="end_arrow_width">
<dia:real val="0.5"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O5" connection="3"/>
<dia:connection handle="1" to="O19" connection="1"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O21">
<dia:attribute name="obj_pos">
<dia:point val="2.95,19.1"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="2.95,18.505;9.73,20.85"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#Are the output nodes
associated to the
same signature?#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="0.80000000000000004"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="2.95,19.1"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="0"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="3"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - ZigZagLine" version="1" id="O22">
<dia:attribute name="obj_pos">
<dia:point val="27.95,23.45"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="11.8857,23.4;28,29.9618"/>
</dia:attribute>
<dia:attribute name="orth_points">
<dia:point val="27.95,23.45"/>
<dia:point val="27.95,29.6"/>
<dia:point val="11.9975,29.6"/>
</dia:attribute>
<dia:attribute name="orth_orient">
<dia:enum val="1"/>
<dia:enum val="0"/>
</dia:attribute>
<dia:attribute name="autorouting">
<dia:boolean val="true"/>
</dia:attribute>
<dia:attribute name="end_arrow">
<dia:enum val="22"/>
</dia:attribute>
<dia:attribute name="end_arrow_length">
<dia:real val="0.5"/>
</dia:attribute>
<dia:attribute name="end_arrow_width">
<dia:real val="0.5"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O11" connection="3"/>
<dia:connection handle="1" to="O1" connection="4"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - ZigZagLine" version="1" id="O23">
<dia:attribute name="obj_pos">
<dia:point val="23.2831,11.15"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="23.2331,11.1;28.3118,21.5618"/>
</dia:attribute>
<dia:attribute name="orth_points">
<dia:point val="23.2831,11.15"/>
<dia:point val="27.95,11.15"/>
<dia:point val="27.95,21.45"/>
</dia:attribute>
<dia:attribute name="orth_orient">
<dia:enum val="0"/>
<dia:enum val="1"/>
</dia:attribute>
<dia:attribute name="autorouting">
<dia:boolean val="true"/>
</dia:attribute>
<dia:attribute name="end_arrow">
<dia:enum val="22"/>
</dia:attribute>
<dia:attribute name="end_arrow_length">
<dia:real val="0.5"/>
</dia:attribute>
<dia:attribute name="end_arrow_width">
<dia:real val="0.5"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O2" connection="4"/>
<dia:connection handle="1" to="O11" connection="1"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - ZigZagLine" version="1" id="O24">
<dia:attribute name="obj_pos">
<dia:point val="12.2475,19.9"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="12.1975,11.9382;20.4637,19.95"/>
</dia:attribute>
<dia:attribute name="orth_points">
<dia:point val="12.2475,19.9"/>
<dia:point val="20.1018,19.9"/>
<dia:point val="20.1018,12.05"/>
</dia:attribute>
<dia:attribute name="orth_orient">
<dia:enum val="0"/>
<dia:enum val="1"/>
</dia:attribute>
<dia:attribute name="autorouting">
<dia:boolean val="true"/>
</dia:attribute>
<dia:attribute name="end_arrow">
<dia:enum val="22"/>
</dia:attribute>
<dia:attribute name="end_arrow_length">
<dia:real val="0.5"/>
</dia:attribute>
<dia:attribute name="end_arrow_width">
<dia:real val="0.5"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O19" connection="2"/>
<dia:connection handle="1" to="O2" connection="6"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O25">
<dia:attribute name="obj_pos">
<dia:point val="12.6,19.25"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="12.6,18.655;13.3975,19.4"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#no#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="0.80000000000000004"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="12.6,19.25"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="0"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="3"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Line" version="0" id="O26">
<dia:attribute name="obj_pos">
<dia:point val="26.95,22.45"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="24.0175,22.0882;27,22.8118"/>
</dia:attribute>
<dia:attribute name="conn_endpoints">
<dia:point val="26.95,22.45"/>
<dia:point val="24.1293,22.45"/>
</dia:attribute>
<dia:attribute name="numcp">
<dia:int val="1"/>
</dia:attribute>
<dia:attribute name="end_arrow">
<dia:enum val="22"/>
</dia:attribute>
<dia:attribute name="end_arrow_length">
<dia:real val="0.5"/>
</dia:attribute>
<dia:attribute name="end_arrow_width">
<dia:real val="0.5"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O11" connection="0"/>
<dia:connection handle="1" to="O8" connection="4"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - Line" version="0" id="O27">
<dia:attribute name="obj_pos">
<dia:point val="11.2475,20.9"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="10.8857,20.85;11.6093,28.9618"/>
</dia:attribute>
<dia:attribute name="conn_endpoints">
<dia:point val="11.2475,20.9"/>
<dia:point val="11.2475,28.85"/>
</dia:attribute>
<dia:attribute name="numcp">
<dia:int val="1"/>
</dia:attribute>
<dia:attribute name="end_arrow">
<dia:enum val="22"/>
</dia:attribute>
<dia:attribute name="end_arrow_length">
<dia:real val="0.5"/>
</dia:attribute>
<dia:attribute name="end_arrow_width">
<dia:real val="0.5"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O19" connection="3"/>
<dia:connection handle="1" to="O1" connection="1"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - Line" version="0" id="O28">
<dia:attribute name="obj_pos">
<dia:point val="11.2475,-0.301172"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="10.8857,-0.351172;11.6093,1.2618"/>
</dia:attribute>
<dia:attribute name="conn_endpoints">
<dia:point val="11.2475,-0.301172"/>
<dia:point val="11.2475,1.15"/>
</dia:attribute>
<dia:attribute name="numcp">
<dia:int val="1"/>
</dia:attribute>
<dia:attribute name="end_arrow">
<dia:enum val="22"/>
</dia:attribute>
<dia:attribute name="end_arrow_length">
<dia:real val="0.5"/>
</dia:attribute>
<dia:attribute name="end_arrow_width">
<dia:real val="0.5"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O0" connection="8"/>
<dia:connection handle="1" to="O9" connection="1"/>
</dia:connections>
</dia:object>
<dia:object type="UML - Activity" version="0" id="O29">
<dia:attribute name="obj_pos">
<dia:point val="15.7481,25.225"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="15.6981,25.175;24.5056,27.875"/>
</dia:attribute>
<dia:attribute name="meta">
<dia:composite type="dict"/>
</dia:attribute>
<dia:attribute name="elem_corner">
<dia:point val="15.7481,25.225"/>
</dia:attribute>
<dia:attribute name="elem_width">
<dia:real val="8.7074999999999996"/>
</dia:attribute>
<dia:attribute name="elem_height">
<dia:real val="2.6000000000000001"/>
</dia:attribute>
<dia:attribute name="line_colour">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="fill_colour">
<dia:color val="#fffea6"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#Store the task signature
on the output nodes#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="0.80000000000000004"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="20.1018,26.32"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="1"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Line" version="0" id="O30">
<dia:attribute name="obj_pos">
<dia:point val="20.1018,23.75"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="19.74,23.7;20.4636,25.3368"/>
</dia:attribute>
<dia:attribute name="conn_endpoints">
<dia:point val="20.1018,23.75"/>
<dia:point val="20.1018,25.225"/>
</dia:attribute>
<dia:attribute name="numcp">
<dia:int val="1"/>
</dia:attribute>
<dia:attribute name="end_arrow">
<dia:enum val="22"/>
</dia:attribute>
<dia:attribute name="end_arrow_length">
<dia:real val="0.5"/>
</dia:attribute>
<dia:attribute name="end_arrow_width">
<dia:real val="0.5"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O8" connection="6"/>
<dia:connection handle="1" to="O29" connection="1"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - ZigZagLine" version="1" id="O31">
<dia:attribute name="obj_pos">
<dia:point val="15.7481,26.525"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="10.8857,26.475;15.7981,28.9618"/>
</dia:attribute>
<dia:attribute name="orth_points">
<dia:point val="15.7481,26.525"/>
<dia:point val="11.2475,26.525"/>
<dia:point val="11.2475,28.85"/>
</dia:attribute>
<dia:attribute name="orth_orient">
<dia:enum val="0"/>
<dia:enum val="1"/>
</dia:attribute>
<dia:attribute name="autorouting">
<dia:boolean val="true"/>
</dia:attribute>
<dia:attribute name="end_arrow">
<dia:enum val="22"/>
</dia:attribute>
<dia:attribute name="end_arrow_length">
<dia:real val="0.5"/>
</dia:attribute>
<dia:attribute name="end_arrow_width">
<dia:real val="0.5"/>
</dia:attribute>
<dia:connections>
<dia:connection handle="0" to="O29" connection="3"/>
<dia:connection handle="1" to="O1" connection="1"/>
</dia:connections>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O32">
<dia:attribute name="obj_pos">
<dia:point val="9.43131,12.72"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="9.43131,12.125;10.5388,12.87"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#yes#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="0.80000000000000004"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="9.43131,12.72"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="0"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="3"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O33">
<dia:attribute name="obj_pos">
<dia:point val="9.45,17.52"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="9.45,16.925;10.5575,17.67"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#yes#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="0.80000000000000004"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="9.45,17.52"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="0"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="3"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O34">
<dia:attribute name="obj_pos">
<dia:point val="9.45,21.745"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="9.45,21.15;10.5575,21.895"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#yes#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="0.80000000000000004"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="9.45,21.745"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="0"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="3"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O35">
<dia:attribute name="obj_pos">
<dia:point val="25.8,21.5"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="25.8,20.905;26.5625,21.65"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#ok#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="0.80000000000000004"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="25.8,21.5"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="0"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="3"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O36">
<dia:attribute name="obj_pos">
<dia:point val="8.45,-0.6375"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="8.45,-1.2325;10.0125,-0.4875"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#Start#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="0.80000000000000004"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="8.45,-0.6375"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="0"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="3"/>
</dia:attribute>
</dia:object>
<dia:object type="Standard - Text" version="1" id="O37">
<dia:attribute name="obj_pos">
<dia:point val="8.35,29.6875"/>
</dia:attribute>
<dia:attribute name="obj_bb">
<dia:rectangle val="8.35,29.0925;9.5675,29.8375"/>
</dia:attribute>
<dia:attribute name="text">
<dia:composite type="text">
<dia:attribute name="string">
<dia:string>#End#</dia:string>
</dia:attribute>
<dia:attribute name="font">
<dia:font family="sans" style="0" name="Helvetica"/>
</dia:attribute>
<dia:attribute name="height">
<dia:real val="0.80000000000000004"/>
</dia:attribute>
<dia:attribute name="pos">
<dia:point val="8.35,29.6875"/>
</dia:attribute>
<dia:attribute name="color">
<dia:color val="#000000"/>
</dia:attribute>
<dia:attribute name="alignment">
<dia:enum val="0"/>
</dia:attribute>
</dia:composite>
</dia:attribute>
<dia:attribute name="valign">
<dia:enum val="3"/>
</dia:attribute>
</dia:object>
</dia:layer>
</dia:diagram>