sam
/
TranslatingSCCDtoDEVS


			
				
					
						
						
							123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110
							<?xml version="1.1" ?>
<diagram author="Sam Pieters" name="DisassociateMultipleInstances">
    <description>
        Disassociate multiple instances
    </description>
    <outport name="Outport"/>
    <class name="MainApp" default="true">
        <relationships>
            <association name="linkA" class="A" />
        </relationships>
        <constructor>
            <body>
                self.association_name = None
            </body>
        </constructor>
        <scxml initial="state1">
            <state id="state1">
                <onentry>
                    <raise scope="cd" event="create_instance">
                        <parameter expr='"linkA"' />
                        <parameter expr='"A"' />
                    </raise>
                </onentry>
                <transition event='instance_created' target='../state2'>
                    <parameter name="association_name" type="string"/>
                    <script>
                        self.association_name = association_name
                    </script>
                    <raise port="Outport" event="instance_created_succesfully">
                        <parameter expr="association_name" />
                    </raise>
                    <raise scope="cd" event="start_instance">
                        <parameter expr="association_name" />
                    </raise>
                </transition>
            </state>
            <state id="state2">
                <onentry>
                    <raise scope="cd" event="create_instance">
                        <parameter expr='"linkA"' />
                        <parameter expr='"A"' />
                    </raise>
                </onentry>
                <transition event='instance_created' target='../state3'>
                    <parameter name="association_name" type="string"/>
                    <script>
                        self.association_name = association_name
                    </script>
                    <raise port="Outport" event="instance_created_succesfully">
                        <parameter expr="association_name" />
                    </raise>
                    <raise scope="cd" event="start_instance">
                        <parameter expr="association_name" />
                    </raise>
                </transition>
            </state>
            <state id="state3">
                <transition event='instance_started' target='../state4'>
                    <parameter name="association_name" type="string"/>
                    <raise port="Outport" event="instance_started_succesfully">
                        <parameter expr="association_name" />
                    </raise>
                    <raise scope="narrow" event="link_check" target="association_name">
                        <parameter expr="association_name" />
                    </raise>
                </transition>
            </state>
            <state id="state4">
                <onentry>
                    <raise scope="cd" event='disassociate_instance'>
                        <parameter expr='"linkA"' />
                    </raise>
                </onentry>
                <transition event='instance_disassociated' target='../state5'>
                    <parameter name='deleted_links' />
                    <raise port="Outport" event="instance_disassociated_succesfully">
                        <parameter expr="deleted_links" />
                    </raise>
                </transition>
            </state>
            <state id="state5">
                <onentry>
                    <raise scope="narrow" event="sanity_check" target="self.association_name" />
                </onentry>
            </state>
        </scxml>
    </class>

    <class name="A">
        <scxml initial="state1">
            <state id="state1">
                <onentry>
                    <raise port="Outport" event="statechart_started_succesfully" />
                </onentry>
                <transition target="../state2" />
            </state>
            <state id="state2">
                <transition event="link_check" target=".">
                    <parameter name='link_name' />
                    <raise port="Outport" event="instance_linked_succesfully">
                        <parameter expr="link_name" />
                    </raise>
                </transition>
                <transition event="sanity_check" target=".">
                    <raise port="Outport" event="not_possible" />
                </transition>
            </state>
        </scxml>
    </class>
</diagram>