blob: b98c21500c97d9667bb7a500da43547460d74dda [file]
<?xml version="1.0" encoding="UTF-8"?>
<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:UMLRealTime="http://www.eclipse.org/papyrus/umlrt" xmlns:css="http://www.eclipse.org/papyrus/infra/gmfdiag/css" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:style="http://www.eclipse.org/papyrus/infra/viewpoints/policy/style" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML">
<notation:Diagram xmi:id="__AomQGqhEeSAEqNd4uIZjA" type="PapyrusUMLClassDiagram" name="ClassDiagram" measurementUnit="Pixel">
<children xmi:type="notation:Shape" xmi:id="__AomQWqhEeSAEqNd4uIZjA" type="2008">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="__AomQmqhEeSAEqNd4uIZjA" source="Stereotype_Annotation">
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AomQ2qhEeSAEqNd4uIZjA" key="StereotypeWithQualifiedNameList" value=""/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AomRGqhEeSAEqNd4uIZjA" key="StereotypeList" value="UMLRealTime::Capsule"/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AomRWqhEeSAEqNd4uIZjA" key="Stereotype_Presentation_Kind" value="HorizontalStereo"/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AomRmqhEeSAEqNd4uIZjA" key="PropStereoDisplay" value=""/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AomR2qhEeSAEqNd4uIZjA" key="StereotypePropertyLocation" value="Compartment"/>
</eAnnotations>
<children xmi:type="notation:DecorationNode" xmi:id="__AomSGqhEeSAEqNd4uIZjA" type="5029"/>
<children xmi:type="notation:BasicCompartment" xmi:id="__AomSWqhEeSAEqNd4uIZjA" type="7017">
<styles xmi:type="notation:TitleStyle" xmi:id="__AomSmqhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:SortingStyle" xmi:id="__AomS2qhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:FilteringStyle" xmi:id="__AomTGqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AomTWqhEeSAEqNd4uIZjA"/>
</children>
<children xmi:type="notation:BasicCompartment" xmi:id="__AomTmqhEeSAEqNd4uIZjA" type="7018">
<styles xmi:type="notation:TitleStyle" xmi:id="__AomT2qhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:SortingStyle" xmi:id="__AomUGqhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:FilteringStyle" xmi:id="__AomUWqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AomUmqhEeSAEqNd4uIZjA"/>
</children>
<children xmi:type="notation:BasicCompartment" xmi:id="__AomU2qhEeSAEqNd4uIZjA" type="7019">
<styles xmi:type="notation:TitleStyle" xmi:id="__AomVGqhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:SortingStyle" xmi:id="__AomVWqhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:FilteringStyle" xmi:id="__AomVmqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AomV2qhEeSAEqNd4uIZjA"/>
</children>
<element xmi:type="uml:Class" href="SMEnabledTransitionSelection.uml#__AmKAGqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AomXmqhEeSAEqNd4uIZjA" x="49" y="61"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AomX2qhEeSAEqNd4uIZjA" type="2008">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="__AomYGqhEeSAEqNd4uIZjA" source="Stereotype_Annotation">
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AomYWqhEeSAEqNd4uIZjA" key="StereotypeWithQualifiedNameList" value=""/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AomYmqhEeSAEqNd4uIZjA" key="StereotypeList" value="UMLRealTime::Capsule"/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AomY2qhEeSAEqNd4uIZjA" key="Stereotype_Presentation_Kind" value="HorizontalStereo"/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AomZGqhEeSAEqNd4uIZjA" key="PropStereoDisplay" value=""/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AomZWqhEeSAEqNd4uIZjA" key="StereotypePropertyLocation" value="Compartment"/>
</eAnnotations>
<children xmi:type="notation:DecorationNode" xmi:id="__AomZmqhEeSAEqNd4uIZjA" type="5029"/>
<children xmi:type="notation:BasicCompartment" xmi:id="__ApNUGqhEeSAEqNd4uIZjA" type="7017">
<styles xmi:type="notation:TitleStyle" xmi:id="__ApNUWqhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:SortingStyle" xmi:id="__ApNUmqhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:FilteringStyle" xmi:id="__ApNU2qhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__ApNVGqhEeSAEqNd4uIZjA"/>
</children>
<children xmi:type="notation:BasicCompartment" xmi:id="__ApNVWqhEeSAEqNd4uIZjA" type="7018">
<styles xmi:type="notation:TitleStyle" xmi:id="__ApNVmqhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:SortingStyle" xmi:id="__ApNV2qhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:FilteringStyle" xmi:id="__ApNWGqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__ApNWWqhEeSAEqNd4uIZjA"/>
</children>
<children xmi:type="notation:BasicCompartment" xmi:id="__ApNWmqhEeSAEqNd4uIZjA" type="7019">
<styles xmi:type="notation:TitleStyle" xmi:id="__ApNW2qhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:SortingStyle" xmi:id="__ApNXGqhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:FilteringStyle" xmi:id="__ApNXWqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__ApNXmqhEeSAEqNd4uIZjA"/>
</children>
<element xmi:type="uml:Class" href="SMEnabledTransitionSelection.uml#__AmxEGqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__ApNZWqhEeSAEqNd4uIZjA" x="279" y="64"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__ApNZmqhEeSAEqNd4uIZjA" type="2007">
<children xmi:type="notation:DecorationNode" xmi:id="__ApNZ2qhEeSAEqNd4uIZjA" type="5026"/>
<children xmi:type="notation:DecorationNode" xmi:id="__ApNaGqhEeSAEqNd4uIZjA" type="7016">
<styles xmi:type="notation:TitleStyle" xmi:id="__ApNaWqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__ApNamqhEeSAEqNd4uIZjA"/>
</children>
<element xmi:type="uml:Package" href="SMEnabledTransitionSelection.uml#__An_MGqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__ApNbmqhEeSAEqNd4uIZjA" x="118" y="216"/>
</children>
<styles xmi:type="notation:StringValueStyle" xmi:id="__ApNb2qhEeSAEqNd4uIZjA" name="diagram_compatibility_version" stringValue="1.0.0"/>
<styles xmi:type="notation:DiagramStyle" xmi:id="__ApNcGqhEeSAEqNd4uIZjA"/>
<styles xmi:type="style:PapyrusViewStyle" xmi:id="__ApNcWqhEeSAEqNd4uIZjA">
<owner xmi:type="uml:Model" href="SMEnabledTransitionSelection.uml#_oJczIGqhEeSAEqNd4uIZjA"/>
</styles>
<element xmi:type="uml:Model" href="platform:/resource/SMTwoLevelNesting/SMTwoLevelNesting.uml#_H_kSgGODEeSBPbhgZ3skEA"/>
<edges xmi:type="notation:Connector" xmi:id="__ApNcmqhEeSAEqNd4uIZjA" type="4001" source="__AomQWqhEeSAEqNd4uIZjA" target="__AomX2qhEeSAEqNd4uIZjA">
<children xmi:type="notation:DecorationNode" xmi:id="__ApNc2qhEeSAEqNd4uIZjA" type="6001">
<layoutConstraint xmi:type="notation:Location" xmi:id="__ApNdGqhEeSAEqNd4uIZjA" y="-20"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__ApNdWqhEeSAEqNd4uIZjA" type="6002">
<layoutConstraint xmi:type="notation:Location" xmi:id="__ApNdmqhEeSAEqNd4uIZjA" y="20"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__ApNd2qhEeSAEqNd4uIZjA" type="6003">
<layoutConstraint xmi:type="notation:Location" xmi:id="__ApNeGqhEeSAEqNd4uIZjA" y="-20"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__ApNeWqhEeSAEqNd4uIZjA" type="6005">
<layoutConstraint xmi:type="notation:Location" xmi:id="__ApNemqhEeSAEqNd4uIZjA" y="20"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__ApNe2qhEeSAEqNd4uIZjA" type="6033">
<layoutConstraint xmi:type="notation:Location" xmi:id="__ApNfGqhEeSAEqNd4uIZjA" y="20"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__ApNfWqhEeSAEqNd4uIZjA" type="6034">
<layoutConstraint xmi:type="notation:Location" xmi:id="__ApNfmqhEeSAEqNd4uIZjA" y="-20"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="__ApNf2qhEeSAEqNd4uIZjA"/>
<element xmi:type="uml:Association" href="SMEnabledTransitionSelection.uml#__An_Q2qhEeSAEqNd4uIZjA"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="__ApNgGqhEeSAEqNd4uIZjA" points="[7, -1, -180, -7]$[137, -1, -50, -7]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="__ApNgWqhEeSAEqNd4uIZjA" id="(0.93,0.47)"/>
</edges>
</notation:Diagram>
<notation:Diagram xmi:id="__AqbcGqhEeSAEqNd4uIZjA" type="CompositeStructure" name="CompositeStructureDiagram" measurementUnit="Pixel">
<children xmi:type="notation:Shape" xmi:id="__AqbcWqhEeSAEqNd4uIZjA" type="2073">
<children xmi:type="notation:DecorationNode" xmi:id="__AqbcmqhEeSAEqNd4uIZjA" type="5156"/>
<children xmi:type="notation:BasicCompartment" xmi:id="__Aqbc2qhEeSAEqNd4uIZjA" type="7073">
<children xmi:type="notation:Shape" xmi:id="__AqbdGqhEeSAEqNd4uIZjA" type="3070">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="__AqbdWqhEeSAEqNd4uIZjA" source="Stereotype_Annotation">
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AqbdmqhEeSAEqNd4uIZjA" key="StereotypeWithQualifiedNameList" value=""/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__Aqbd2qhEeSAEqNd4uIZjA" key="StereotypeList" value="UMLRealTime::CapsulePart"/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AqbeGqhEeSAEqNd4uIZjA" key="Stereotype_Presentation_Kind" value="HorizontalStereo"/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AqbeWqhEeSAEqNd4uIZjA" key="PropStereoDisplay" value=""/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AqbemqhEeSAEqNd4uIZjA" key="StereotypePropertyLocation" value="Compartment"/>
</eAnnotations>
<children xmi:type="notation:DecorationNode" xmi:id="__Aqbe2qhEeSAEqNd4uIZjA" type="5126"/>
<children xmi:type="notation:BasicCompartment" xmi:id="__AqbfGqhEeSAEqNd4uIZjA" type="7077">
<styles xmi:type="notation:TitleStyle" xmi:id="__AqbfWqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AqbfmqhEeSAEqNd4uIZjA"/>
</children>
<element xmi:type="uml:Property" href="SMEnabledTransitionSelection.uml#__AmKAWqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AqbhWqhEeSAEqNd4uIZjA" x="41" y="34"/>
</children>
<styles xmi:type="notation:TitleStyle" xmi:id="__AqbhmqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__Aqbh2qhEeSAEqNd4uIZjA"/>
</children>
<element xmi:type="uml:Class" href="SMEnabledTransitionSelection.uml#__AmKAGqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AqbjmqhEeSAEqNd4uIZjA" x="54" y="49" width="227" height="160"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__Aqbj2qhEeSAEqNd4uIZjA" type="2073">
<children xmi:type="notation:DecorationNode" xmi:id="__AqbkGqhEeSAEqNd4uIZjA" type="5156"/>
<children xmi:type="notation:BasicCompartment" xmi:id="__AqbkWqhEeSAEqNd4uIZjA" type="7073">
<children xmi:type="notation:Shape" xmi:id="__AqbkmqhEeSAEqNd4uIZjA" type="3075">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="__Aqbk2qhEeSAEqNd4uIZjA" source="Stereotype_Annotation">
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AqblGqhEeSAEqNd4uIZjA" key="StereotypeWithQualifiedNameList" value=""/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AqblWqhEeSAEqNd4uIZjA" key="StereotypeList" value="UMLRealTimeStateMach::RTStateMachine"/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AqblmqhEeSAEqNd4uIZjA" key="Stereotype_Presentation_Kind" value="HorizontalStereo"/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__Aqbl2qhEeSAEqNd4uIZjA" key="PropStereoDisplay" value=""/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AqbmGqhEeSAEqNd4uIZjA" key="StereotypePropertyLocation" value="Compartment"/>
</eAnnotations>
<children xmi:type="notation:DecorationNode" xmi:id="__AqbmWqhEeSAEqNd4uIZjA" type="5131"/>
<children xmi:type="notation:BasicCompartment" xmi:id="__AqbmmqhEeSAEqNd4uIZjA" type="7053">
<styles xmi:type="notation:TitleStyle" xmi:id="__Aqbm2qhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AqbnGqhEeSAEqNd4uIZjA"/>
</children>
<element xmi:type="uml:StateMachine" href="SMEnabledTransitionSelection.uml#__AmxEmqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__Aqbo2qhEeSAEqNd4uIZjA" x="120" y="26"/>
</children>
<styles xmi:type="notation:TitleStyle" xmi:id="__AqbpGqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AqbpWqhEeSAEqNd4uIZjA"/>
</children>
<children xmi:type="notation:BasicCompartment" xmi:id="__AqbpmqhEeSAEqNd4uIZjA" visible="false" type="AppliedStereotypeCompartment">
<styles xmi:type="notation:TitleStyle" xmi:id="__Aqbp2qhEeSAEqNd4uIZjA" showTitle="true"/>
<element xmi:type="UMLRealTime:Capsule" href="platform:/resource/SMTwoLevelNesting/SMTwoLevelNesting.uml#_qWqegGODEeSBPbhgZ3skEA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AqbqGqhEeSAEqNd4uIZjA"/>
</children>
<children xmi:type="notation:BasicCompartment" xmi:id="__AqbqWqhEeSAEqNd4uIZjA" type="compartment_shape_display">
<styles xmi:type="notation:TitleStyle" xmi:id="__AqbqmqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__Aqbq2qhEeSAEqNd4uIZjA"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AqbrGqhEeSAEqNd4uIZjA" type="3069">
<children xmi:type="notation:DecorationNode" xmi:id="__AqbrWqhEeSAEqNd4uIZjA" type="5125">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AqbrmqhEeSAEqNd4uIZjA" x="25" y="3"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__Aqbr2qhEeSAEqNd4uIZjA" type="6029">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AqbsGqhEeSAEqNd4uIZjA" x="25" y="-10"/>
</children>
<element xmi:type="uml:Port" href="SMEnabledTransitionSelection.uml#__AmxEWqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AqbsWqhEeSAEqNd4uIZjA" x="-10" y="78" width="20" height="20"/>
</children>
<element xmi:type="uml:Class" href="SMEnabledTransitionSelection.uml#__AmxEGqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AqbsmqhEeSAEqNd4uIZjA" x="394" y="51" width="235" height="157"/>
</children>
<styles xmi:type="notation:StringValueStyle" xmi:id="__Aqbs2qhEeSAEqNd4uIZjA" name="diagram_compatibility_version" stringValue="1.0.0"/>
<styles xmi:type="notation:DiagramStyle" xmi:id="__AqbtGqhEeSAEqNd4uIZjA"/>
<styles xmi:type="style:PapyrusViewStyle" xmi:id="__AqbtWqhEeSAEqNd4uIZjA">
<owner xmi:type="uml:Model" href="SMEnabledTransitionSelection.uml#_oJczIGqhEeSAEqNd4uIZjA"/>
</styles>
<element xmi:type="uml:Model" href="platform:/resource/SMTwoLevelNesting/SMTwoLevelNesting.uml#_H_kSgGODEeSBPbhgZ3skEA"/>
</notation:Diagram>
<notation:Diagram xmi:id="__AsQoGqhEeSAEqNd4uIZjA" type="PapyrusUMLStateMachineDiagram" name="StateMachineDiagram" measurementUnit="Pixel">
<children xmi:type="notation:Shape" xmi:id="__AsQoWqhEeSAEqNd4uIZjA" type="2000">
<children xmi:type="notation:DecorationNode" xmi:id="__AsQomqhEeSAEqNd4uIZjA" type="2001">
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsQo2qhEeSAEqNd4uIZjA" width="1126" height="16"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__AsQpGqhEeSAEqNd4uIZjA" type="2002">
<children xmi:type="notation:Shape" xmi:id="__AsQpWqhEeSAEqNd4uIZjA" type="3000">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="__AsQpmqhEeSAEqNd4uIZjA" source="RegionAnnotationKey">
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AsQp2qhEeSAEqNd4uIZjA" key="RegionZoneKey" value=""/>
</eAnnotations>
<children xmi:type="notation:DecorationNode" xmi:id="__AsQqGqhEeSAEqNd4uIZjA" type="3002">
<children xmi:type="notation:Shape" xmi:id="__AsQqWqhEeSAEqNd4uIZjA" type="8000">
<children xmi:type="notation:DecorationNode" xmi:id="__AsQqmqhEeSAEqNd4uIZjA" type="8001">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AsQq2qhEeSAEqNd4uIZjA" x="25" y="3"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__AsQrGqhEeSAEqNd4uIZjA" type="8002">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AsQrWqhEeSAEqNd4uIZjA" x="25" y="-10"/>
</children>
<element xmi:type="uml:Pseudostate" href="SMEnabledTransitionSelection.uml#__AmxImqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsQrmqhEeSAEqNd4uIZjA" x="20" y="14"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AsQr2qhEeSAEqNd4uIZjA" type="6000">
<children xmi:type="notation:DecorationNode" xmi:id="__AsQsGqhEeSAEqNd4uIZjA" type="6001"/>
<children xmi:type="notation:DecorationNode" xmi:id="__AsQsWqhEeSAEqNd4uIZjA" type="6002">
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsQsmqhEeSAEqNd4uIZjA"/>
</children>
<element xmi:type="uml:State" href="SMEnabledTransitionSelection.uml#__AmxI2qhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsQtmqhEeSAEqNd4uIZjA" x="58" y="62"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AsQt2qhEeSAEqNd4uIZjA" type="6000">
<children xmi:type="notation:DecorationNode" xmi:id="__AsQuGqhEeSAEqNd4uIZjA" type="6001">
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsQuWqhEeSAEqNd4uIZjA" width="620" height="16"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__AsQumqhEeSAEqNd4uIZjA" type="6002">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="__AsQu2qhEeSAEqNd4uIZjA" source="PapyrusCSSForceValue">
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AsQvGqhEeSAEqNd4uIZjA" key="visible" value="true"/>
</eAnnotations>
<children xmi:type="notation:Shape" xmi:id="__AsQvWqhEeSAEqNd4uIZjA" type="3000">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="__AsQvmqhEeSAEqNd4uIZjA" source="RegionAnnotationKey">
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AsQv2qhEeSAEqNd4uIZjA" key="RegionZoneKey" value=""/>
</eAnnotations>
<children xmi:type="notation:DecorationNode" xmi:id="__AsQwGqhEeSAEqNd4uIZjA" type="3002">
<children xmi:type="notation:Shape" xmi:id="__AsQwWqhEeSAEqNd4uIZjA" type="8000">
<children xmi:type="notation:DecorationNode" xmi:id="__AsQwmqhEeSAEqNd4uIZjA" type="8001">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AsQw2qhEeSAEqNd4uIZjA" x="25" y="3"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__AsQxGqhEeSAEqNd4uIZjA" type="8002">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AsQxWqhEeSAEqNd4uIZjA" x="25" y="-10"/>
</children>
<element xmi:type="uml:Pseudostate" href="SMEnabledTransitionSelection.uml#__AmxPmqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsQxmqhEeSAEqNd4uIZjA" x="19" y="30"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AsQx2qhEeSAEqNd4uIZjA" type="6000">
<children xmi:type="notation:DecorationNode" xmi:id="__AsQyGqhEeSAEqNd4uIZjA" type="6001"/>
<children xmi:type="notation:DecorationNode" xmi:id="__AsQyWqhEeSAEqNd4uIZjA" type="6002">
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsQymqhEeSAEqNd4uIZjA"/>
</children>
<element xmi:type="uml:State" href="SMEnabledTransitionSelection.uml#__AmxP2qhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsQzmqhEeSAEqNd4uIZjA" x="89" y="67"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AsQz2qhEeSAEqNd4uIZjA" type="6000">
<children xmi:type="notation:DecorationNode" xmi:id="__AsQ0GqhEeSAEqNd4uIZjA" type="6001">
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsQ0WqhEeSAEqNd4uIZjA" width="242" height="16"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__AsQ0mqhEeSAEqNd4uIZjA" type="6002">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="__AsQ02qhEeSAEqNd4uIZjA" source="PapyrusCSSForceValue">
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AsQ1GqhEeSAEqNd4uIZjA" key="visible" value="true"/>
</eAnnotations>
<children xmi:type="notation:Shape" xmi:id="__AsQ1WqhEeSAEqNd4uIZjA" type="3000">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="__AsQ1mqhEeSAEqNd4uIZjA" source="RegionAnnotationKey">
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AsQ12qhEeSAEqNd4uIZjA" key="RegionZoneKey" value=""/>
</eAnnotations>
<children xmi:type="notation:DecorationNode" xmi:id="__AsQ2GqhEeSAEqNd4uIZjA" type="3002">
<children xmi:type="notation:Shape" xmi:id="__AsQ2WqhEeSAEqNd4uIZjA" type="8000">
<children xmi:type="notation:DecorationNode" xmi:id="__AsQ2mqhEeSAEqNd4uIZjA" type="8001">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AsQ22qhEeSAEqNd4uIZjA" x="25" y="3"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__AsQ3GqhEeSAEqNd4uIZjA" type="8002">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AsQ3WqhEeSAEqNd4uIZjA" x="25" y="-10"/>
</children>
<element xmi:type="uml:Pseudostate" href="SMEnabledTransitionSelection.uml#__AmxUmqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsQ3mqhEeSAEqNd4uIZjA" x="27" y="22"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AsQ32qhEeSAEqNd4uIZjA" type="6000">
<children xmi:type="notation:DecorationNode" xmi:id="__AsQ4GqhEeSAEqNd4uIZjA" type="6001"/>
<children xmi:type="notation:DecorationNode" xmi:id="__AsQ4WqhEeSAEqNd4uIZjA" type="6002">
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsQ4mqhEeSAEqNd4uIZjA"/>
</children>
<element xmi:type="uml:State" href="SMEnabledTransitionSelection.uml#__AmxU2qhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsQ5mqhEeSAEqNd4uIZjA" x="105" y="59"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AsQ52qhEeSAEqNd4uIZjA" type="6000">
<children xmi:type="notation:DecorationNode" xmi:id="__AsQ6GqhEeSAEqNd4uIZjA" type="6001"/>
<children xmi:type="notation:DecorationNode" xmi:id="__AsQ6WqhEeSAEqNd4uIZjA" type="6002">
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsQ6mqhEeSAEqNd4uIZjA"/>
</children>
<element xmi:type="uml:State" href="SMEnabledTransitionSelection.uml#__AmxVmqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsQ7mqhEeSAEqNd4uIZjA" x="102" y="190"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AsQ72qhEeSAEqNd4uIZjA" type="14000">
<children xmi:type="notation:DecorationNode" xmi:id="__AsQ8GqhEeSAEqNd4uIZjA" type="14001">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AsQ8WqhEeSAEqNd4uIZjA" x="25" y="3"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__AsQ8mqhEeSAEqNd4uIZjA" type="14002">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AsQ82qhEeSAEqNd4uIZjA" x="25" y="-10"/>
</children>
<element xmi:type="uml:Pseudostate" href="SMEnabledTransitionSelection.uml#__AmxWWqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsQ9GqhEeSAEqNd4uIZjA" x="198" y="122"/>
</children>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsQ9WqhEeSAEqNd4uIZjA"/>
</children>
<element xmi:type="uml:Region" href="SMEnabledTransitionSelection.uml#__AmxR2qhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsQ-WqhEeSAEqNd4uIZjA" width="242" height="275"/>
</children>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsQ-mqhEeSAEqNd4uIZjA" y="16" width="242" height="275"/>
</children>
<children xmi:type="notation:BasicCompartment" xmi:id="__AsQ-2qhEeSAEqNd4uIZjA" type="compartment_shape_display">
<styles xmi:type="notation:TitleStyle" xmi:id="__AsQ_GqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsQ_WqhEeSAEqNd4uIZjA"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AsQ_mqhEeSAEqNd4uIZjA" type="16000">
<children xmi:type="notation:DecorationNode" xmi:id="__AsQ_2qhEeSAEqNd4uIZjA" type="16001">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AsRAGqhEeSAEqNd4uIZjA" x="25" y="3"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__AsRAWqhEeSAEqNd4uIZjA" type="16002">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AsRAmqhEeSAEqNd4uIZjA" x="25" y="-10"/>
</children>
<element xmi:type="uml:Pseudostate" href="SMEnabledTransitionSelection.uml#__AmxQ2qhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsRA2qhEeSAEqNd4uIZjA" x="-10" y="211" width="20" height="20"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AsRBGqhEeSAEqNd4uIZjA" type="17000">
<children xmi:type="notation:DecorationNode" xmi:id="__AsRBWqhEeSAEqNd4uIZjA" type="17001">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AsRBmqhEeSAEqNd4uIZjA" x="25" y="3"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__AsRB2qhEeSAEqNd4uIZjA" type="17002">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AsRCGqhEeSAEqNd4uIZjA" x="25" y="-10"/>
</children>
<element xmi:type="uml:Pseudostate" href="SMEnabledTransitionSelection.uml#__AmxRGqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsRCWqhEeSAEqNd4uIZjA" x="232" y="219" width="20" height="20"/>
</children>
<element xmi:type="uml:State" href="SMEnabledTransitionSelection.uml#__AmxQmqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsRCmqhEeSAEqNd4uIZjA" x="217" y="63" width="242" height="291"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AsRC2qhEeSAEqNd4uIZjA" type="6000">
<children xmi:type="notation:DecorationNode" xmi:id="__AsRDGqhEeSAEqNd4uIZjA" type="6001"/>
<children xmi:type="notation:DecorationNode" xmi:id="__AsRDWqhEeSAEqNd4uIZjA" type="6002">
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsRDmqhEeSAEqNd4uIZjA"/>
</children>
<element xmi:type="uml:State" href="SMEnabledTransitionSelection.uml#__AmxWmqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsREmqhEeSAEqNd4uIZjA" x="535" y="79"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AsRE2qhEeSAEqNd4uIZjA" type="14000">
<children xmi:type="notation:DecorationNode" xmi:id="__AsRFGqhEeSAEqNd4uIZjA" type="14001">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AsRFWqhEeSAEqNd4uIZjA" y="-11"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__AsRFmqhEeSAEqNd4uIZjA" type="14002">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AsRF2qhEeSAEqNd4uIZjA" x="25" y="-10"/>
</children>
<element xmi:type="uml:Pseudostate" href="SMEnabledTransitionSelection.uml#__AmxXWqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsRGGqhEeSAEqNd4uIZjA" x="586" y="204"/>
</children>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsRGWqhEeSAEqNd4uIZjA"/>
</children>
<element xmi:type="uml:Region" href="SMEnabledTransitionSelection.uml#__AmxK2qhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsRHWqhEeSAEqNd4uIZjA" width="620" height="381"/>
</children>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsRHmqhEeSAEqNd4uIZjA" y="16" width="620" height="381"/>
</children>
<children xmi:type="notation:BasicCompartment" xmi:id="__AsRH2qhEeSAEqNd4uIZjA" type="compartment_shape_display">
<styles xmi:type="notation:TitleStyle" xmi:id="__AsRIGqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsRIWqhEeSAEqNd4uIZjA"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AsRImqhEeSAEqNd4uIZjA" type="17000">
<children xmi:type="notation:DecorationNode" xmi:id="__AsRI2qhEeSAEqNd4uIZjA" type="17001">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AsRJGqhEeSAEqNd4uIZjA" x="25" y="3"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__AsRJWqhEeSAEqNd4uIZjA" type="17002">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AsRJmqhEeSAEqNd4uIZjA" x="25" y="-10"/>
</children>
<element xmi:type="uml:Pseudostate" href="SMEnabledTransitionSelection.uml#__AmxJ2qhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsRJ2qhEeSAEqNd4uIZjA" x="610" y="129" width="20" height="20"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AsRKGqhEeSAEqNd4uIZjA" type="16000">
<children xmi:type="notation:DecorationNode" xmi:id="__AsRKWqhEeSAEqNd4uIZjA" type="16001">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AsRKmqhEeSAEqNd4uIZjA" x="25" y="3"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__AsRK2qhEeSAEqNd4uIZjA" type="16002">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AsRLGqhEeSAEqNd4uIZjA" x="25" y="-10"/>
</children>
<element xmi:type="uml:Pseudostate" href="SMEnabledTransitionSelection.uml#__AmxKGqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsRLWqhEeSAEqNd4uIZjA" x="610" y="313" width="20" height="20"/>
</children>
<element xmi:type="uml:State" href="SMEnabledTransitionSelection.uml#__AmxJmqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsRLmqhEeSAEqNd4uIZjA" x="182" y="48" width="620" height="397"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AsRL2qhEeSAEqNd4uIZjA" type="6000">
<children xmi:type="notation:DecorationNode" xmi:id="__AsRMGqhEeSAEqNd4uIZjA" type="6001"/>
<children xmi:type="notation:DecorationNode" xmi:id="__AsRMWqhEeSAEqNd4uIZjA" type="6002">
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsRMmqhEeSAEqNd4uIZjA"/>
</children>
<element xmi:type="uml:State" href="SMEnabledTransitionSelection.uml#__AmxXmqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsRNmqhEeSAEqNd4uIZjA" x="932" y="220"/>
</children>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsRN2qhEeSAEqNd4uIZjA"/>
</children>
<element xmi:type="uml:Region" href="SMEnabledTransitionSelection.uml#__AmxE2qhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsRO2qhEeSAEqNd4uIZjA" width="1126" height="487"/>
</children>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsRPGqhEeSAEqNd4uIZjA" y="16" width="1126" height="487"/>
</children>
<element xmi:type="uml:StateMachine" href="SMEnabledTransitionSelection.uml#__AmxEmqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AsRQ2qhEeSAEqNd4uIZjA" x="30" y="30" width="1126" height="503"/>
</children>
<styles xmi:type="notation:StringValueStyle" xmi:id="__AsRRGqhEeSAEqNd4uIZjA" name="diagram_compatibility_version" stringValue="1.0.0"/>
<styles xmi:type="notation:DiagramStyle" xmi:id="__AsRRWqhEeSAEqNd4uIZjA"/>
<styles xmi:type="style:PapyrusViewStyle" xmi:id="__AsRRmqhEeSAEqNd4uIZjA">
<owner xmi:type="uml:StateMachine" href="SMEnabledTransitionSelection.uml#__AmxEmqhEeSAEqNd4uIZjA"/>
</styles>
<element xmi:type="uml:StateMachine" href="SMEnabledTransitionSelection.uml#__AmxEmqhEeSAEqNd4uIZjA"/>
<edges xmi:type="notation:Connector" xmi:id="__AsRR2qhEeSAEqNd4uIZjA" type="7000" source="__AsQqWqhEeSAEqNd4uIZjA" target="__AsQr2qhEeSAEqNd4uIZjA">
<children xmi:type="notation:DecorationNode" xmi:id="__AsRSGqhEeSAEqNd4uIZjA" type="7001">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AsRSWqhEeSAEqNd4uIZjA" x="-3" y="-10"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__AsRSmqhEeSAEqNd4uIZjA" type="7002">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AsRS2qhEeSAEqNd4uIZjA" x="-3" y="9"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__AsRTGqhEeSAEqNd4uIZjA" type="7003">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AsRTWqhEeSAEqNd4uIZjA" y="60"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="__AsRTmqhEeSAEqNd4uIZjA"/>
<element xmi:type="uml:Transition" href="SMEnabledTransitionSelection.uml#__AmxFGqhEeSAEqNd4uIZjA"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="__AsRT2qhEeSAEqNd4uIZjA" points="[7, 10, -41, -48]$[40, 38, -8, -20]"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="__AsRUGqhEeSAEqNd4uIZjA" type="7000" source="__AsQr2qhEeSAEqNd4uIZjA" target="__AsQt2qhEeSAEqNd4uIZjA">
<children xmi:type="notation:DecorationNode" xmi:id="__AsRUWqhEeSAEqNd4uIZjA" type="7001">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AsRUmqhEeSAEqNd4uIZjA" x="-2" y="-11"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__AsRU2qhEeSAEqNd4uIZjA" type="7002">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AsRVGqhEeSAEqNd4uIZjA" x="-4" y="13"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__AsRVWqhEeSAEqNd4uIZjA" type="7003">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As3sGqhEeSAEqNd4uIZjA" y="60"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="__As3sWqhEeSAEqNd4uIZjA"/>
<element xmi:type="uml:Transition" href="SMEnabledTransitionSelection.uml#__AmxFmqhEeSAEqNd4uIZjA"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="__As3smqhEeSAEqNd4uIZjA" points="[20, 10, -105, -56]$[104, 54, -21, -12]"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="__As3s2qhEeSAEqNd4uIZjA" id="(0.03387096774193549,0.2518891687657431)"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="__As3tGqhEeSAEqNd4uIZjA" type="7000" source="__AsRImqhEeSAEqNd4uIZjA" target="__AsRL2qhEeSAEqNd4uIZjA">
<children xmi:type="notation:DecorationNode" xmi:id="__As3tWqhEeSAEqNd4uIZjA" type="7001">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As3tmqhEeSAEqNd4uIZjA" x="1" y="-13"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As3t2qhEeSAEqNd4uIZjA" type="7002">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As3uGqhEeSAEqNd4uIZjA" x="-6" y="10"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As3uWqhEeSAEqNd4uIZjA" type="7003">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As3umqhEeSAEqNd4uIZjA" y="60"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="__As3u2qhEeSAEqNd4uIZjA"/>
<element xmi:type="uml:Transition" href="SMEnabledTransitionSelection.uml#__AmxGWqhEeSAEqNd4uIZjA"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="__As3vGqhEeSAEqNd4uIZjA" points="[11, 3, -138, -39]$[144, 62, -5, 20]"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="__As3vWqhEeSAEqNd4uIZjA" type="7000" source="__AsRL2qhEeSAEqNd4uIZjA" target="__AsRE2qhEeSAEqNd4uIZjA">
<children xmi:type="notation:DecorationNode" xmi:id="__As3vmqhEeSAEqNd4uIZjA" type="7001">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As3v2qhEeSAEqNd4uIZjA" x="9" y="10"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As3wGqhEeSAEqNd4uIZjA" type="7002">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As3wWqhEeSAEqNd4uIZjA" x="4" y="-14"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As3wmqhEeSAEqNd4uIZjA" type="7003">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As3w2qhEeSAEqNd4uIZjA" y="60"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="__As3xGqhEeSAEqNd4uIZjA"/>
<element xmi:type="uml:Transition" href="SMEnabledTransitionSelection.uml#__AmxHGqhEeSAEqNd4uIZjA"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="__As3xWqhEeSAEqNd4uIZjA" points="[-20, 4, 152, -35]$[-161, 36, 11, -3]"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="__As3xmqhEeSAEqNd4uIZjA" type="7000" source="__AsRL2qhEeSAEqNd4uIZjA" target="__AsRKGqhEeSAEqNd4uIZjA">
<children xmi:type="notation:DecorationNode" xmi:id="__As3x2qhEeSAEqNd4uIZjA" type="7001">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As3yGqhEeSAEqNd4uIZjA" x="7" y="12"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As3yWqhEeSAEqNd4uIZjA" type="7002">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As3ymqhEeSAEqNd4uIZjA" x="-7" y="-13"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As3y2qhEeSAEqNd4uIZjA" type="7003">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As3zGqhEeSAEqNd4uIZjA" y="60"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="__As3zWqhEeSAEqNd4uIZjA"/>
<element xmi:type="uml:Transition" href="SMEnabledTransitionSelection.uml#__AmxH2qhEeSAEqNd4uIZjA"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="__As3zmqhEeSAEqNd4uIZjA" points="[-20, 16, 129, -116]$[-152, 121, -3, -11]"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="__As3z2qhEeSAEqNd4uIZjA" type="7000" source="__AsQwWqhEeSAEqNd4uIZjA" target="__AsQx2qhEeSAEqNd4uIZjA">
<children xmi:type="notation:DecorationNode" xmi:id="__As30GqhEeSAEqNd4uIZjA" type="7001">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As30WqhEeSAEqNd4uIZjA" x="1" y="-13"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As30mqhEeSAEqNd4uIZjA" type="7002">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As302qhEeSAEqNd4uIZjA" x="-8" y="9"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As31GqhEeSAEqNd4uIZjA" type="7003">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As31WqhEeSAEqNd4uIZjA" y="60"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="__As31mqhEeSAEqNd4uIZjA"/>
<element xmi:type="uml:Transition" href="SMEnabledTransitionSelection.uml#__AmxLGqhEeSAEqNd4uIZjA"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="__As312qhEeSAEqNd4uIZjA" points="[10, 6, -70, -41]$[76, 67, -4, 20]"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="__As32GqhEeSAEqNd4uIZjA" type="7000" source="__AsQx2qhEeSAEqNd4uIZjA" target="__AsQz2qhEeSAEqNd4uIZjA">
<children xmi:type="notation:DecorationNode" xmi:id="__As32WqhEeSAEqNd4uIZjA" type="7001">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As32mqhEeSAEqNd4uIZjA" x="-13" y="-10"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As322qhEeSAEqNd4uIZjA" type="7002">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As33GqhEeSAEqNd4uIZjA" x="-7" y="11"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As33WqhEeSAEqNd4uIZjA" type="7003">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As33mqhEeSAEqNd4uIZjA" y="60"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="__As332qhEeSAEqNd4uIZjA"/>
<element xmi:type="uml:Transition" href="SMEnabledTransitionSelection.uml#__AmxLmqhEeSAEqNd4uIZjA"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="__As34GqhEeSAEqNd4uIZjA" points="[20, 6, -100, -30]$[108, 26, -12, -10]"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="__As34WqhEeSAEqNd4uIZjA" id="(0.049586776859504134,0.20618556701030927)"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="__As34mqhEeSAEqNd4uIZjA" type="7000" source="__AsQx2qhEeSAEqNd4uIZjA" target="__AsQ_mqhEeSAEqNd4uIZjA">
<children xmi:type="notation:DecorationNode" xmi:id="__As342qhEeSAEqNd4uIZjA" type="7001">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As35GqhEeSAEqNd4uIZjA" x="-16" y="-12"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As35WqhEeSAEqNd4uIZjA" type="7002">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As35mqhEeSAEqNd4uIZjA" x="-5" y="11"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As352qhEeSAEqNd4uIZjA" type="7003">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As36GqhEeSAEqNd4uIZjA" y="60"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="__As36WqhEeSAEqNd4uIZjA"/>
<element xmi:type="uml:Transition" href="SMEnabledTransitionSelection.uml#__AmxMWqhEeSAEqNd4uIZjA"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="__As36mqhEeSAEqNd4uIZjA" points="[10, 20, -99, -178]$[108, 187, -1, -11]"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="__As362qhEeSAEqNd4uIZjA" type="7000" source="__AsQz2qhEeSAEqNd4uIZjA" target="__AsRC2qhEeSAEqNd4uIZjA">
<children xmi:type="notation:DecorationNode" xmi:id="__As37GqhEeSAEqNd4uIZjA" type="7001">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As37WqhEeSAEqNd4uIZjA" x="-5" y="-9"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As37mqhEeSAEqNd4uIZjA" type="7002">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As372qhEeSAEqNd4uIZjA" x="-4" y="10"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As38GqhEeSAEqNd4uIZjA" type="7003">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As38WqhEeSAEqNd4uIZjA" y="60"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="__As38mqhEeSAEqNd4uIZjA"/>
<element xmi:type="uml:Transition" href="SMEnabledTransitionSelection.uml#__AmxNGqhEeSAEqNd4uIZjA"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="__As382qhEeSAEqNd4uIZjA" points="[14, -3, -96, 13]$[104, -36, -6, -20]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="__As39GqhEeSAEqNd4uIZjA" id="(0.9421487603305785,0.13058419243986255)"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="__As39WqhEeSAEqNd4uIZjA" type="7000" source="__AsRC2qhEeSAEqNd4uIZjA" target="__AsQ72qhEeSAEqNd4uIZjA">
<children xmi:type="notation:DecorationNode" xmi:id="__As39mqhEeSAEqNd4uIZjA" type="7001">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As392qhEeSAEqNd4uIZjA" x="-3" y="10"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As3-GqhEeSAEqNd4uIZjA" type="7002">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As3-WqhEeSAEqNd4uIZjA" x="-10" y="-12"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As3-mqhEeSAEqNd4uIZjA" type="7003">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As3-2qhEeSAEqNd4uIZjA" y="60"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="__As3_GqhEeSAEqNd4uIZjA"/>
<element xmi:type="uml:Transition" href="SMEnabledTransitionSelection.uml#__AmxN2qhEeSAEqNd4uIZjA"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="__As3_WqhEeSAEqNd4uIZjA" points="[-20, 16, 108, -97]$[-132, 102, -4, -11]"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="__As3_mqhEeSAEqNd4uIZjA" type="7000" source="__AsRBGqhEeSAEqNd4uIZjA" target="__AsRC2qhEeSAEqNd4uIZjA">
<children xmi:type="notation:DecorationNode" xmi:id="__As3_2qhEeSAEqNd4uIZjA" type="7001">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As4AGqhEeSAEqNd4uIZjA" x="-2" y="-8"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As4AWqhEeSAEqNd4uIZjA" type="7002">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As4AmqhEeSAEqNd4uIZjA" x="1" y="13"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As4A2qhEeSAEqNd4uIZjA" type="7003">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As4BGqhEeSAEqNd4uIZjA" y="60"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="__As4BWqhEeSAEqNd4uIZjA"/>
<element xmi:type="uml:Transition" href="SMEnabledTransitionSelection.uml#__AmxOmqhEeSAEqNd4uIZjA"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="__As4BmqhEeSAEqNd4uIZjA" points="[4, -11, -91, 190]$[91, -221, -4, -20]"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="__As4B2qhEeSAEqNd4uIZjA" type="7000" source="__AsQ2WqhEeSAEqNd4uIZjA" target="__AsQ32qhEeSAEqNd4uIZjA">
<children xmi:type="notation:DecorationNode" xmi:id="__As4CGqhEeSAEqNd4uIZjA" type="7001">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As4CWqhEeSAEqNd4uIZjA" x="-5" y="-11"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As4CmqhEeSAEqNd4uIZjA" type="7002">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As4C2qhEeSAEqNd4uIZjA" x="-9" y="10"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As4DGqhEeSAEqNd4uIZjA" type="7003">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As4DWqhEeSAEqNd4uIZjA" y="60"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="__As4DmqhEeSAEqNd4uIZjA"/>
<element xmi:type="uml:Transition" href="SMEnabledTransitionSelection.uml#__AmxSGqhEeSAEqNd4uIZjA"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="__As4D2qhEeSAEqNd4uIZjA" points="[10, 5, -78, -42]$[88, 67, 0, 20]"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="__As4EGqhEeSAEqNd4uIZjA" type="7000" source="__AsQ32qhEeSAEqNd4uIZjA" target="__AsQ52qhEeSAEqNd4uIZjA">
<children xmi:type="notation:DecorationNode" xmi:id="__As4EWqhEeSAEqNd4uIZjA" type="7001">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As4EmqhEeSAEqNd4uIZjA" x="-1" y="14"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As4E2qhEeSAEqNd4uIZjA" type="7002">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As4FGqhEeSAEqNd4uIZjA" x="-1" y="-18"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As4FWqhEeSAEqNd4uIZjA" type="7003">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As4FmqhEeSAEqNd4uIZjA" y="60"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="__As4F2qhEeSAEqNd4uIZjA"/>
<element xmi:type="uml:Transition" href="SMEnabledTransitionSelection.uml#__AmxSmqhEeSAEqNd4uIZjA"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="__As4GGqhEeSAEqNd4uIZjA" points="[2, 20, 3, -88]$[2, 128, 3, 20]"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="__As4GWqhEeSAEqNd4uIZjA" type="7000" source="__AsQ_mqhEeSAEqNd4uIZjA" target="__AsQ52qhEeSAEqNd4uIZjA">
<children xmi:type="notation:DecorationNode" xmi:id="__As4GmqhEeSAEqNd4uIZjA" type="7001">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As4G2qhEeSAEqNd4uIZjA" y="-8"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As4HGqhEeSAEqNd4uIZjA" type="7002">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As4HWqhEeSAEqNd4uIZjA" x="6" y="6"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As4HmqhEeSAEqNd4uIZjA" type="7003">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As4H2qhEeSAEqNd4uIZjA" y="60"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="__As4IGqhEeSAEqNd4uIZjA"/>
<element xmi:type="uml:Transition" href="SMEnabledTransitionSelection.uml#__AmxTWqhEeSAEqNd4uIZjA"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="__As4IWqhEeSAEqNd4uIZjA" points="[11, -3, -113, 16]$[120, -39, -4, -20]"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="__As4ImqhEeSAEqNd4uIZjA" type="7000" source="__AsQ52qhEeSAEqNd4uIZjA" target="__AsRBGqhEeSAEqNd4uIZjA">
<children xmi:type="notation:DecorationNode" xmi:id="__As4I2qhEeSAEqNd4uIZjA" type="7001">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As4JGqhEeSAEqNd4uIZjA" y="-9"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As4JWqhEeSAEqNd4uIZjA" type="7002">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As4JmqhEeSAEqNd4uIZjA" x="1" y="10"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As4J2qhEeSAEqNd4uIZjA" type="7003">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As4KGqhEeSAEqNd4uIZjA" y="60"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="__As4KWqhEeSAEqNd4uIZjA"/>
<element xmi:type="uml:Transition" href="SMEnabledTransitionSelection.uml#__AmxT2qhEeSAEqNd4uIZjA"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="__As4KmqhEeSAEqNd4uIZjA" points="[20, 9, -93, 0]$[109, 7, -4, -2]"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="__As4K2qhEeSAEqNd4uIZjA" id="(0.18181818181818182,0.4090909090909091)"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="__As4LGqhEeSAEqNd4uIZjA" type="7000" source="__AsRKGqhEeSAEqNd4uIZjA" target="__AsQ72qhEeSAEqNd4uIZjA">
<children xmi:type="notation:DecorationNode" xmi:id="__As4LWqhEeSAEqNd4uIZjA" type="7001">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As4LmqhEeSAEqNd4uIZjA" x="-16" y="13"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As4L2qhEeSAEqNd4uIZjA" type="7002">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As4MGqhEeSAEqNd4uIZjA" x="-14" y="-8"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__As4MWqhEeSAEqNd4uIZjA" type="7003">
<layoutConstraint xmi:type="notation:Location" xmi:id="__As4MmqhEeSAEqNd4uIZjA" y="60"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="__As4M2qhEeSAEqNd4uIZjA"/>
<element xmi:type="uml:Transition" href="SMEnabledTransitionSelection.uml#__AmxPGqhEeSAEqNd4uIZjA"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="__As4NGqhEeSAEqNd4uIZjA" points="[-11, -6, 182, 90]$[-195, -85, -2, 11]"/>
</edges>
</notation:Diagram>
<notation:Diagram xmi:id="__AxwMGqhEeSAEqNd4uIZjA" type="PapyrusUMLClassDiagram" name="ProtocolDiagram" measurementUnit="Pixel">
<children xmi:type="notation:Shape" xmi:id="__AxwMWqhEeSAEqNd4uIZjA" type="2097">
<children xmi:type="notation:DecorationNode" xmi:id="__AxwMmqhEeSAEqNd4uIZjA" type="5157"/>
<element xmi:type="uml:Collaboration" href="SMEnabledTransitionSelection.uml#__An_MWqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AxwOWqhEeSAEqNd4uIZjA" x="350" y="60"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AxwOmqhEeSAEqNd4uIZjA" type="2004">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="__AxwO2qhEeSAEqNd4uIZjA" source="Stereotype_Annotation">
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AxwPGqhEeSAEqNd4uIZjA" key="StereotypeWithQualifiedNameList" value=""/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AxwPWqhEeSAEqNd4uIZjA" key="StereotypeList" value="UMLRealTime::RTMessageSet"/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AxwPmqhEeSAEqNd4uIZjA" key="Stereotype_Presentation_Kind" value="HorizontalStereo"/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AxwP2qhEeSAEqNd4uIZjA" key="PropStereoDisplay" value=""/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AxwQGqhEeSAEqNd4uIZjA" key="StereotypePropertyLocation" value="Compartment"/>
</eAnnotations>
<children xmi:type="notation:DecorationNode" xmi:id="__AxwQWqhEeSAEqNd4uIZjA" type="5011"/>
<children xmi:type="notation:BasicCompartment" xmi:id="__AxwQmqhEeSAEqNd4uIZjA" type="7006">
<styles xmi:type="notation:TitleStyle" xmi:id="__AxwQ2qhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:SortingStyle" xmi:id="__AxwRGqhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:FilteringStyle" xmi:id="__AxwRWqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AxwRmqhEeSAEqNd4uIZjA"/>
</children>
<children xmi:type="notation:BasicCompartment" xmi:id="__AxwR2qhEeSAEqNd4uIZjA" type="7007">
<children xmi:type="notation:Shape" xmi:id="__AxwSGqhEeSAEqNd4uIZjA" type="3007">
<element xmi:type="uml:Operation" href="SMEnabledTransitionSelection.uml#__An_M2qhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Location" xmi:id="__AxwSWqhEeSAEqNd4uIZjA"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AxwSmqhEeSAEqNd4uIZjA" type="3007">
<element xmi:type="uml:Operation" href="SMEnabledTransitionSelection.uml#__An_NGqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Location" xmi:id="__AxwS2qhEeSAEqNd4uIZjA"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AxwTGqhEeSAEqNd4uIZjA" type="3007">
<element xmi:type="uml:Operation" href="SMEnabledTransitionSelection.uml#__An_NWqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Location" xmi:id="__AxwTWqhEeSAEqNd4uIZjA"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AxwTmqhEeSAEqNd4uIZjA" type="3007">
<element xmi:type="uml:Operation" href="SMEnabledTransitionSelection.uml#__An_NmqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Location" xmi:id="__AxwT2qhEeSAEqNd4uIZjA"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AxwUGqhEeSAEqNd4uIZjA" type="3007">
<element xmi:type="uml:Operation" href="SMEnabledTransitionSelection.uml#__An_N2qhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Location" xmi:id="__AxwUWqhEeSAEqNd4uIZjA"/>
</children>
<styles xmi:type="notation:TitleStyle" xmi:id="__AxwUmqhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:SortingStyle" xmi:id="__AxwU2qhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:FilteringStyle" xmi:id="__AxwVGqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AxwVWqhEeSAEqNd4uIZjA"/>
</children>
<children xmi:type="notation:BasicCompartment" xmi:id="__AxwVmqhEeSAEqNd4uIZjA" type="7008">
<styles xmi:type="notation:TitleStyle" xmi:id="__AxwV2qhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:SortingStyle" xmi:id="__AxwWGqhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:FilteringStyle" xmi:id="__AxwWWqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AxwWmqhEeSAEqNd4uIZjA"/>
</children>
<element xmi:type="uml:Interface" href="SMEnabledTransitionSelection.uml#__An_MmqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AxwYWqhEeSAEqNd4uIZjA" x="187" y="224"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AxwYmqhEeSAEqNd4uIZjA" type="2004">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="__AxwY2qhEeSAEqNd4uIZjA" source="Stereotype_Annotation">
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AxwZGqhEeSAEqNd4uIZjA" key="StereotypeWithQualifiedNameList" value=""/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AxwZWqhEeSAEqNd4uIZjA" key="StereotypeList" value="UMLRealTime::RTMessageSet"/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AxwZmqhEeSAEqNd4uIZjA" key="Stereotype_Presentation_Kind" value="HorizontalStereo"/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AxwZ2qhEeSAEqNd4uIZjA" key="PropStereoDisplay" value=""/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AxwaGqhEeSAEqNd4uIZjA" key="StereotypePropertyLocation" value="Compartment"/>
</eAnnotations>
<children xmi:type="notation:DecorationNode" xmi:id="__AxwaWqhEeSAEqNd4uIZjA" type="5011"/>
<children xmi:type="notation:BasicCompartment" xmi:id="__AxwamqhEeSAEqNd4uIZjA" type="7006">
<styles xmi:type="notation:TitleStyle" xmi:id="__Axwa2qhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:SortingStyle" xmi:id="__AxwbGqhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:FilteringStyle" xmi:id="__AxwbWqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AxwbmqhEeSAEqNd4uIZjA"/>
</children>
<children xmi:type="notation:BasicCompartment" xmi:id="__Axwb2qhEeSAEqNd4uIZjA" type="7007">
<styles xmi:type="notation:TitleStyle" xmi:id="__AxwcGqhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:SortingStyle" xmi:id="__AxwcWqhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:FilteringStyle" xmi:id="__AxwcmqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__Axwc2qhEeSAEqNd4uIZjA"/>
</children>
<children xmi:type="notation:BasicCompartment" xmi:id="__AxwdGqhEeSAEqNd4uIZjA" type="7008">
<styles xmi:type="notation:TitleStyle" xmi:id="__AxwdWqhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:SortingStyle" xmi:id="__AxwdmqhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:FilteringStyle" xmi:id="__Axwd2qhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AxweGqhEeSAEqNd4uIZjA"/>
</children>
<element xmi:type="uml:Interface" href="SMEnabledTransitionSelection.uml#__An_OGqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__Axwf2qhEeSAEqNd4uIZjA" x="347" y="226"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AxwgGqhEeSAEqNd4uIZjA" type="2004">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="__AxwgWqhEeSAEqNd4uIZjA" source="Stereotype_Annotation">
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AxwgmqhEeSAEqNd4uIZjA" key="StereotypeWithQualifiedNameList" value=""/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__Axwg2qhEeSAEqNd4uIZjA" key="StereotypeList" value="UMLRealTime::RTMessageSet"/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AxwhGqhEeSAEqNd4uIZjA" key="Stereotype_Presentation_Kind" value="HorizontalStereo"/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AxwhWqhEeSAEqNd4uIZjA" key="PropStereoDisplay" value=""/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__AxwhmqhEeSAEqNd4uIZjA" key="StereotypePropertyLocation" value="Compartment"/>
</eAnnotations>
<children xmi:type="notation:DecorationNode" xmi:id="__Axwh2qhEeSAEqNd4uIZjA" type="5011"/>
<children xmi:type="notation:BasicCompartment" xmi:id="__AxwiGqhEeSAEqNd4uIZjA" type="7006">
<styles xmi:type="notation:TitleStyle" xmi:id="__AxwiWqhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:SortingStyle" xmi:id="__AxwimqhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:FilteringStyle" xmi:id="__Axwi2qhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AxwjGqhEeSAEqNd4uIZjA"/>
</children>
<children xmi:type="notation:BasicCompartment" xmi:id="__AxwjWqhEeSAEqNd4uIZjA" type="7007">
<styles xmi:type="notation:TitleStyle" xmi:id="__AxwjmqhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:SortingStyle" xmi:id="__Axwj2qhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:FilteringStyle" xmi:id="__AxwkGqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AxwkWqhEeSAEqNd4uIZjA"/>
</children>
<children xmi:type="notation:BasicCompartment" xmi:id="__AxwkmqhEeSAEqNd4uIZjA" type="7008">
<styles xmi:type="notation:TitleStyle" xmi:id="__Axwk2qhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:SortingStyle" xmi:id="__AyXQGqhEeSAEqNd4uIZjA"/>
<styles xmi:type="notation:FilteringStyle" xmi:id="__AyXQWqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AyXQmqhEeSAEqNd4uIZjA"/>
</children>
<element xmi:type="uml:Interface" href="SMEnabledTransitionSelection.uml#__An_OWqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AyXSWqhEeSAEqNd4uIZjA" x="505" y="224"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AyXSmqhEeSAEqNd4uIZjA" type="2097">
<children xmi:type="notation:DecorationNode" xmi:id="__AyXS2qhEeSAEqNd4uIZjA" type="5157"/>
<element xmi:type="uml:CallEvent" href="SMEnabledTransitionSelection.uml#__An_PmqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AyXT2qhEeSAEqNd4uIZjA" x="691" y="77"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AyXUGqhEeSAEqNd4uIZjA" type="2097">
<children xmi:type="notation:DecorationNode" xmi:id="__AyXUWqhEeSAEqNd4uIZjA" type="5157"/>
<element xmi:type="uml:CallEvent" href="SMEnabledTransitionSelection.uml#__An_P2qhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AyXVWqhEeSAEqNd4uIZjA" x="691" y="141"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AyXVmqhEeSAEqNd4uIZjA" type="2097">
<children xmi:type="notation:DecorationNode" xmi:id="__AyXV2qhEeSAEqNd4uIZjA" type="5157"/>
<element xmi:type="uml:CallEvent" href="SMEnabledTransitionSelection.uml#__An_QGqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AyXW2qhEeSAEqNd4uIZjA" x="692" y="203"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AyXXGqhEeSAEqNd4uIZjA" type="2097">
<children xmi:type="notation:DecorationNode" xmi:id="__AyXXWqhEeSAEqNd4uIZjA" type="5157"/>
<element xmi:type="uml:CallEvent" href="SMEnabledTransitionSelection.uml#__An_QWqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AyXYWqhEeSAEqNd4uIZjA" x="690" y="273"/>
</children>
<children xmi:type="notation:Shape" xmi:id="__AyXYmqhEeSAEqNd4uIZjA" type="2097">
<children xmi:type="notation:DecorationNode" xmi:id="__AyXY2qhEeSAEqNd4uIZjA" type="5157"/>
<element xmi:type="uml:CallEvent" href="SMEnabledTransitionSelection.uml#__An_QmqhEeSAEqNd4uIZjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__AyXZ2qhEeSAEqNd4uIZjA" x="690" y="347"/>
</children>
<styles xmi:type="notation:StringValueStyle" xmi:id="__AyXaGqhEeSAEqNd4uIZjA" name="diagram_compatibility_version" stringValue="1.0.0"/>
<styles xmi:type="notation:DiagramStyle" xmi:id="__AyXaWqhEeSAEqNd4uIZjA"/>
<styles xmi:type="style:PapyrusViewStyle" xmi:id="__AyXamqhEeSAEqNd4uIZjA">
<owner xmi:type="uml:Package" href="SMEnabledTransitionSelection.uml#__An_MGqhEeSAEqNd4uIZjA"/>
</styles>
<element xmi:type="uml:Package" href="SMEnabledTransitionSelection.uml#__An_MGqhEeSAEqNd4uIZjA"/>
<edges xmi:type="notation:Connector" xmi:id="__AyXa2qhEeSAEqNd4uIZjA" type="4005" source="__AxwMWqhEeSAEqNd4uIZjA" target="__AxwOmqhEeSAEqNd4uIZjA">
<children xmi:type="notation:DecorationNode" xmi:id="__AyXbGqhEeSAEqNd4uIZjA" type="6012">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AyXbWqhEeSAEqNd4uIZjA" y="40"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__AyXbmqhEeSAEqNd4uIZjA" type="6013">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AyXb2qhEeSAEqNd4uIZjA" y="60"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="__AyXcGqhEeSAEqNd4uIZjA"/>
<element xmi:type="uml:Realization" href="SMEnabledTransitionSelection.uml#__An_OmqhEeSAEqNd4uIZjA"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="__AyXcWqhEeSAEqNd4uIZjA" points="[-9, 10, 105, -129]$[-109, 124, 5, -15]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="__AyXcmqhEeSAEqNd4uIZjA" id="(0.17,0.8)"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="__AyXc2qhEeSAEqNd4uIZjA" id="(0.66,0.13513513513513514)"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="__AyXdGqhEeSAEqNd4uIZjA" type="4005" source="__AxwMWqhEeSAEqNd4uIZjA" target="__AxwgGqhEeSAEqNd4uIZjA">
<children xmi:type="notation:DecorationNode" xmi:id="__AyXdWqhEeSAEqNd4uIZjA" type="6012">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AyXdmqhEeSAEqNd4uIZjA" y="40"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__AyXd2qhEeSAEqNd4uIZjA" type="6013">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AyXeGqhEeSAEqNd4uIZjA" y="60"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="__AyXeWqhEeSAEqNd4uIZjA"/>
<element xmi:type="uml:Realization" href="SMEnabledTransitionSelection.uml#__An_O2qhEeSAEqNd4uIZjA"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="__AyXemqhEeSAEqNd4uIZjA" points="[22, 25, -123, -135]$[138, 139, -7, -21]"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="__AyXe2qhEeSAEqNd4uIZjA" id="(0.4,0.1891891891891892)"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="__AyXfGqhEeSAEqNd4uIZjA" type="4007" source="__AxwMWqhEeSAEqNd4uIZjA" target="__AxwYmqhEeSAEqNd4uIZjA">
<children xmi:type="notation:DecorationNode" xmi:id="__AyXfWqhEeSAEqNd4uIZjA" type="6016">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AyXfmqhEeSAEqNd4uIZjA" y="40"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__AyXf2qhEeSAEqNd4uIZjA" type="6017">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AyXgGqhEeSAEqNd4uIZjA" x="-3" y="19"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="__AyXgWqhEeSAEqNd4uIZjA"/>
<element xmi:type="uml:Usage" href="SMEnabledTransitionSelection.uml#__An_PGqhEeSAEqNd4uIZjA"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="__AyXgmqhEeSAEqNd4uIZjA" points="[-6, 25, 0, -125]$[-7, 141, -1, -9]"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="__AyXg2qhEeSAEqNd4uIZjA" id="(0.47,0.08108108108108109)"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="__AyXhGqhEeSAEqNd4uIZjA" type="4007" source="__AxwMWqhEeSAEqNd4uIZjA" target="__AxwgGqhEeSAEqNd4uIZjA">
<children xmi:type="notation:DecorationNode" xmi:id="__AyXhWqhEeSAEqNd4uIZjA" type="6016">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AyXhmqhEeSAEqNd4uIZjA" y="40"/>
</children>
<children xmi:type="notation:DecorationNode" xmi:id="__AyXh2qhEeSAEqNd4uIZjA" type="6017">
<layoutConstraint xmi:type="notation:Location" xmi:id="__AyXiGqhEeSAEqNd4uIZjA" x="2" y="-18"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="__AyXiWqhEeSAEqNd4uIZjA"/>
<element xmi:type="uml:Usage" href="SMEnabledTransitionSelection.uml#__An_PWqhEeSAEqNd4uIZjA"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="__AyXimqhEeSAEqNd4uIZjA" points="[14, 15, -111, -127]$[126, 131, 1, -11]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="__AyXi2qhEeSAEqNd4uIZjA" id="(0.88,0.92)"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="__AyXjGqhEeSAEqNd4uIZjA" id="(0.56,0.0990990990990991)"/>
</edges>
</notation:Diagram>
<css:ModelStyleSheets xmi:id="__z7EYGqhEeSAEqNd4uIZjA"/>
</xmi:XMI>