<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<xmi:XMI xmlns:uml="http://www.omg.org/spec/UML/20110701"
         xmlns:StandardProfile="http://www.omg.org/spec/UML/20131001/StandardProfile"
         xmlns:xmi="http://www.omg.org/spec/XMI/20110701"
         xmlns:SysML="http://www.omg.org/spec/SysML/20131001/SysML.xmi"
         xmlns:mofext="http://www.omg.org/spec/MOF/20131001"
         xmlns:LocalProfile="http://localhost/crystal-facet-uml/298b72db-cc85-4ed0-bd7b-01dc4efd52b4">
         <!-- XMI 2.4.1, UML 2.4.1, SysML 1.4, MOF 2.5.1 -->
    <xmi:Documentation exporter="crystal-facet-uml" exporterVersion="1.63.0"/>
    <uml:Model xmi:type="uml:Model" xmi:id="00000" name="export_test_17_interaction" >
        <packagedElement xmi:type="uml:Interaction" xmi:id="61000001" name="Interaction Overview" ><!--C1000001-->
            <lifeline xmi:type="uml:Lifeline" xmi:id="40001" name="" >
                <represents xmi:type="uml:Property" xmi:id="40001#ref" type="60001" />
            </lifeline>
            <message xmi:type="uml:Message" xmi:id="80001" name="" messageSort="asynchSignal" >
                <sendEvent xmi:type="uml:MessageOccurrenceSpecification" xmi:id="80001#sourceend" covered="40001" enclosingInteraction="61000001" />
                <receiveEvent xmi:type="uml:MessageOccurrenceSpecification" xmi:id="80001#targetend" covered="40002" enclosingInteraction="61000001" />
            </message>
            <fragment xmi:type="uml:InteractionUse" xmi:id="60002" name="Authenticate and Authorize" ><!--C0002-->
                <ownedComment xmi:type="uml:Comment" xmi:id="60002#specification" >
                    <body>
                        By providing a smart card and a pin, the user authenticates.
                        Autorization is done by querying a backend server.
                    </body>
                    <annotatedElement xmi:idref="60002" />
                </ownedComment>
            </fragment>
            <lifeline xmi:type="uml:Lifeline" xmi:id="40002" name="" >
                <represents xmi:type="uml:Property" xmi:id="40002#ref" type="60002" />
            </lifeline>
            <message xmi:type="uml:Message" xmi:id="80002" name="" messageSort="asynchSignal" >
                <sendEvent xmi:type="uml:MessageOccurrenceSpecification" xmi:id="80002#sourceend" covered="40002" enclosingInteraction="61000001" />
                <receiveEvent xmi:type="uml:MessageOccurrenceSpecification" xmi:id="80002#targetend" covered="40003" enclosingInteraction="61000001" />
            </message>
            <lifeline xmi:type="uml:Lifeline" xmi:id="40003" name="" >
                <represents xmi:type="uml:Property" xmi:id="40003#ref" type="60003" />
            </lifeline>
            <message xmi:type="uml:Message" xmi:id="80003" name="[yes]" messageSort="asynchSignal" >
                <sendEvent xmi:type="uml:MessageOccurrenceSpecification" xmi:id="80003#sourceend" covered="40003" enclosingInteraction="61000001" />
                <receiveEvent xmi:type="uml:MessageOccurrenceSpecification" xmi:id="80003#targetend" covered="40004" enclosingInteraction="61000001" />
            </message>
            <message xmi:type="uml:Message" xmi:id="80004" name="[no]" messageSort="asynchSignal" >
                <sendEvent xmi:type="uml:MessageOccurrenceSpecification" xmi:id="80004#sourceend" covered="40003" enclosingInteraction="61000001" />
                <receiveEvent xmi:type="uml:MessageOccurrenceSpecification" xmi:id="80004#targetend" covered="40005" enclosingInteraction="61000001" />
            </message>
            <fragment xmi:type="uml:InteractionUse" xmi:id="60004" name="Open Door" ><!--C0004-->
            </fragment>
            <lifeline xmi:type="uml:Lifeline" xmi:id="40004" name="" >
                <represents xmi:type="uml:Property" xmi:id="40004#ref" type="60004" />
            </lifeline>
            <message xmi:type="uml:Message" xmi:id="80005" name="" messageSort="asynchSignal" >
                <sendEvent xmi:type="uml:MessageOccurrenceSpecification" xmi:id="80005#sourceend" covered="40004" enclosingInteraction="61000001" />
                <receiveEvent xmi:type="uml:MessageOccurrenceSpecification" xmi:id="80005#targetend" covered="40005" enclosingInteraction="61000001" />
            </message>
            <lifeline xmi:type="uml:Lifeline" xmi:id="40005" name="" >
                <represents xmi:type="uml:Property" xmi:id="40005#ref" type="60005" />
            </lifeline>
        </packagedElement>
        <packagedElement xmi:type="uml:Activity" xmi:id="60006" name="Activity containing interaction elements" ><!--C0006-->
            <ownedComment xmi:type="uml:Comment" xmi:id="60006#specification" >
                <body>
                    This activity contains the elements shown in the interaction diagram D0001#id.
                    Because the interaction diagram just shows one scenario, this activity is needed to show the elements of that scenario.
                </body>
                <annotatedElement xmi:idref="60006" />
            </ownedComment>
            <node xmi:type="uml:InitialNode" xmi:id="60001" name="start" ><!--C0001-->
            </node>
            <node xmi:type="uml:DecisionNode" xmi:id="60003" name="valid?" ><!--C0003-->
            </node>
            <node xmi:type="uml:ActivityFinalNode" xmi:id="60005" name="finish" ><!--C0005-->
            </node>
        </packagedElement>
    </uml:Model>
</xmi:XMI>
