Ignore:
Timestamp:
09/22/14 15:25:22 (10 years ago)
Author:
sherbold
Message:
  • added new third-party repo for FF tooling
  • now using UML modeling tools from FF
  • generated sequence diagrams are now the implementation of an operation with the TestCase? stereotype. In case the loaded model knows UTP, the UTP TestCase? stereotype is set.
Location:
trunk/autoquest-plugin-uml-test/src/test
Files:
3 edited

Legend:

Unmodified
Added
Removed

  • trunk/autoquest-plugin-uml-test/src/test/java/de/ugoe/cs/autoquest/plugin/uml/UMLUtilsTest.java

    r1752 r1759  
    1616 
    1717import java.io.File; 
    18 import java.io.FileInputStream; 
    19 import java.io.FileOutputStream; 
    20 import java.io.IOException; 
    21 import java.io.InputStream; 
    2218import java.util.Collection; 
    2319import java.util.Iterator; 
    2420import java.util.LinkedList; 
    2521import java.util.List; 
    26 import java.util.Map; 
    2722import java.util.Random; 
    2823 
    29 import org.eclipse.core.runtime.IStatus; 
    30 import org.eclipse.emf.common.util.URI; 
    31 import org.eclipse.emf.ecore.EPackage; 
    32 import org.eclipse.emf.ecore.EcorePackage; 
    33 import org.eclipse.emf.ecore.resource.Resource; 
    34 import org.eclipse.emf.ecore.resource.ResourceSet; 
    35 import org.eclipse.emf.ecore.resource.Resource.Factory.Registry; 
    36 import org.eclipse.emf.ecore.resource.impl.ResourceFactoryImpl; 
    37 import org.eclipse.emf.ecore.resource.impl.ResourceSetImpl; 
    38 import org.eclipse.emf.ecore.util.EcoreUtil; 
    39 import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl; 
    40 import org.eclipse.emf.ecore.xmi.impl.XMIResourceImpl; 
    4124import org.eclipse.uml2.uml.Interaction; 
    4225import org.eclipse.uml2.uml.Model; 
    … …  
    4427import org.eclipse.uml2.uml.Transition; 
    4528import org.eclipse.uml2.uml.UMLPackage; 
    46 import org.eclipse.uml2.uml.resource.UMLResource; 
    47 import org.eclipse.uml2.uml.resources.util.UMLResourcesUtil; 
    4829import org.junit.After; 
    4930import org.junit.Test; 
    5031 
     32import de.fraunhofer.fokus.testing.ModelUtils; 
    5133import de.ugoe.cs.autoquest.eventcore.Event; 
    5234import de.ugoe.cs.autoquest.plugin.http.HTTPLogParser; 
    … …  
    5638import de.ugoe.cs.autoquest.testgeneration.RandomWalkGenerator; 
    5739import de.ugoe.cs.autoquest.usageprofiles.FirstOrderMarkovModel; 
    58 import eu.midas.dsl.validation.util.ConstraintValidator; 
    5940 
    6041/** 
    … …  
    8566        Collection<List<Event>> httpSequences = parser.getSequences(); 
    8667        Model model = 
    87             loadModelFromInputStream(ClassLoader 
     68            ModelUtils.loadModel(ClassLoader 
    8869                .getSystemResourceAsStream("createSequence_1_model.uml")); 
    8970 
    … …  
    11899        Collection<List<Event>> httpSequences = parser.getSequences(); 
    119100        Model model = 
    120             loadModelFromInputStream(ClassLoader 
     101            ModelUtils.loadModel(ClassLoader 
    121102                .getSystemResourceAsStream("createSequence_1_model.uml")); 
    122103 
    … …  
    151132        UMLUtils.convertStateMachineToUsageProfile(umlSequences, stateMachine); 
    152133 
    153         writeModelToFile(model, OUTPUT_DIR + "convertStateMachineToUsageProfile_1.uml"); 
     134        ModelUtils.writeModelToFile(model, OUTPUT_DIR + "convertStateMachineToUsageProfile_1.uml"); 
    154135    } 
    155136 
    … …  
    166147                .getFile())); 
    167148        Collection<List<Event>> httpSequences = parser.getSequences(); 
    168         Model model = 
    169             loadModelFromInputStream(ClassLoader 
     149 
     150        Model model = 
     151            ModelUtils.loadModel(ClassLoader 
    170152                .getSystemResourceAsStream("testCreateInteractionFromEventSequence_1_model.uml")); 
    171153 
    … …  
    181163        } 
    182164 
    183         ConstraintValidator validator = new ConstraintValidator(); 
    184         IStatus validationStatus = validator.validate(model); 
    185         if (validationStatus.getSeverity() == IStatus.OK) { 
    186             System.out.println("success"); 
    187         } 
    188         else { 
    189             System.out.println("Errors during the model validation: "); 
    190             for (IStatus status : validationStatus.getChildren()) { 
    191                 System.out.println("\t" + status.getMessage()); 
    192             } 
    193         } 
    194  
    195         writeModelToFile(model, OUTPUT_DIR + "testCreateInteractionFromEventSequence_1_result.uml"); 
    196         loadModelFromInputStream(new FileInputStream(OUTPUT_DIR + 
    197             "testCreateInteractionFromEventSequence_1_result.uml")); 
     165        ModelUtils.writeModelToFile(model, OUTPUT_DIR + "testCreateInteractionFromEventSequence_1_result.uml"); 
    198166    } 
    199167 
    … …  
    207175            .getSystemResource("testCalculateUsageScore_1_usagedata.log").getFile())); 
    208176        Collection<List<Event>> httpSequences = parser.getSequences(); 
    209         Model model = 
    210             loadModelFromInputStream(ClassLoader 
     177 
     178        Model model = 
     179            ModelUtils.loadModel(ClassLoader 
    211180                .getSystemResourceAsStream("testCalculateUsageScore_1_model.uml")); 
    212181 
    … …  
    245214    } 
    246215 
    247     private static void writeModelToFile(Model model, String filename) throws IOException { 
    248         final ResourceSet resourceSet = new ResourceSetImpl(); 
    249         UMLResourcesUtil.init(resourceSet); 
    250         resourceSet.getResourceFactoryRegistry().getExtensionToFactoryMap() 
    251             .put(Resource.Factory.Registry.DEFAULT_EXTENSION, new ResourceFactoryImpl() { 
    252                 @Override 
    253                 public Resource createResource(URI uri) { 
    254                     return new XMIResourceImpl(uri) { 
    255                         @Override 
    256                         public boolean useUUIDs() { 
    257                             return true; 
    258                         } 
    259                     }; 
    260                 } 
    261             }); 
    262  
    263         Resource resource = resourceSet.createResource(URI.createURI("binresource")); 
    264  
    265         resource.getContents().add(model); 
    266         FileOutputStream fos; 
    267         File file = new File(filename); 
    268         if (file.getParent() != null) { 
    269             file.getParentFile().mkdirs(); 
    270         } 
    271         fos = new FileOutputStream(file); 
    272         resource.save(fos, null); 
    273     } 
    274  
    275     private static Model loadModelFromInputStream(InputStream inputStream) { 
    276         ResourceSet resourceSet = new ResourceSetImpl(); 
    277         resourceSet.getResourceFactoryRegistry().getExtensionToFactoryMap() 
    278             .put(UMLResource.FILE_EXTENSION, UMLResource.Factory.INSTANCE); 
    279         resourceSet.getPackageRegistry().put(UMLPackage.eNS_URI, UMLPackage.eINSTANCE); 
    280         resourceSet.getPackageRegistry().put(EcorePackage.eNS_URI, EcorePackage.eINSTANCE); 
    281         resourceSet.getResourceFactoryRegistry().getExtensionToFactoryMap() 
    282             .put(Registry.DEFAULT_EXTENSION, new XMIResourceFactoryImpl()); 
    283         Map<URI, URI> uriMap = resourceSet.getURIConverter().getURIMap(); 
    284  
    285         UMLResourcesUtil.init(resourceSet); 
    286  
    287         uriMap.put(URI.createURI("pathmap://Papyrus.profile.uml"), 
    288                    URI.createURI("file:/D:/.../Papyrus.profile.uml/")); 
    289  
    290         EPackage.Registry.INSTANCE.put(UMLPackage.eNS_URI, UMLPackage.eINSTANCE); 
    291  
    292         Resource resource = new XMIResourceImpl(); 
    293  
    294         try { 
    295             // resource.load(inputStream, options); 
    296             resource.load(inputStream, null); 
    297         } 
    298         catch (IOException e) { 
    299             // TODO Auto-generated catch block 
    300             e.printStackTrace(); 
    301         } 
    302  
    303         return (Model) EcoreUtil.getObjectByType(resource.getContents(), UMLPackage.Literals.MODEL); 
    304     } 
    305  
    306216    private void deleteFiles(File file) { 
    307217        if (file.exists()) { 

  • trunk/autoquest-plugin-uml-test/src/test/resources/testCalculateUsageScore_1_model.uml

    r1643 r1759  
    11<?xml version="1.0" encoding="UTF-8"?> 
    2 <uml:Model xmi:version="20110701" xmlns:xmi="http://www.omg.org/spec/XMI/20110701" xmlns:uml="http://www.eclipse.org/uml2/4.0.0/UML" xmi:id="_O3qgoAaaEeS7deEA7EQ5bQ" name="Model"> 
    3   <packageImport xmi:type="uml:PackageImport" xmi:id="_O3qgoQaaEeS7deEA7EQ5bQ"> 
    4     <importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/> 
    5   </packageImport> 
    6   <packagedElement xmi:type="uml:Class" xmi:id="_Wh3rMBZcEeSVxMc4KdphRg" name="ixsmq"> 
    7     <ownedOperation xmi:type="uml:Operation" xmi:id="_noyI0BZcEeSVxMc4KdphRg" name="removeIdentity"/> 
    8     <ownedOperation xmi:type="uml:Operation" xmi:id="_ueUdQBZcEeSVxMc4KdphRg" name="registerEntityWithIdentity"/> 
    9     <ownedOperation xmi:type="uml:Operation" xmi:id="_wa1NQBZcEeSVxMc4KdphRg" name="createIdentityFromEntity"/> 
    10     <ownedOperation xmi:type="uml:Operation" xmi:id="_xt2UUBZcEeSVxMc4KdphRg" name="updateEntityTraitValues"/> 
    11     <ownedOperation xmi:type="uml:Operation" xmi:id="_zPftQBZcEeSVxMc4KdphRg" name="getEntityTraitValues"/> 
    12     <ownedOperation xmi:type="uml:Operation" xmi:id="_2z7dUBZcEeSVxMc4KdphRg" name="findEntitiesByTraits"/> 
    13     <ownedOperation xmi:type="uml:Operation" xmi:id="_4U0BQBZcEeSVxMc4KdphRg" name="listLinkedEntities"/> 
    14     <ownedOperation xmi:type="uml:Operation" xmi:id="_6TAMQBZcEeSVxMc4KdphRg" name="listUnlinkedEntities"/> 
    15   </packagedElement> 
    16   <packagedElement xmi:type="uml:Class" xmi:id="_9LnYIBZcEeSVxMc4KdphRg" name="rlus"> 
    17     <ownedOperation xmi:type="uml:Operation" xmi:id="_m-fZMBZdEeSVxMc4KdphRg" name="get"/> 
    18     <ownedOperation xmi:type="uml:Operation" xmi:id="_nonUQBZdEeSVxMc4KdphRg" name="list"/> 
    19     <ownedOperation xmi:type="uml:Operation" xmi:id="_obRgQBZdEeSVxMc4KdphRg" name="put"/> 
    20     <ownedOperation xmi:type="uml:Operation" xmi:id="_ppx6wBZdEeSVxMc4KdphRg" name="discard"/> 
    21     <ownedOperation xmi:type="uml:Operation" xmi:id="_qTNSQBZdEeSVxMc4KdphRg" name="locate"/> 
    22     <ownedOperation xmi:type="uml:Operation" xmi:id="_q7CuUBZdEeSVxMc4KdphRg" name="initialize"/> 
    23     <ownedOperation xmi:type="uml:Operation" xmi:id="_rzk40BZdEeSVxMc4KdphRg" name="describe"/> 
    24   </packagedElement> 
    25   <packagedElement xmi:type="uml:Class" xmi:id="_QK3v0Bb_EeSVxMc4KdphRg" name="user"> 
    26     <ownedAttribute xmi:type="uml:Property" xmi:id="_TB2kABb_EeSVxMc4KdphRg" name="rlus" type="_9LnYIBZcEeSVxMc4KdphRg" association="_TB4ZMBb_EeSVxMc4KdphRg"> 
    27       <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_TB2kARb_EeSVxMc4KdphRg" value="1"/> 
    28       <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_TB2kAhb_EeSVxMc4KdphRg" value="1"/> 
    29     </ownedAttribute> 
    30     <ownedAttribute xmi:type="uml:Property" xmi:id="_UH_ssBb_EeSVxMc4KdphRg" name="ixsmq" type="_Wh3rMBZcEeSVxMc4KdphRg" association="_UIA60Bb_EeSVxMc4KdphRg"> 
    31       <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_UIATwBb_EeSVxMc4KdphRg" value="1"/> 
    32       <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_UIATwRb_EeSVxMc4KdphRg" value="1"/> 
    33     </ownedAttribute> 
    34   </packagedElement> 
    35   <packagedElement xmi:type="uml:Association" xmi:id="_TB4ZMBb_EeSVxMc4KdphRg" name="user_rlus" memberEnd="_TB4ZMRb_EeSVxMc4KdphRg _TB2kABb_EeSVxMc4KdphRg"> 
    36     <ownedEnd xmi:type="uml:Property" xmi:id="_TB4ZMRb_EeSVxMc4KdphRg" name="user" type="_QK3v0Bb_EeSVxMc4KdphRg" association="_TB4ZMBb_EeSVxMc4KdphRg"> 
    37       <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_TB4ZMhb_EeSVxMc4KdphRg" value="1"/> 
    38       <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_TB4ZMxb_EeSVxMc4KdphRg" value="1"/> 
    39     </ownedEnd> 
    40   </packagedElement> 
    41   <packagedElement xmi:type="uml:Association" xmi:id="_UIA60Bb_EeSVxMc4KdphRg" name="user_ixsmq" memberEnd="_UIA60Rb_EeSVxMc4KdphRg _UH_ssBb_EeSVxMc4KdphRg"> 
    42     <ownedEnd xmi:type="uml:Property" xmi:id="_UIA60Rb_EeSVxMc4KdphRg" name="user" type="_QK3v0Bb_EeSVxMc4KdphRg" association="_UIA60Bb_EeSVxMc4KdphRg"> 
    43       <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_UIA60hb_EeSVxMc4KdphRg" value="1"/> 
    44       <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_UIA60xb_EeSVxMc4KdphRg" value="1"/> 
    45     </ownedEnd> 
    46   </packagedElement> 
    47 </uml:Model> 
     2<xmi:XMI xmi:version="20110701" xmlns:xmi="http://www.omg.org/spec/XMI/20110701" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:uml="http://www.eclipse.org/uml2/4.0.0/UML" xmlns:utp="http://www.omg.org/spec/UTP/20120801/utp.xmi"> 
     3  <uml:Model xmi:id="_I6KgoCRYEeS7ONCnthfEow" name="Model"> 
     4    <packageImport xmi:id="_I6KgoSRYEeS7ONCnthfEow"> 
     5      <importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/> 
     6    </packageImport> 
     7    <packagedElement xmi:type="uml:Interface" xmi:id="_OdlF4CRYEeS7ONCnthfEow" name="rlus"> 
     8      <ownedOperation xmi:id="_Wp5AACRYEeS7ONCnthfEow" name="get"/> 
     9      <ownedOperation xmi:id="_Xo0tcCRYEeS7ONCnthfEow" name="put"/> 
     10      <ownedOperation xmi:id="_YPSQgCRYEeS7ONCnthfEow" name="list"/> 
     11      <ownedOperation xmi:id="_eNhJgCRYEeS7ONCnthfEow" name="discard"/> 
     12      <ownedOperation xmi:id="_f7d5ECRYEeS7ONCnthfEow" name="locate"/> 
     13      <ownedOperation xmi:id="_gwVEgCRYEeS7ONCnthfEow" name="initialize"/> 
     14      <ownedOperation xmi:id="_3Xe3kCRYEeS7ONCnthfEow" name="describe"/> 
     15    </packagedElement> 
     16    <packagedElement xmi:type="uml:Interface" xmi:id="_-9-H0CRYEeS7ONCnthfEow" name="ixsmq"> 
     17      <ownedOperation xmi:id="_djsT8CRZEeS7ONCnthfEow" name="removeIdentity"/> 
     18      <ownedOperation xmi:id="_fmAxACRZEeS7ONCnthfEow" name="registerEntityWithIdentity"/> 
     19      <ownedOperation xmi:id="_hgAYgCRZEeS7ONCnthfEow" name="createIdentityFromEntity"/> 
     20      <ownedOperation xmi:id="_lERwgCRZEeS7ONCnthfEow" name="updateEntityTraitValues"/> 
     21      <ownedOperation xmi:id="_oWGGkCRZEeS7ONCnthfEow" name="getEntityTraitValues"/> 
     22      <ownedOperation xmi:id="_CgldgCRaEeS7ONCnthfEow" name="findIdentitiesByTraits"/> 
     23      <ownedOperation xmi:id="_IYzOECRaEeS7ONCnthfEow" name="listedLinkedEntities"/> 
     24      <ownedOperation xmi:id="_K8rgECRaEeS7ONCnthfEow" name="listedUnlinkedEntities"/> 
     25    </packagedElement> 
     26    <packagedElement xmi:type="uml:Component" xmi:id="_MBWsUCReEeS7ONCnthfEow" name="TestContext"> 
     27      <ownedAttribute xmi:id="_e_S9ACReEeS7ONCnthfEow" name="rlus_property" visibility="public" type="_vFOpUCRfEeS7ONCnthfEow"> 
     28        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_fXwgUCReEeS7ONCnthfEow" value="1"/> 
     29        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_fXxHYCReEeS7ONCnthfEow" value="1"/> 
     30      </ownedAttribute> 
     31      <ownedAttribute xmi:id="_mwuR8CReEeS7ONCnthfEow" name="ixsmq_property" visibility="public" type="_w3q3UCRfEeS7ONCnthfEow"> 
     32        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_nLN1kCReEeS7ONCnthfEow" value="1"/> 
     33        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_nLOcoCReEeS7ONCnthfEow" value="1"/> 
     34      </ownedAttribute> 
     35      <ownedAttribute xmi:id="_IBEI4CRtEeS7ONCnthfEow" name="user" type="_E5BZ4CRtEeS7ONCnthfEow"/> 
     36      <ownedConnector xmi:id="_Mkge4CRtEeS7ONCnthfEow" name="Connector1"> 
     37        <end xmi:id="_Mkge4SRtEeS7ONCnthfEow" partWithPort="_e_S9ACReEeS7ONCnthfEow" role="_9zoXcCRfEeS7ONCnthfEow"> 
     38          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Mkge4iRtEeS7ONCnthfEow" value="1"/> 
     39          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Mkge4yRtEeS7ONCnthfEow" value="1"/> 
     40        </end> 
     41        <end xmi:id="_MkhF8CRtEeS7ONCnthfEow" partWithPort="_IBEI4CRtEeS7ONCnthfEow" role="_I39UoCRtEeS7ONCnthfEow"> 
     42          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_MkhF8SRtEeS7ONCnthfEow" value="1"/> 
     43          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_MkhF8iRtEeS7ONCnthfEow" value="1"/> 
     44        </end> 
     45      </ownedConnector> 
     46      <ownedConnector xmi:id="_oqbnwCRtEeS7ONCnthfEow" name="Connector2"> 
     47        <end xmi:id="_oqbnwSRtEeS7ONCnthfEow" partWithPort="_mwuR8CReEeS7ONCnthfEow" role="_CqD64CRgEeS7ONCnthfEow"> 
     48          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_oqbnwiRtEeS7ONCnthfEow" value="1"/> 
     49          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_oqbnwyRtEeS7ONCnthfEow" value="1"/> 
     50        </end> 
     51        <end xmi:id="_oqcO0CRtEeS7ONCnthfEow" partWithPort="_IBEI4CRtEeS7ONCnthfEow" role="_lgPjsCRtEeS7ONCnthfEow"> 
     52          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_oqcO0SRtEeS7ONCnthfEow" value="1"/> 
     53          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_oqcO0iRtEeS7ONCnthfEow" value="1"/> 
     54        </end> 
     55      </ownedConnector> 
     56      <ownedOperation xmi:id="_PotQcEJNEeS0fslhI5_AhA" name="testSequence"/> 
     57      <packagedElement xmi:type="uml:Interaction" xmi:id="_PpALYEJNEeS0fslhI5_AhA" name="testSequence_Impl"> 
     58        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpIHMEJNEeS0fslhI5_AhA" name="0:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpNmwEJNEeS0fslhI5_AhA"/> 
     59        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpIuQEJNEeS0fslhI5_AhA" name="0:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpNmwEJNEeS0fslhI5_AhA"/> 
     60        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpO04EJNEeS0fslhI5_AhA" name="1:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpPb8UJNEeS0fslhI5_AhA"/> 
     61        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpPb8EJNEeS0fslhI5_AhA" name="1:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpPb8UJNEeS0fslhI5_AhA"/> 
     62        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpPb8kJNEeS0fslhI5_AhA" name="2:locate_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpQDAEJNEeS0fslhI5_AhA"/> 
     63        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpPb80JNEeS0fslhI5_AhA" name="2:locate_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpQDAEJNEeS0fslhI5_AhA"/> 
     64        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpQDAUJNEeS0fslhI5_AhA" name="3:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpQDA0JNEeS0fslhI5_AhA"/> 
     65        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpQDAkJNEeS0fslhI5_AhA" name="3:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpQDA0JNEeS0fslhI5_AhA"/> 
     66        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpQqEEJNEeS0fslhI5_AhA" name="4:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpQqEkJNEeS0fslhI5_AhA"/> 
     67        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpQqEUJNEeS0fslhI5_AhA" name="4:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpQqEkJNEeS0fslhI5_AhA"/> 
     68        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpRRIEJNEeS0fslhI5_AhA" name="5:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpRRIkJNEeS0fslhI5_AhA"/> 
     69        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpRRIUJNEeS0fslhI5_AhA" name="5:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpRRIkJNEeS0fslhI5_AhA"/> 
     70        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpRRI0JNEeS0fslhI5_AhA" name="6:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpR4MUJNEeS0fslhI5_AhA"/> 
     71        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpR4MEJNEeS0fslhI5_AhA" name="6:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpR4MUJNEeS0fslhI5_AhA"/> 
     72        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpR4MkJNEeS0fslhI5_AhA" name="7:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpSfQUJNEeS0fslhI5_AhA"/> 
     73        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpSfQEJNEeS0fslhI5_AhA" name="7:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpSfQUJNEeS0fslhI5_AhA"/> 
     74        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpSfQkJNEeS0fslhI5_AhA" name="8:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpTGUEJNEeS0fslhI5_AhA"/> 
     75        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpSfQ0JNEeS0fslhI5_AhA" name="8:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpTGUEJNEeS0fslhI5_AhA"/> 
     76        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpTGUUJNEeS0fslhI5_AhA" name="9:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpTGU0JNEeS0fslhI5_AhA"/> 
     77        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpTGUkJNEeS0fslhI5_AhA" name="9:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpTGU0JNEeS0fslhI5_AhA"/> 
     78        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpTtYEJNEeS0fslhI5_AhA" name="10:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpTtYkJNEeS0fslhI5_AhA"/> 
     79        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpTtYUJNEeS0fslhI5_AhA" name="10:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpTtYkJNEeS0fslhI5_AhA"/> 
     80        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpTtY0JNEeS0fslhI5_AhA" name="11:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpUUcUJNEeS0fslhI5_AhA"/> 
     81        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpUUcEJNEeS0fslhI5_AhA" name="11:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpUUcUJNEeS0fslhI5_AhA"/> 
     82        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpUUckJNEeS0fslhI5_AhA" name="12:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpUUdEJNEeS0fslhI5_AhA"/> 
     83        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpUUc0JNEeS0fslhI5_AhA" name="12:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpUUdEJNEeS0fslhI5_AhA"/> 
     84        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpU7gEJNEeS0fslhI5_AhA" name="13:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpU7gkJNEeS0fslhI5_AhA"/> 
     85        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpU7gUJNEeS0fslhI5_AhA" name="13:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpU7gkJNEeS0fslhI5_AhA"/> 
     86        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpU7g0JNEeS0fslhI5_AhA" name="14:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpVikUJNEeS0fslhI5_AhA"/> 
     87        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpVikEJNEeS0fslhI5_AhA" name="14:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpVikUJNEeS0fslhI5_AhA"/> 
     88        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpVikkJNEeS0fslhI5_AhA" name="15:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpVilEJNEeS0fslhI5_AhA"/> 
     89        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpVik0JNEeS0fslhI5_AhA" name="15:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpVilEJNEeS0fslhI5_AhA"/> 
     90        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpWJoEJNEeS0fslhI5_AhA" name="16:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpWJokJNEeS0fslhI5_AhA"/> 
     91        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpWJoUJNEeS0fslhI5_AhA" name="16:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpWJokJNEeS0fslhI5_AhA"/> 
     92        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpWJo0JNEeS0fslhI5_AhA" name="17:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpWwsEJNEeS0fslhI5_AhA"/> 
     93        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpWJpEJNEeS0fslhI5_AhA" name="17:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpWwsEJNEeS0fslhI5_AhA"/> 
     94        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpWwsUJNEeS0fslhI5_AhA" name="18:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpWws0JNEeS0fslhI5_AhA"/> 
     95        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpWwskJNEeS0fslhI5_AhA" name="18:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpWws0JNEeS0fslhI5_AhA"/> 
     96        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpWwtEJNEeS0fslhI5_AhA" name="19:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpXXwUJNEeS0fslhI5_AhA"/> 
     97        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpXXwEJNEeS0fslhI5_AhA" name="19:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpXXwUJNEeS0fslhI5_AhA"/> 
     98        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpXXwkJNEeS0fslhI5_AhA" name="20:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpXXxEJNEeS0fslhI5_AhA"/> 
     99        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpXXw0JNEeS0fslhI5_AhA" name="20:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpXXxEJNEeS0fslhI5_AhA"/> 
     100        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpX-0EJNEeS0fslhI5_AhA" name="21:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpX-0kJNEeS0fslhI5_AhA"/> 
     101        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpX-0UJNEeS0fslhI5_AhA" name="21:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpX-0kJNEeS0fslhI5_AhA"/> 
     102        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpYl4EJNEeS0fslhI5_AhA" name="22:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpYl4kJNEeS0fslhI5_AhA"/> 
     103        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpYl4UJNEeS0fslhI5_AhA" name="22:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpYl4kJNEeS0fslhI5_AhA"/> 
     104        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpZM8EJNEeS0fslhI5_AhA" name="23:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpZM8kJNEeS0fslhI5_AhA"/> 
     105        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpZM8UJNEeS0fslhI5_AhA" name="23:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpZM8kJNEeS0fslhI5_AhA"/> 
     106        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpZ0AEJNEeS0fslhI5_AhA" name="24:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpZ0AkJNEeS0fslhI5_AhA"/> 
     107        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpZ0AUJNEeS0fslhI5_AhA" name="24:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpZ0AkJNEeS0fslhI5_AhA"/> 
     108        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpabEEJNEeS0fslhI5_AhA" name="25:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpabEkJNEeS0fslhI5_AhA"/> 
     109        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpabEUJNEeS0fslhI5_AhA" name="25:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpabEkJNEeS0fslhI5_AhA"/> 
     110        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpabE0JNEeS0fslhI5_AhA" name="26:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpbCIEJNEeS0fslhI5_AhA"/> 
     111        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpabFEJNEeS0fslhI5_AhA" name="26:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpbCIEJNEeS0fslhI5_AhA"/> 
     112        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpbCIUJNEeS0fslhI5_AhA" name="27:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpbCI0JNEeS0fslhI5_AhA"/> 
     113        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpbCIkJNEeS0fslhI5_AhA" name="27:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpbCI0JNEeS0fslhI5_AhA"/> 
     114        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpbpMEJNEeS0fslhI5_AhA" name="28:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpbpMkJNEeS0fslhI5_AhA"/> 
     115        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpbpMUJNEeS0fslhI5_AhA" name="28:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpbpMkJNEeS0fslhI5_AhA"/> 
     116        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpbpM0JNEeS0fslhI5_AhA" name="29:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpcQQUJNEeS0fslhI5_AhA"/> 
     117        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpcQQEJNEeS0fslhI5_AhA" name="29:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpcQQUJNEeS0fslhI5_AhA"/> 
     118        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpcQQkJNEeS0fslhI5_AhA" name="30:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpcQREJNEeS0fslhI5_AhA"/> 
     119        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpcQQ0JNEeS0fslhI5_AhA" name="30:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpcQREJNEeS0fslhI5_AhA"/> 
     120        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Ppc3UEJNEeS0fslhI5_AhA" name="31:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Ppc3UkJNEeS0fslhI5_AhA"/> 
     121        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Ppc3UUJNEeS0fslhI5_AhA" name="31:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Ppc3UkJNEeS0fslhI5_AhA"/> 
     122        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Ppc3U0JNEeS0fslhI5_AhA" name="32:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpdeYUJNEeS0fslhI5_AhA"/> 
     123        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpdeYEJNEeS0fslhI5_AhA" name="32:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpdeYUJNEeS0fslhI5_AhA"/> 
     124        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpdeYkJNEeS0fslhI5_AhA" name="33:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpdeZEJNEeS0fslhI5_AhA"/> 
     125        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpdeY0JNEeS0fslhI5_AhA" name="33:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpdeZEJNEeS0fslhI5_AhA"/> 
     126        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpeFcEJNEeS0fslhI5_AhA" name="34:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpeFckJNEeS0fslhI5_AhA"/> 
     127        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpeFcUJNEeS0fslhI5_AhA" name="34:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpeFckJNEeS0fslhI5_AhA"/> 
     128        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpesgEJNEeS0fslhI5_AhA" name="35:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpfTkEJNEeS0fslhI5_AhA"/> 
     129        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpesgUJNEeS0fslhI5_AhA" name="35:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpfTkEJNEeS0fslhI5_AhA"/> 
     130        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpfTkUJNEeS0fslhI5_AhA" name="36:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Ppf6oUJNEeS0fslhI5_AhA"/> 
     131        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Ppf6oEJNEeS0fslhI5_AhA" name="36:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Ppf6oUJNEeS0fslhI5_AhA"/> 
     132        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Ppf6okJNEeS0fslhI5_AhA" name="37:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpghsUJNEeS0fslhI5_AhA"/> 
     133        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpghsEJNEeS0fslhI5_AhA" name="37:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpghsUJNEeS0fslhI5_AhA"/> 
     134        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpghskJNEeS0fslhI5_AhA" name="38:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PphIwEJNEeS0fslhI5_AhA"/> 
     135        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Ppghs0JNEeS0fslhI5_AhA" name="38:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PphIwEJNEeS0fslhI5_AhA"/> 
     136        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PphIwUJNEeS0fslhI5_AhA" name="39:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pphv0EJNEeS0fslhI5_AhA"/> 
     137        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PphIwkJNEeS0fslhI5_AhA" name="39:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pphv0EJNEeS0fslhI5_AhA"/> 
     138        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pphv0UJNEeS0fslhI5_AhA" name="40:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pphv00JNEeS0fslhI5_AhA"/> 
     139        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pphv0kJNEeS0fslhI5_AhA" name="40:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pphv00JNEeS0fslhI5_AhA"/> 
     140        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpiW4EJNEeS0fslhI5_AhA" name="41:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpiW4kJNEeS0fslhI5_AhA"/> 
     141        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpiW4UJNEeS0fslhI5_AhA" name="41:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpiW4kJNEeS0fslhI5_AhA"/> 
     142        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpiW40JNEeS0fslhI5_AhA" name="42:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Ppi98UJNEeS0fslhI5_AhA"/> 
     143        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Ppi98EJNEeS0fslhI5_AhA" name="42:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Ppi98UJNEeS0fslhI5_AhA"/> 
     144        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Ppi98kJNEeS0fslhI5_AhA" name="43:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Ppi99EJNEeS0fslhI5_AhA"/> 
     145        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Ppi980JNEeS0fslhI5_AhA" name="43:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Ppi99EJNEeS0fslhI5_AhA"/> 
     146        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpjlAEJNEeS0fslhI5_AhA" name="44:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpjlAkJNEeS0fslhI5_AhA"/> 
     147        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpjlAUJNEeS0fslhI5_AhA" name="44:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpjlAkJNEeS0fslhI5_AhA"/> 
     148        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpjlA0JNEeS0fslhI5_AhA" name="45:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpkMEUJNEeS0fslhI5_AhA"/> 
     149        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpkMEEJNEeS0fslhI5_AhA" name="45:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpkMEUJNEeS0fslhI5_AhA"/> 
     150        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpkMEkJNEeS0fslhI5_AhA" name="46:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpkMFEJNEeS0fslhI5_AhA"/> 
     151        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpkME0JNEeS0fslhI5_AhA" name="46:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpkMFEJNEeS0fslhI5_AhA"/> 
     152        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpkzIEJNEeS0fslhI5_AhA" name="47:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpkzIkJNEeS0fslhI5_AhA"/> 
     153        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpkzIUJNEeS0fslhI5_AhA" name="47:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpkzIkJNEeS0fslhI5_AhA"/> 
     154        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PplaMEJNEeS0fslhI5_AhA" name="48:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PplaMkJNEeS0fslhI5_AhA"/> 
     155        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PplaMUJNEeS0fslhI5_AhA" name="48:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PplaMkJNEeS0fslhI5_AhA"/> 
     156        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PplaM0JNEeS0fslhI5_AhA" name="49:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpmBQUJNEeS0fslhI5_AhA"/> 
     157        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpmBQEJNEeS0fslhI5_AhA" name="49:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpmBQUJNEeS0fslhI5_AhA"/> 
     158        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpmoUEJNEeS0fslhI5_AhA" name="50:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpmoUkJNEeS0fslhI5_AhA"/> 
     159        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpmoUUJNEeS0fslhI5_AhA" name="50:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpmoUkJNEeS0fslhI5_AhA"/> 
     160        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpmoU0JNEeS0fslhI5_AhA" name="51:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpnPYUJNEeS0fslhI5_AhA"/> 
     161        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpnPYEJNEeS0fslhI5_AhA" name="51:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpnPYUJNEeS0fslhI5_AhA"/> 
     162        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpnPYkJNEeS0fslhI5_AhA" name="52:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Ppn2cUJNEeS0fslhI5_AhA"/> 
     163        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Ppn2cEJNEeS0fslhI5_AhA" name="52:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Ppn2cUJNEeS0fslhI5_AhA"/> 
     164        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Ppn2ckJNEeS0fslhI5_AhA" name="53:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpodgUJNEeS0fslhI5_AhA"/> 
     165        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpodgEJNEeS0fslhI5_AhA" name="53:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpodgUJNEeS0fslhI5_AhA"/> 
     166        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpodgkJNEeS0fslhI5_AhA" name="54:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PppEkEJNEeS0fslhI5_AhA"/> 
     167        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Ppodg0JNEeS0fslhI5_AhA" name="54:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PppEkEJNEeS0fslhI5_AhA"/> 
     168        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PppEkUJNEeS0fslhI5_AhA" name="55:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PppEk0JNEeS0fslhI5_AhA"/> 
     169        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PppEkkJNEeS0fslhI5_AhA" name="55:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PppEk0JNEeS0fslhI5_AhA"/> 
     170        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpproEJNEeS0fslhI5_AhA" name="56:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpprokJNEeS0fslhI5_AhA"/> 
     171        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpproUJNEeS0fslhI5_AhA" name="56:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpprokJNEeS0fslhI5_AhA"/> 
     172        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pppro0JNEeS0fslhI5_AhA" name="57:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpqSsEJNEeS0fslhI5_AhA"/> 
     173        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpprpEJNEeS0fslhI5_AhA" name="57:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpqSsEJNEeS0fslhI5_AhA"/> 
     174        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpqSsUJNEeS0fslhI5_AhA" name="58:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpqSs0JNEeS0fslhI5_AhA"/> 
     175        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpqSskJNEeS0fslhI5_AhA" name="58:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpqSs0JNEeS0fslhI5_AhA"/> 
     176        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpqStEJNEeS0fslhI5_AhA" name="59:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Ppq5wEJNEeS0fslhI5_AhA"/> 
     177        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpqStUJNEeS0fslhI5_AhA" name="59:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Ppq5wEJNEeS0fslhI5_AhA"/> 
     178        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Ppq5wUJNEeS0fslhI5_AhA" name="60:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Ppq5w0JNEeS0fslhI5_AhA"/> 
     179        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Ppq5wkJNEeS0fslhI5_AhA" name="60:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Ppq5w0JNEeS0fslhI5_AhA"/> 
     180        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Ppq5xEJNEeS0fslhI5_AhA" name="61:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pprg0UJNEeS0fslhI5_AhA"/> 
     181        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pprg0EJNEeS0fslhI5_AhA" name="61:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pprg0UJNEeS0fslhI5_AhA"/> 
     182        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pprg0kJNEeS0fslhI5_AhA" name="62:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pprg1EJNEeS0fslhI5_AhA"/> 
     183        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pprg00JNEeS0fslhI5_AhA" name="62:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pprg1EJNEeS0fslhI5_AhA"/> 
     184        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpsH4EJNEeS0fslhI5_AhA" name="63:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpsH4kJNEeS0fslhI5_AhA"/> 
     185        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpsH4UJNEeS0fslhI5_AhA" name="63:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpsH4kJNEeS0fslhI5_AhA"/> 
     186        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpsH40JNEeS0fslhI5_AhA" name="64:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Ppsu8EJNEeS0fslhI5_AhA"/> 
     187        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpsH5EJNEeS0fslhI5_AhA" name="64:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Ppsu8EJNEeS0fslhI5_AhA"/> 
     188        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Ppsu8UJNEeS0fslhI5_AhA" name="65:locate_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Ppsu80JNEeS0fslhI5_AhA"/> 
     189        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Ppsu8kJNEeS0fslhI5_AhA" name="65:locate_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Ppsu80JNEeS0fslhI5_AhA"/> 
     190        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PptWAEJNEeS0fslhI5_AhA" name="66:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PptWAkJNEeS0fslhI5_AhA"/> 
     191        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PptWAUJNEeS0fslhI5_AhA" name="66:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PptWAkJNEeS0fslhI5_AhA"/> 
     192        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PptWA0JNEeS0fslhI5_AhA" name="67:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Ppt9EUJNEeS0fslhI5_AhA"/> 
     193        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Ppt9EEJNEeS0fslhI5_AhA" name="67:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Ppt9EUJNEeS0fslhI5_AhA"/> 
     194        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Ppt9EkJNEeS0fslhI5_AhA" name="68:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpukIEJNEeS0fslhI5_AhA"/> 
     195        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Ppt9E0JNEeS0fslhI5_AhA" name="68:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpukIEJNEeS0fslhI5_AhA"/> 
     196        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpukIUJNEeS0fslhI5_AhA" name="69:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpvLMEJNEeS0fslhI5_AhA"/> 
     197        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpukIkJNEeS0fslhI5_AhA" name="69:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpvLMEJNEeS0fslhI5_AhA"/> 
     198        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpvLMUJNEeS0fslhI5_AhA" name="70:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpvLM0JNEeS0fslhI5_AhA"/> 
     199        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpvLMkJNEeS0fslhI5_AhA" name="70:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpvLM0JNEeS0fslhI5_AhA"/> 
     200        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpvyQEJNEeS0fslhI5_AhA" name="71:list_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpvyQkJNEeS0fslhI5_AhA"/> 
     201        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpvyQUJNEeS0fslhI5_AhA" name="71:list_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpvyQkJNEeS0fslhI5_AhA"/> 
     202        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpwZUEJNEeS0fslhI5_AhA" name="72:registerEntityWithIdentity_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpwZUkJNEeS0fslhI5_AhA"/> 
     203        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpwZUUJNEeS0fslhI5_AhA" name="72:registerEntityWithIdentity_recvFragment" covered="_PpvyQ0JNEeS0fslhI5_AhA" message="_PpwZUkJNEeS0fslhI5_AhA"/> 
     204        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpxAYEJNEeS0fslhI5_AhA" name="73:registerEntityWithIdentity_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpxAYkJNEeS0fslhI5_AhA"/> 
     205        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpxAYUJNEeS0fslhI5_AhA" name="73:registerEntityWithIdentity_recvFragment" covered="_PpvyQ0JNEeS0fslhI5_AhA" message="_PpxAYkJNEeS0fslhI5_AhA"/> 
     206        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpxAY0JNEeS0fslhI5_AhA" name="74:findIdentitiesByTraits_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpxncUJNEeS0fslhI5_AhA"/> 
     207        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpxncEJNEeS0fslhI5_AhA" name="74:findIdentitiesByTraits_recvFragment" covered="_PpvyQ0JNEeS0fslhI5_AhA" message="_PpxncUJNEeS0fslhI5_AhA"/> 
     208        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpxnckJNEeS0fslhI5_AhA" name="75:findIdentitiesByTraits_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpyOgUJNEeS0fslhI5_AhA"/> 
     209        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpyOgEJNEeS0fslhI5_AhA" name="75:findIdentitiesByTraits_recvFragment" covered="_PpvyQ0JNEeS0fslhI5_AhA" message="_PpyOgUJNEeS0fslhI5_AhA"/> 
     210        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpyOgkJNEeS0fslhI5_AhA" name="76:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Ppy1kEJNEeS0fslhI5_AhA"/> 
     211        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpyOg0JNEeS0fslhI5_AhA" name="76:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Ppy1kEJNEeS0fslhI5_AhA"/> 
     212        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Ppy1kUJNEeS0fslhI5_AhA" name="77:locate_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PpzcoEJNEeS0fslhI5_AhA"/> 
     213        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Ppy1kkJNEeS0fslhI5_AhA" name="77:locate_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PpzcoEJNEeS0fslhI5_AhA"/> 
     214        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpzcoUJNEeS0fslhI5_AhA" name="78:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pp0DsEJNEeS0fslhI5_AhA"/> 
     215        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PpzcokJNEeS0fslhI5_AhA" name="78:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pp0DsEJNEeS0fslhI5_AhA"/> 
     216        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp0DsUJNEeS0fslhI5_AhA" name="79:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pp0qwEJNEeS0fslhI5_AhA"/> 
     217        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp0DskJNEeS0fslhI5_AhA" name="79:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pp0qwEJNEeS0fslhI5_AhA"/> 
     218        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp0qwUJNEeS0fslhI5_AhA" name="80:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pp1R0EJNEeS0fslhI5_AhA"/> 
     219        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp0qwkJNEeS0fslhI5_AhA" name="80:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pp1R0EJNEeS0fslhI5_AhA"/> 
     220        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp1R0UJNEeS0fslhI5_AhA" name="81:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pp1R00JNEeS0fslhI5_AhA"/> 
     221        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp1R0kJNEeS0fslhI5_AhA" name="81:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pp1R00JNEeS0fslhI5_AhA"/> 
     222        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp144EJNEeS0fslhI5_AhA" name="82:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pp144kJNEeS0fslhI5_AhA"/> 
     223        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp144UJNEeS0fslhI5_AhA" name="82:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pp144kJNEeS0fslhI5_AhA"/> 
     224        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp1440JNEeS0fslhI5_AhA" name="83:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pp2f8EJNEeS0fslhI5_AhA"/> 
     225        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp145EJNEeS0fslhI5_AhA" name="83:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pp2f8EJNEeS0fslhI5_AhA"/> 
     226        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp2f8UJNEeS0fslhI5_AhA" name="84:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pp2f80JNEeS0fslhI5_AhA"/> 
     227        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp2f8kJNEeS0fslhI5_AhA" name="84:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pp2f80JNEeS0fslhI5_AhA"/> 
     228        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp3HAEJNEeS0fslhI5_AhA" name="85:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pp3HAkJNEeS0fslhI5_AhA"/> 
     229        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp3HAUJNEeS0fslhI5_AhA" name="85:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pp3HAkJNEeS0fslhI5_AhA"/> 
     230        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp3HA0JNEeS0fslhI5_AhA" name="86:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pp3uEUJNEeS0fslhI5_AhA"/> 
     231        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp3uEEJNEeS0fslhI5_AhA" name="86:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pp3uEUJNEeS0fslhI5_AhA"/> 
     232        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp4VIEJNEeS0fslhI5_AhA" name="87:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pp4VIkJNEeS0fslhI5_AhA"/> 
     233        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp4VIUJNEeS0fslhI5_AhA" name="87:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pp4VIkJNEeS0fslhI5_AhA"/> 
     234        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp4VI0JNEeS0fslhI5_AhA" name="88:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pp48MUJNEeS0fslhI5_AhA"/> 
     235        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp48MEJNEeS0fslhI5_AhA" name="88:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pp48MUJNEeS0fslhI5_AhA"/> 
     236        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp48MkJNEeS0fslhI5_AhA" name="89:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pp5jQEJNEeS0fslhI5_AhA"/> 
     237        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp48M0JNEeS0fslhI5_AhA" name="89:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pp5jQEJNEeS0fslhI5_AhA"/> 
     238        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp5jQUJNEeS0fslhI5_AhA" name="90:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pp6KUEJNEeS0fslhI5_AhA"/> 
     239        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp5jQkJNEeS0fslhI5_AhA" name="90:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pp6KUEJNEeS0fslhI5_AhA"/> 
     240        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp6KUUJNEeS0fslhI5_AhA" name="91:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pp6xYEJNEeS0fslhI5_AhA"/> 
     241        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp6KUkJNEeS0fslhI5_AhA" name="91:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pp6xYEJNEeS0fslhI5_AhA"/> 
     242        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp6xYUJNEeS0fslhI5_AhA" name="92:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pp6xY0JNEeS0fslhI5_AhA"/> 
     243        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp6xYkJNEeS0fslhI5_AhA" name="92:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pp6xY0JNEeS0fslhI5_AhA"/> 
     244        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp7YcEJNEeS0fslhI5_AhA" name="93:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pp7YckJNEeS0fslhI5_AhA"/> 
     245        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp7YcUJNEeS0fslhI5_AhA" name="93:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pp7YckJNEeS0fslhI5_AhA"/> 
     246        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp7Yc0JNEeS0fslhI5_AhA" name="94:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pp7_gEJNEeS0fslhI5_AhA"/> 
     247        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp7YdEJNEeS0fslhI5_AhA" name="94:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pp7_gEJNEeS0fslhI5_AhA"/> 
     248        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp7_gUJNEeS0fslhI5_AhA" name="95:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pp7_g0JNEeS0fslhI5_AhA"/> 
     249        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp7_gkJNEeS0fslhI5_AhA" name="95:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pp7_g0JNEeS0fslhI5_AhA"/> 
     250        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp7_hEJNEeS0fslhI5_AhA" name="96:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pp8mkUJNEeS0fslhI5_AhA"/> 
     251        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp8mkEJNEeS0fslhI5_AhA" name="96:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pp8mkUJNEeS0fslhI5_AhA"/> 
     252        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp8mkkJNEeS0fslhI5_AhA" name="97:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pp9NoEJNEeS0fslhI5_AhA"/> 
     253        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp8mk0JNEeS0fslhI5_AhA" name="97:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pp9NoEJNEeS0fslhI5_AhA"/> 
     254        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp9NoUJNEeS0fslhI5_AhA" name="98:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pp9No0JNEeS0fslhI5_AhA"/> 
     255        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp9NokJNEeS0fslhI5_AhA" name="98:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pp9No0JNEeS0fslhI5_AhA"/> 
     256        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp9NpEJNEeS0fslhI5_AhA" name="99:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pp90sUJNEeS0fslhI5_AhA"/> 
     257        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp90sEJNEeS0fslhI5_AhA" name="99:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pp90sUJNEeS0fslhI5_AhA"/> 
     258        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp90skJNEeS0fslhI5_AhA" name="100:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pp90tEJNEeS0fslhI5_AhA"/> 
     259        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp90s0JNEeS0fslhI5_AhA" name="100:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pp90tEJNEeS0fslhI5_AhA"/> 
     260        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp90tUJNEeS0fslhI5_AhA" name="101:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pp-bwUJNEeS0fslhI5_AhA"/> 
     261        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp-bwEJNEeS0fslhI5_AhA" name="101:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pp-bwUJNEeS0fslhI5_AhA"/> 
     262        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp-bwkJNEeS0fslhI5_AhA" name="102:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pp-bxEJNEeS0fslhI5_AhA"/> 
     263        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp-bw0JNEeS0fslhI5_AhA" name="102:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pp-bxEJNEeS0fslhI5_AhA"/> 
     264        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp_C0EJNEeS0fslhI5_AhA" name="103:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pp_C0kJNEeS0fslhI5_AhA"/> 
     265        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp_C0UJNEeS0fslhI5_AhA" name="103:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pp_C0kJNEeS0fslhI5_AhA"/> 
     266        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp_C00JNEeS0fslhI5_AhA" name="104:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_Pp_p4UJNEeS0fslhI5_AhA"/> 
     267        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp_p4EJNEeS0fslhI5_AhA" name="104:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_Pp_p4UJNEeS0fslhI5_AhA"/> 
     268        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp_p4kJNEeS0fslhI5_AhA" name="105:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqAQ8EJNEeS0fslhI5_AhA"/> 
     269        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pp_p40JNEeS0fslhI5_AhA" name="105:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqAQ8EJNEeS0fslhI5_AhA"/> 
     270        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqAQ8UJNEeS0fslhI5_AhA" name="106:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqAQ80JNEeS0fslhI5_AhA"/> 
     271        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqAQ8kJNEeS0fslhI5_AhA" name="106:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqAQ80JNEeS0fslhI5_AhA"/> 
     272        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqA4AEJNEeS0fslhI5_AhA" name="107:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqA4AkJNEeS0fslhI5_AhA"/> 
     273        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqA4AUJNEeS0fslhI5_AhA" name="107:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqA4AkJNEeS0fslhI5_AhA"/> 
     274        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqA4A0JNEeS0fslhI5_AhA" name="108:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqBfEEJNEeS0fslhI5_AhA"/> 
     275        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqA4BEJNEeS0fslhI5_AhA" name="108:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqBfEEJNEeS0fslhI5_AhA"/> 
     276        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqBfEUJNEeS0fslhI5_AhA" name="109:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqBfE0JNEeS0fslhI5_AhA"/> 
     277        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqBfEkJNEeS0fslhI5_AhA" name="109:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqBfE0JNEeS0fslhI5_AhA"/> 
     278        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqCGIEJNEeS0fslhI5_AhA" name="110:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqCGIkJNEeS0fslhI5_AhA"/> 
     279        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqCGIUJNEeS0fslhI5_AhA" name="110:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqCGIkJNEeS0fslhI5_AhA"/> 
     280        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqCGI0JNEeS0fslhI5_AhA" name="111:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqCtMEJNEeS0fslhI5_AhA"/> 
     281        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqCGJEJNEeS0fslhI5_AhA" name="111:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqCtMEJNEeS0fslhI5_AhA"/> 
     282        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqCtMUJNEeS0fslhI5_AhA" name="112:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqCtM0JNEeS0fslhI5_AhA"/> 
     283        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqCtMkJNEeS0fslhI5_AhA" name="112:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqCtM0JNEeS0fslhI5_AhA"/> 
     284        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqDUQEJNEeS0fslhI5_AhA" name="113:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqDUQkJNEeS0fslhI5_AhA"/> 
     285        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqDUQUJNEeS0fslhI5_AhA" name="113:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqDUQkJNEeS0fslhI5_AhA"/> 
     286        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqDUQ0JNEeS0fslhI5_AhA" name="114:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqD7UEJNEeS0fslhI5_AhA"/> 
     287        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqDUREJNEeS0fslhI5_AhA" name="114:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqD7UEJNEeS0fslhI5_AhA"/> 
     288        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqD7UUJNEeS0fslhI5_AhA" name="115:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqD7U0JNEeS0fslhI5_AhA"/> 
     289        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqD7UkJNEeS0fslhI5_AhA" name="115:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqD7U0JNEeS0fslhI5_AhA"/> 
     290        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqEiYEJNEeS0fslhI5_AhA" name="116:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqEiYkJNEeS0fslhI5_AhA"/> 
     291        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqEiYUJNEeS0fslhI5_AhA" name="116:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqEiYkJNEeS0fslhI5_AhA"/> 
     292        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqEiY0JNEeS0fslhI5_AhA" name="117:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqFJcUJNEeS0fslhI5_AhA"/> 
     293        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqFJcEJNEeS0fslhI5_AhA" name="117:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqFJcUJNEeS0fslhI5_AhA"/> 
     294        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqFJckJNEeS0fslhI5_AhA" name="118:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqFJdEJNEeS0fslhI5_AhA"/> 
     295        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqFJc0JNEeS0fslhI5_AhA" name="118:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqFJdEJNEeS0fslhI5_AhA"/> 
     296        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqFJdUJNEeS0fslhI5_AhA" name="119:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqFwgUJNEeS0fslhI5_AhA"/> 
     297        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqFwgEJNEeS0fslhI5_AhA" name="119:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqFwgUJNEeS0fslhI5_AhA"/> 
     298        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqFwgkJNEeS0fslhI5_AhA" name="120:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqFwhEJNEeS0fslhI5_AhA"/> 
     299        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqFwg0JNEeS0fslhI5_AhA" name="120:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqFwhEJNEeS0fslhI5_AhA"/> 
     300        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqFwhUJNEeS0fslhI5_AhA" name="121:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqGXkUJNEeS0fslhI5_AhA"/> 
     301        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqGXkEJNEeS0fslhI5_AhA" name="121:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqGXkUJNEeS0fslhI5_AhA"/> 
     302        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqGXkkJNEeS0fslhI5_AhA" name="122:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqGXlEJNEeS0fslhI5_AhA"/> 
     303        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqGXk0JNEeS0fslhI5_AhA" name="122:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqGXlEJNEeS0fslhI5_AhA"/> 
     304        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqGXlUJNEeS0fslhI5_AhA" name="123:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqG-oUJNEeS0fslhI5_AhA"/> 
     305        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqG-oEJNEeS0fslhI5_AhA" name="123:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqG-oUJNEeS0fslhI5_AhA"/> 
     306        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqG-okJNEeS0fslhI5_AhA" name="124:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqG-pEJNEeS0fslhI5_AhA"/> 
     307        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqG-o0JNEeS0fslhI5_AhA" name="124:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqG-pEJNEeS0fslhI5_AhA"/> 
     308        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqG-pUJNEeS0fslhI5_AhA" name="125:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqHlsUJNEeS0fslhI5_AhA"/> 
     309        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqHlsEJNEeS0fslhI5_AhA" name="125:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqHlsUJNEeS0fslhI5_AhA"/> 
     310        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqHlskJNEeS0fslhI5_AhA" name="126:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqHltEJNEeS0fslhI5_AhA"/> 
     311        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqHls0JNEeS0fslhI5_AhA" name="126:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqHltEJNEeS0fslhI5_AhA"/> 
     312        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqIMwEJNEeS0fslhI5_AhA" name="127:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqIMwkJNEeS0fslhI5_AhA"/> 
     313        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqIMwUJNEeS0fslhI5_AhA" name="127:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqIMwkJNEeS0fslhI5_AhA"/> 
     314        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqIMw0JNEeS0fslhI5_AhA" name="128:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqIz0EJNEeS0fslhI5_AhA"/> 
     315        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqIMxEJNEeS0fslhI5_AhA" name="128:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqIz0EJNEeS0fslhI5_AhA"/> 
     316        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqIz0UJNEeS0fslhI5_AhA" name="129:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqIz00JNEeS0fslhI5_AhA"/> 
     317        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqIz0kJNEeS0fslhI5_AhA" name="129:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqIz00JNEeS0fslhI5_AhA"/> 
     318        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqIz1EJNEeS0fslhI5_AhA" name="130:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqJa4UJNEeS0fslhI5_AhA"/> 
     319        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqJa4EJNEeS0fslhI5_AhA" name="130:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqJa4UJNEeS0fslhI5_AhA"/> 
     320        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqJa4kJNEeS0fslhI5_AhA" name="131:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqJa5EJNEeS0fslhI5_AhA"/> 
     321        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqJa40JNEeS0fslhI5_AhA" name="131:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqJa5EJNEeS0fslhI5_AhA"/> 
     322        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqKB8EJNEeS0fslhI5_AhA" name="132:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqKB8kJNEeS0fslhI5_AhA"/> 
     323        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqKB8UJNEeS0fslhI5_AhA" name="132:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqKB8kJNEeS0fslhI5_AhA"/> 
     324        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqKB80JNEeS0fslhI5_AhA" name="133:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqKB9UJNEeS0fslhI5_AhA"/> 
     325        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqKB9EJNEeS0fslhI5_AhA" name="133:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqKB9UJNEeS0fslhI5_AhA"/> 
     326        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqKpAEJNEeS0fslhI5_AhA" name="134:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqKpAkJNEeS0fslhI5_AhA"/> 
     327        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqKpAUJNEeS0fslhI5_AhA" name="134:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqKpAkJNEeS0fslhI5_AhA"/> 
     328        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqKpA0JNEeS0fslhI5_AhA" name="135:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqLQEEJNEeS0fslhI5_AhA"/> 
     329        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqKpBEJNEeS0fslhI5_AhA" name="135:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqLQEEJNEeS0fslhI5_AhA"/> 
     330        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqLQEUJNEeS0fslhI5_AhA" name="136:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqLQE0JNEeS0fslhI5_AhA"/> 
     331        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqLQEkJNEeS0fslhI5_AhA" name="136:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqLQE0JNEeS0fslhI5_AhA"/> 
     332        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqL3IEJNEeS0fslhI5_AhA" name="137:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqL3IkJNEeS0fslhI5_AhA"/> 
     333        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqL3IUJNEeS0fslhI5_AhA" name="137:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqL3IkJNEeS0fslhI5_AhA"/> 
     334        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqL3I0JNEeS0fslhI5_AhA" name="138:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqMeMEJNEeS0fslhI5_AhA"/> 
     335        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqL3JEJNEeS0fslhI5_AhA" name="138:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqMeMEJNEeS0fslhI5_AhA"/> 
     336        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqMeMUJNEeS0fslhI5_AhA" name="139:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqNFQUJNEeS0fslhI5_AhA"/> 
     337        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqNFQEJNEeS0fslhI5_AhA" name="139:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqNFQUJNEeS0fslhI5_AhA"/> 
     338        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqNFQkJNEeS0fslhI5_AhA" name="140:locate_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqNsUUJNEeS0fslhI5_AhA"/> 
     339        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqNsUEJNEeS0fslhI5_AhA" name="140:locate_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqNsUUJNEeS0fslhI5_AhA"/> 
     340        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqNsUkJNEeS0fslhI5_AhA" name="141:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqOTYEJNEeS0fslhI5_AhA"/> 
     341        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqNsU0JNEeS0fslhI5_AhA" name="141:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqOTYEJNEeS0fslhI5_AhA"/> 
     342        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqOTYUJNEeS0fslhI5_AhA" name="142:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqO6cEJNEeS0fslhI5_AhA"/> 
     343        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqOTYkJNEeS0fslhI5_AhA" name="142:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqO6cEJNEeS0fslhI5_AhA"/> 
     344        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqO6cUJNEeS0fslhI5_AhA" name="143:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqO6c0JNEeS0fslhI5_AhA"/> 
     345        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqO6ckJNEeS0fslhI5_AhA" name="143:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqO6c0JNEeS0fslhI5_AhA"/> 
     346        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqPhgEJNEeS0fslhI5_AhA" name="144:get_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqPhgkJNEeS0fslhI5_AhA"/> 
     347        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqPhgUJNEeS0fslhI5_AhA" name="144:get_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqPhgkJNEeS0fslhI5_AhA"/> 
     348        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqQIkEJNEeS0fslhI5_AhA" name="145:put_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqQvoEJNEeS0fslhI5_AhA"/> 
     349        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqQIkUJNEeS0fslhI5_AhA" name="145:put_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqQvoEJNEeS0fslhI5_AhA"/> 
     350        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqQvoUJNEeS0fslhI5_AhA" name="146:list_sendFragment" covered="_PpCAkEJNEeS0fslhI5_AhA" message="_PqRWsEJNEeS0fslhI5_AhA"/> 
     351        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PqQvokJNEeS0fslhI5_AhA" name="146:list_recvFragment" covered="_PpCAkUJNEeS0fslhI5_AhA" message="_PqRWsEJNEeS0fslhI5_AhA"/> 
     352        <lifeline xmi:id="_PpCAkEJNEeS0fslhI5_AhA" name="user" represents="_IBEI4CRtEeS7ONCnthfEow" coveredBy="_PpIHMEJNEeS0fslhI5_AhA _PpO04EJNEeS0fslhI5_AhA _PpPb8kJNEeS0fslhI5_AhA _PpQDAUJNEeS0fslhI5_AhA _PpQqEEJNEeS0fslhI5_AhA _PpRRIEJNEeS0fslhI5_AhA _PpRRI0JNEeS0fslhI5_AhA _PpR4MkJNEeS0fslhI5_AhA _PpSfQkJNEeS0fslhI5_AhA _PpTGUUJNEeS0fslhI5_AhA _PpTtYEJNEeS0fslhI5_AhA _PpTtY0JNEeS0fslhI5_AhA _PpUUckJNEeS0fslhI5_AhA _PpU7gEJNEeS0fslhI5_AhA _PpU7g0JNEeS0fslhI5_AhA _PpVikkJNEeS0fslhI5_AhA _PpWJoEJNEeS0fslhI5_AhA _PpWJo0JNEeS0fslhI5_AhA _PpWwsUJNEeS0fslhI5_AhA _PpWwtEJNEeS0fslhI5_AhA _PpXXwkJNEeS0fslhI5_AhA _PpX-0EJNEeS0fslhI5_AhA _PpYl4EJNEeS0fslhI5_AhA _PpZM8EJNEeS0fslhI5_AhA _PpZ0AEJNEeS0fslhI5_AhA _PpabEEJNEeS0fslhI5_AhA _PpabE0JNEeS0fslhI5_AhA _PpbCIUJNEeS0fslhI5_AhA _PpbpMEJNEeS0fslhI5_AhA _PpbpM0JNEeS0fslhI5_AhA _PpcQQkJNEeS0fslhI5_AhA _Ppc3UEJNEeS0fslhI5_AhA _Ppc3U0JNEeS0fslhI5_AhA _PpdeYkJNEeS0fslhI5_AhA _PpeFcEJNEeS0fslhI5_AhA _PpesgEJNEeS0fslhI5_AhA _PpfTkUJNEeS0fslhI5_AhA _Ppf6okJNEeS0fslhI5_AhA _PpghskJNEeS0fslhI5_AhA _PphIwUJNEeS0fslhI5_AhA _Pphv0UJNEeS0fslhI5_AhA _PpiW4EJNEeS0fslhI5_AhA _PpiW40JNEeS0fslhI5_AhA _Ppi98kJNEeS0fslhI5_AhA _PpjlAEJNEeS0fslhI5_AhA _PpjlA0JNEeS0fslhI5_AhA _PpkMEkJNEeS0fslhI5_AhA _PpkzIEJNEeS0fslhI5_AhA _PplaMEJNEeS0fslhI5_AhA _PplaM0JNEeS0fslhI5_AhA _PpmoUEJNEeS0fslhI5_AhA _PpmoU0JNEeS0fslhI5_AhA _PpnPYkJNEeS0fslhI5_AhA _Ppn2ckJNEeS0fslhI5_AhA _PpodgkJNEeS0fslhI5_AhA _PppEkUJNEeS0fslhI5_AhA _PpproEJNEeS0fslhI5_AhA _Pppro0JNEeS0fslhI5_AhA _PpqSsUJNEeS0fslhI5_AhA _PpqStEJNEeS0fslhI5_AhA _Ppq5wUJNEeS0fslhI5_AhA _Ppq5xEJNEeS0fslhI5_AhA _Pprg0kJNEeS0fslhI5_AhA _PpsH4EJNEeS0fslhI5_AhA _PpsH40JNEeS0fslhI5_AhA _Ppsu8UJNEeS0fslhI5_AhA _PptWAEJNEeS0fslhI5_AhA _PptWA0JNEeS0fslhI5_AhA _Ppt9EkJNEeS0fslhI5_AhA _PpukIUJNEeS0fslhI5_AhA _PpvLMUJNEeS0fslhI5_AhA _PpvyQEJNEeS0fslhI5_AhA _PpwZUEJNEeS0fslhI5_AhA _PpxAYEJNEeS0fslhI5_AhA _PpxAY0JNEeS0fslhI5_AhA _PpxnckJNEeS0fslhI5_AhA _PpyOgkJNEeS0fslhI5_AhA _Ppy1kUJNEeS0fslhI5_AhA _PpzcoUJNEeS0fslhI5_AhA _Pp0DsUJNEeS0fslhI5_AhA _Pp0qwUJNEeS0fslhI5_AhA _Pp1R0UJNEeS0fslhI5_AhA _Pp144EJNEeS0fslhI5_AhA _Pp1440JNEeS0fslhI5_AhA _Pp2f8UJNEeS0fslhI5_AhA _Pp3HAEJNEeS0fslhI5_AhA _Pp3HA0JNEeS0fslhI5_AhA _Pp4VIEJNEeS0fslhI5_AhA _Pp4VI0JNEeS0fslhI5_AhA _Pp48MkJNEeS0fslhI5_AhA _Pp5jQUJNEeS0fslhI5_AhA _Pp6KUUJNEeS0fslhI5_AhA _Pp6xYUJNEeS0fslhI5_AhA _Pp7YcEJNEeS0fslhI5_AhA _Pp7Yc0JNEeS0fslhI5_AhA _Pp7_gUJNEeS0fslhI5_AhA _Pp7_hEJNEeS0fslhI5_AhA _Pp8mkkJNEeS0fslhI5_AhA _Pp9NoUJNEeS0fslhI5_AhA _Pp9NpEJNEeS0fslhI5_AhA _Pp90skJNEeS0fslhI5_AhA _Pp90tUJNEeS0fslhI5_AhA _Pp-bwkJNEeS0fslhI5_AhA _Pp_C0EJNEeS0fslhI5_AhA _Pp_C00JNEeS0fslhI5_AhA _Pp_p4kJNEeS0fslhI5_AhA _PqAQ8UJNEeS0fslhI5_AhA _PqA4AEJNEeS0fslhI5_AhA _PqA4A0JNEeS0fslhI5_AhA _PqBfEUJNEeS0fslhI5_AhA _PqCGIEJNEeS0fslhI5_AhA _PqCGI0JNEeS0fslhI5_AhA _PqCtMUJNEeS0fslhI5_AhA _PqDUQEJNEeS0fslhI5_AhA _PqDUQ0JNEeS0fslhI5_AhA _PqD7UUJNEeS0fslhI5_AhA _PqEiYEJNEeS0fslhI5_AhA _PqEiY0JNEeS0fslhI5_AhA _PqFJckJNEeS0fslhI5_AhA _PqFJdUJNEeS0fslhI5_AhA _PqFwgkJNEeS0fslhI5_AhA _PqFwhUJNEeS0fslhI5_AhA _PqGXkkJNEeS0fslhI5_AhA _PqGXlUJNEeS0fslhI5_AhA _PqG-okJNEeS0fslhI5_AhA _PqG-pUJNEeS0fslhI5_AhA _PqHlskJNEeS0fslhI5_AhA _PqIMwEJNEeS0fslhI5_AhA _PqIMw0JNEeS0fslhI5_AhA _PqIz0UJNEeS0fslhI5_AhA _PqIz1EJNEeS0fslhI5_AhA _PqJa4kJNEeS0fslhI5_AhA _PqKB8EJNEeS0fslhI5_AhA _PqKB80JNEeS0fslhI5_AhA _PqKpAEJNEeS0fslhI5_AhA _PqKpA0JNEeS0fslhI5_AhA _PqLQEUJNEeS0fslhI5_AhA _PqL3IEJNEeS0fslhI5_AhA _PqL3I0JNEeS0fslhI5_AhA _PqMeMUJNEeS0fslhI5_AhA _PqNFQkJNEeS0fslhI5_AhA _PqNsUkJNEeS0fslhI5_AhA _PqOTYUJNEeS0fslhI5_AhA _PqO6cUJNEeS0fslhI5_AhA _PqPhgEJNEeS0fslhI5_AhA _PqQIkEJNEeS0fslhI5_AhA _PqQvoUJNEeS0fslhI5_AhA"/> 
     353        <lifeline xmi:id="_PpCAkUJNEeS0fslhI5_AhA" name="rlus" represents="_e_S9ACReEeS7ONCnthfEow" coveredBy="_PpIuQEJNEeS0fslhI5_AhA _PpPb8EJNEeS0fslhI5_AhA _PpPb80JNEeS0fslhI5_AhA _PpQDAkJNEeS0fslhI5_AhA _PpQqEUJNEeS0fslhI5_AhA _PpRRIUJNEeS0fslhI5_AhA _PpR4MEJNEeS0fslhI5_AhA _PpSfQEJNEeS0fslhI5_AhA _PpSfQ0JNEeS0fslhI5_AhA _PpTGUkJNEeS0fslhI5_AhA _PpTtYUJNEeS0fslhI5_AhA _PpUUcEJNEeS0fslhI5_AhA _PpUUc0JNEeS0fslhI5_AhA _PpU7gUJNEeS0fslhI5_AhA _PpVikEJNEeS0fslhI5_AhA _PpVik0JNEeS0fslhI5_AhA _PpWJoUJNEeS0fslhI5_AhA _PpWJpEJNEeS0fslhI5_AhA _PpWwskJNEeS0fslhI5_AhA _PpXXwEJNEeS0fslhI5_AhA _PpXXw0JNEeS0fslhI5_AhA _PpX-0UJNEeS0fslhI5_AhA _PpYl4UJNEeS0fslhI5_AhA _PpZM8UJNEeS0fslhI5_AhA _PpZ0AUJNEeS0fslhI5_AhA _PpabEUJNEeS0fslhI5_AhA _PpabFEJNEeS0fslhI5_AhA _PpbCIkJNEeS0fslhI5_AhA _PpbpMUJNEeS0fslhI5_AhA _PpcQQEJNEeS0fslhI5_AhA _PpcQQ0JNEeS0fslhI5_AhA _Ppc3UUJNEeS0fslhI5_AhA _PpdeYEJNEeS0fslhI5_AhA _PpdeY0JNEeS0fslhI5_AhA _PpeFcUJNEeS0fslhI5_AhA _PpesgUJNEeS0fslhI5_AhA _Ppf6oEJNEeS0fslhI5_AhA _PpghsEJNEeS0fslhI5_AhA _Ppghs0JNEeS0fslhI5_AhA _PphIwkJNEeS0fslhI5_AhA _Pphv0kJNEeS0fslhI5_AhA _PpiW4UJNEeS0fslhI5_AhA _Ppi98EJNEeS0fslhI5_AhA _Ppi980JNEeS0fslhI5_AhA _PpjlAUJNEeS0fslhI5_AhA _PpkMEEJNEeS0fslhI5_AhA _PpkME0JNEeS0fslhI5_AhA _PpkzIUJNEeS0fslhI5_AhA _PplaMUJNEeS0fslhI5_AhA _PpmBQEJNEeS0fslhI5_AhA _PpmoUUJNEeS0fslhI5_AhA _PpnPYEJNEeS0fslhI5_AhA _Ppn2cEJNEeS0fslhI5_AhA _PpodgEJNEeS0fslhI5_AhA _Ppodg0JNEeS0fslhI5_AhA _PppEkkJNEeS0fslhI5_AhA _PpproUJNEeS0fslhI5_AhA _PpprpEJNEeS0fslhI5_AhA _PpqSskJNEeS0fslhI5_AhA _PpqStUJNEeS0fslhI5_AhA _Ppq5wkJNEeS0fslhI5_AhA _Pprg0EJNEeS0fslhI5_AhA _Pprg00JNEeS0fslhI5_AhA _PpsH4UJNEeS0fslhI5_AhA _PpsH5EJNEeS0fslhI5_AhA _Ppsu8kJNEeS0fslhI5_AhA _PptWAUJNEeS0fslhI5_AhA _Ppt9EEJNEeS0fslhI5_AhA _Ppt9E0JNEeS0fslhI5_AhA _PpukIkJNEeS0fslhI5_AhA _PpvLMkJNEeS0fslhI5_AhA _PpvyQUJNEeS0fslhI5_AhA _PpyOg0JNEeS0fslhI5_AhA _Ppy1kkJNEeS0fslhI5_AhA _PpzcokJNEeS0fslhI5_AhA _Pp0DskJNEeS0fslhI5_AhA _Pp0qwkJNEeS0fslhI5_AhA _Pp1R0kJNEeS0fslhI5_AhA _Pp144UJNEeS0fslhI5_AhA _Pp145EJNEeS0fslhI5_AhA _Pp2f8kJNEeS0fslhI5_AhA _Pp3HAUJNEeS0fslhI5_AhA _Pp3uEEJNEeS0fslhI5_AhA _Pp4VIUJNEeS0fslhI5_AhA _Pp48MEJNEeS0fslhI5_AhA _Pp48M0JNEeS0fslhI5_AhA _Pp5jQkJNEeS0fslhI5_AhA _Pp6KUkJNEeS0fslhI5_AhA _Pp6xYkJNEeS0fslhI5_AhA _Pp7YcUJNEeS0fslhI5_AhA _Pp7YdEJNEeS0fslhI5_AhA _Pp7_gkJNEeS0fslhI5_AhA _Pp8mkEJNEeS0fslhI5_AhA _Pp8mk0JNEeS0fslhI5_AhA _Pp9NokJNEeS0fslhI5_AhA _Pp90sEJNEeS0fslhI5_AhA _Pp90s0JNEeS0fslhI5_AhA _Pp-bwEJNEeS0fslhI5_AhA _Pp-bw0JNEeS0fslhI5_AhA _Pp_C0UJNEeS0fslhI5_AhA _Pp_p4EJNEeS0fslhI5_AhA _Pp_p40JNEeS0fslhI5_AhA _PqAQ8kJNEeS0fslhI5_AhA _PqA4AUJNEeS0fslhI5_AhA _PqA4BEJNEeS0fslhI5_AhA _PqBfEkJNEeS0fslhI5_AhA _PqCGIUJNEeS0fslhI5_AhA _PqCGJEJNEeS0fslhI5_AhA _PqCtMkJNEeS0fslhI5_AhA _PqDUQUJNEeS0fslhI5_AhA _PqDUREJNEeS0fslhI5_AhA _PqD7UkJNEeS0fslhI5_AhA _PqEiYUJNEeS0fslhI5_AhA _PqFJcEJNEeS0fslhI5_AhA _PqFJc0JNEeS0fslhI5_AhA _PqFwgEJNEeS0fslhI5_AhA _PqFwg0JNEeS0fslhI5_AhA _PqGXkEJNEeS0fslhI5_AhA _PqGXk0JNEeS0fslhI5_AhA _PqG-oEJNEeS0fslhI5_AhA _PqG-o0JNEeS0fslhI5_AhA _PqHlsEJNEeS0fslhI5_AhA _PqHls0JNEeS0fslhI5_AhA _PqIMwUJNEeS0fslhI5_AhA _PqIMxEJNEeS0fslhI5_AhA _PqIz0kJNEeS0fslhI5_AhA _PqJa4EJNEeS0fslhI5_AhA _PqJa40JNEeS0fslhI5_AhA _PqKB8UJNEeS0fslhI5_AhA _PqKB9EJNEeS0fslhI5_AhA _PqKpAUJNEeS0fslhI5_AhA _PqKpBEJNEeS0fslhI5_AhA _PqLQEkJNEeS0fslhI5_AhA _PqL3IUJNEeS0fslhI5_AhA _PqL3JEJNEeS0fslhI5_AhA _PqNFQEJNEeS0fslhI5_AhA _PqNsUEJNEeS0fslhI5_AhA _PqNsU0JNEeS0fslhI5_AhA _PqOTYkJNEeS0fslhI5_AhA _PqO6ckJNEeS0fslhI5_AhA _PqPhgUJNEeS0fslhI5_AhA _PqQIkUJNEeS0fslhI5_AhA _PqQvokJNEeS0fslhI5_AhA"/> 
     354        <lifeline xmi:id="_PpvyQ0JNEeS0fslhI5_AhA" name="ixsmq" represents="_mwuR8CReEeS7ONCnthfEow" coveredBy="_PpwZUUJNEeS0fslhI5_AhA _PpxAYUJNEeS0fslhI5_AhA _PpxncEJNEeS0fslhI5_AhA _PpyOgEJNEeS0fslhI5_AhA"/> 
     355        <message xmi:id="_PpNmwEJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpIuQEJNEeS0fslhI5_AhA" sendEvent="_PpIHMEJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     356        <message xmi:id="_PpPb8UJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpPb8EJNEeS0fslhI5_AhA" sendEvent="_PpO04EJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     357        <message xmi:id="_PpQDAEJNEeS0fslhI5_AhA" name="locate" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpPb80JNEeS0fslhI5_AhA" sendEvent="_PpPb8kJNEeS0fslhI5_AhA" signature="_f7d5ECRYEeS7ONCnthfEow"/> 
     358        <message xmi:id="_PpQDA0JNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpQDAkJNEeS0fslhI5_AhA" sendEvent="_PpQDAUJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     359        <message xmi:id="_PpQqEkJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpQqEUJNEeS0fslhI5_AhA" sendEvent="_PpQqEEJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     360        <message xmi:id="_PpRRIkJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpRRIUJNEeS0fslhI5_AhA" sendEvent="_PpRRIEJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     361        <message xmi:id="_PpR4MUJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpR4MEJNEeS0fslhI5_AhA" sendEvent="_PpRRI0JNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     362        <message xmi:id="_PpSfQUJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpSfQEJNEeS0fslhI5_AhA" sendEvent="_PpR4MkJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     363        <message xmi:id="_PpTGUEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpSfQ0JNEeS0fslhI5_AhA" sendEvent="_PpSfQkJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     364        <message xmi:id="_PpTGU0JNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpTGUkJNEeS0fslhI5_AhA" sendEvent="_PpTGUUJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     365        <message xmi:id="_PpTtYkJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpTtYUJNEeS0fslhI5_AhA" sendEvent="_PpTtYEJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     366        <message xmi:id="_PpUUcUJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpUUcEJNEeS0fslhI5_AhA" sendEvent="_PpTtY0JNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     367        <message xmi:id="_PpUUdEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpUUc0JNEeS0fslhI5_AhA" sendEvent="_PpUUckJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     368        <message xmi:id="_PpU7gkJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpU7gUJNEeS0fslhI5_AhA" sendEvent="_PpU7gEJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     369        <message xmi:id="_PpVikUJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpVikEJNEeS0fslhI5_AhA" sendEvent="_PpU7g0JNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     370        <message xmi:id="_PpVilEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpVik0JNEeS0fslhI5_AhA" sendEvent="_PpVikkJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     371        <message xmi:id="_PpWJokJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpWJoUJNEeS0fslhI5_AhA" sendEvent="_PpWJoEJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     372        <message xmi:id="_PpWwsEJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpWJpEJNEeS0fslhI5_AhA" sendEvent="_PpWJo0JNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     373        <message xmi:id="_PpWws0JNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpWwskJNEeS0fslhI5_AhA" sendEvent="_PpWwsUJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     374        <message xmi:id="_PpXXwUJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpXXwEJNEeS0fslhI5_AhA" sendEvent="_PpWwtEJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     375        <message xmi:id="_PpXXxEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpXXw0JNEeS0fslhI5_AhA" sendEvent="_PpXXwkJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     376        <message xmi:id="_PpX-0kJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpX-0UJNEeS0fslhI5_AhA" sendEvent="_PpX-0EJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     377        <message xmi:id="_PpYl4kJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpYl4UJNEeS0fslhI5_AhA" sendEvent="_PpYl4EJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     378        <message xmi:id="_PpZM8kJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpZM8UJNEeS0fslhI5_AhA" sendEvent="_PpZM8EJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     379        <message xmi:id="_PpZ0AkJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpZ0AUJNEeS0fslhI5_AhA" sendEvent="_PpZ0AEJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     380        <message xmi:id="_PpabEkJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpabEUJNEeS0fslhI5_AhA" sendEvent="_PpabEEJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     381        <message xmi:id="_PpbCIEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpabFEJNEeS0fslhI5_AhA" sendEvent="_PpabE0JNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     382        <message xmi:id="_PpbCI0JNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpbCIkJNEeS0fslhI5_AhA" sendEvent="_PpbCIUJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     383        <message xmi:id="_PpbpMkJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpbpMUJNEeS0fslhI5_AhA" sendEvent="_PpbpMEJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     384        <message xmi:id="_PpcQQUJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpcQQEJNEeS0fslhI5_AhA" sendEvent="_PpbpM0JNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     385        <message xmi:id="_PpcQREJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpcQQ0JNEeS0fslhI5_AhA" sendEvent="_PpcQQkJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     386        <message xmi:id="_Ppc3UkJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Ppc3UUJNEeS0fslhI5_AhA" sendEvent="_Ppc3UEJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     387        <message xmi:id="_PpdeYUJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpdeYEJNEeS0fslhI5_AhA" sendEvent="_Ppc3U0JNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     388        <message xmi:id="_PpdeZEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpdeY0JNEeS0fslhI5_AhA" sendEvent="_PpdeYkJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     389        <message xmi:id="_PpeFckJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpeFcUJNEeS0fslhI5_AhA" sendEvent="_PpeFcEJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     390        <message xmi:id="_PpfTkEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpesgUJNEeS0fslhI5_AhA" sendEvent="_PpesgEJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     391        <message xmi:id="_Ppf6oUJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Ppf6oEJNEeS0fslhI5_AhA" sendEvent="_PpfTkUJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     392        <message xmi:id="_PpghsUJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpghsEJNEeS0fslhI5_AhA" sendEvent="_Ppf6okJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     393        <message xmi:id="_PphIwEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Ppghs0JNEeS0fslhI5_AhA" sendEvent="_PpghskJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     394        <message xmi:id="_Pphv0EJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PphIwkJNEeS0fslhI5_AhA" sendEvent="_PphIwUJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     395        <message xmi:id="_Pphv00JNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pphv0kJNEeS0fslhI5_AhA" sendEvent="_Pphv0UJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     396        <message xmi:id="_PpiW4kJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpiW4UJNEeS0fslhI5_AhA" sendEvent="_PpiW4EJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     397        <message xmi:id="_Ppi98UJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Ppi98EJNEeS0fslhI5_AhA" sendEvent="_PpiW40JNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     398        <message xmi:id="_Ppi99EJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Ppi980JNEeS0fslhI5_AhA" sendEvent="_Ppi98kJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     399        <message xmi:id="_PpjlAkJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpjlAUJNEeS0fslhI5_AhA" sendEvent="_PpjlAEJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     400        <message xmi:id="_PpkMEUJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpkMEEJNEeS0fslhI5_AhA" sendEvent="_PpjlA0JNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     401        <message xmi:id="_PpkMFEJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpkME0JNEeS0fslhI5_AhA" sendEvent="_PpkMEkJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     402        <message xmi:id="_PpkzIkJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpkzIUJNEeS0fslhI5_AhA" sendEvent="_PpkzIEJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     403        <message xmi:id="_PplaMkJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PplaMUJNEeS0fslhI5_AhA" sendEvent="_PplaMEJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     404        <message xmi:id="_PpmBQUJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpmBQEJNEeS0fslhI5_AhA" sendEvent="_PplaM0JNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     405        <message xmi:id="_PpmoUkJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpmoUUJNEeS0fslhI5_AhA" sendEvent="_PpmoUEJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     406        <message xmi:id="_PpnPYUJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpnPYEJNEeS0fslhI5_AhA" sendEvent="_PpmoU0JNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     407        <message xmi:id="_Ppn2cUJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Ppn2cEJNEeS0fslhI5_AhA" sendEvent="_PpnPYkJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     408        <message xmi:id="_PpodgUJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpodgEJNEeS0fslhI5_AhA" sendEvent="_Ppn2ckJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     409        <message xmi:id="_PppEkEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Ppodg0JNEeS0fslhI5_AhA" sendEvent="_PpodgkJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     410        <message xmi:id="_PppEk0JNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PppEkkJNEeS0fslhI5_AhA" sendEvent="_PppEkUJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     411        <message xmi:id="_PpprokJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpproUJNEeS0fslhI5_AhA" sendEvent="_PpproEJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     412        <message xmi:id="_PpqSsEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpprpEJNEeS0fslhI5_AhA" sendEvent="_Pppro0JNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     413        <message xmi:id="_PpqSs0JNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpqSskJNEeS0fslhI5_AhA" sendEvent="_PpqSsUJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     414        <message xmi:id="_Ppq5wEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpqStUJNEeS0fslhI5_AhA" sendEvent="_PpqStEJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     415        <message xmi:id="_Ppq5w0JNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Ppq5wkJNEeS0fslhI5_AhA" sendEvent="_Ppq5wUJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     416        <message xmi:id="_Pprg0UJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pprg0EJNEeS0fslhI5_AhA" sendEvent="_Ppq5xEJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     417        <message xmi:id="_Pprg1EJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pprg00JNEeS0fslhI5_AhA" sendEvent="_Pprg0kJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     418        <message xmi:id="_PpsH4kJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpsH4UJNEeS0fslhI5_AhA" sendEvent="_PpsH4EJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     419        <message xmi:id="_Ppsu8EJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpsH5EJNEeS0fslhI5_AhA" sendEvent="_PpsH40JNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     420        <message xmi:id="_Ppsu80JNEeS0fslhI5_AhA" name="locate" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Ppsu8kJNEeS0fslhI5_AhA" sendEvent="_Ppsu8UJNEeS0fslhI5_AhA" signature="_f7d5ECRYEeS7ONCnthfEow"/> 
     421        <message xmi:id="_PptWAkJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PptWAUJNEeS0fslhI5_AhA" sendEvent="_PptWAEJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     422        <message xmi:id="_Ppt9EUJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Ppt9EEJNEeS0fslhI5_AhA" sendEvent="_PptWA0JNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     423        <message xmi:id="_PpukIEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Ppt9E0JNEeS0fslhI5_AhA" sendEvent="_Ppt9EkJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     424        <message xmi:id="_PpvLMEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpukIkJNEeS0fslhI5_AhA" sendEvent="_PpukIUJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     425        <message xmi:id="_PpvLM0JNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpvLMkJNEeS0fslhI5_AhA" sendEvent="_PpvLMUJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     426        <message xmi:id="_PpvyQkJNEeS0fslhI5_AhA" name="list" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpvyQUJNEeS0fslhI5_AhA" sendEvent="_PpvyQEJNEeS0fslhI5_AhA" signature="_YPSQgCRYEeS7ONCnthfEow"/> 
     427        <message xmi:id="_PpwZUkJNEeS0fslhI5_AhA" name="registerEntityWithIdentity" messageSort="asynchCall" receiveEvent="_PpwZUUJNEeS0fslhI5_AhA" sendEvent="_PpwZUEJNEeS0fslhI5_AhA" signature="_fmAxACRZEeS7ONCnthfEow"/> 
     428        <message xmi:id="_PpxAYkJNEeS0fslhI5_AhA" name="registerEntityWithIdentity" messageSort="asynchCall" receiveEvent="_PpxAYUJNEeS0fslhI5_AhA" sendEvent="_PpxAYEJNEeS0fslhI5_AhA" signature="_fmAxACRZEeS7ONCnthfEow"/> 
     429        <message xmi:id="_PpxncUJNEeS0fslhI5_AhA" name="findIdentitiesByTraits" messageSort="asynchCall" receiveEvent="_PpxncEJNEeS0fslhI5_AhA" sendEvent="_PpxAY0JNEeS0fslhI5_AhA" signature="_CgldgCRaEeS7ONCnthfEow"/> 
     430        <message xmi:id="_PpyOgUJNEeS0fslhI5_AhA" name="findIdentitiesByTraits" messageSort="asynchCall" receiveEvent="_PpyOgEJNEeS0fslhI5_AhA" sendEvent="_PpxnckJNEeS0fslhI5_AhA" signature="_CgldgCRaEeS7ONCnthfEow"/> 
     431        <message xmi:id="_Ppy1kEJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpyOg0JNEeS0fslhI5_AhA" sendEvent="_PpyOgkJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     432        <message xmi:id="_PpzcoEJNEeS0fslhI5_AhA" name="locate" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Ppy1kkJNEeS0fslhI5_AhA" sendEvent="_Ppy1kUJNEeS0fslhI5_AhA" signature="_f7d5ECRYEeS7ONCnthfEow"/> 
     433        <message xmi:id="_Pp0DsEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PpzcokJNEeS0fslhI5_AhA" sendEvent="_PpzcoUJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     434        <message xmi:id="_Pp0qwEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pp0DskJNEeS0fslhI5_AhA" sendEvent="_Pp0DsUJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     435        <message xmi:id="_Pp1R0EJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pp0qwkJNEeS0fslhI5_AhA" sendEvent="_Pp0qwUJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     436        <message xmi:id="_Pp1R00JNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pp1R0kJNEeS0fslhI5_AhA" sendEvent="_Pp1R0UJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     437        <message xmi:id="_Pp144kJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pp144UJNEeS0fslhI5_AhA" sendEvent="_Pp144EJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     438        <message xmi:id="_Pp2f8EJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pp145EJNEeS0fslhI5_AhA" sendEvent="_Pp1440JNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     439        <message xmi:id="_Pp2f80JNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pp2f8kJNEeS0fslhI5_AhA" sendEvent="_Pp2f8UJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     440        <message xmi:id="_Pp3HAkJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pp3HAUJNEeS0fslhI5_AhA" sendEvent="_Pp3HAEJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     441        <message xmi:id="_Pp3uEUJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pp3uEEJNEeS0fslhI5_AhA" sendEvent="_Pp3HA0JNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     442        <message xmi:id="_Pp4VIkJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pp4VIUJNEeS0fslhI5_AhA" sendEvent="_Pp4VIEJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     443        <message xmi:id="_Pp48MUJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pp48MEJNEeS0fslhI5_AhA" sendEvent="_Pp4VI0JNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     444        <message xmi:id="_Pp5jQEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pp48M0JNEeS0fslhI5_AhA" sendEvent="_Pp48MkJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     445        <message xmi:id="_Pp6KUEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pp5jQkJNEeS0fslhI5_AhA" sendEvent="_Pp5jQUJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     446        <message xmi:id="_Pp6xYEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pp6KUkJNEeS0fslhI5_AhA" sendEvent="_Pp6KUUJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     447        <message xmi:id="_Pp6xY0JNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pp6xYkJNEeS0fslhI5_AhA" sendEvent="_Pp6xYUJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     448        <message xmi:id="_Pp7YckJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pp7YcUJNEeS0fslhI5_AhA" sendEvent="_Pp7YcEJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     449        <message xmi:id="_Pp7_gEJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pp7YdEJNEeS0fslhI5_AhA" sendEvent="_Pp7Yc0JNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     450        <message xmi:id="_Pp7_g0JNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pp7_gkJNEeS0fslhI5_AhA" sendEvent="_Pp7_gUJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     451        <message xmi:id="_Pp8mkUJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pp8mkEJNEeS0fslhI5_AhA" sendEvent="_Pp7_hEJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     452        <message xmi:id="_Pp9NoEJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pp8mk0JNEeS0fslhI5_AhA" sendEvent="_Pp8mkkJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     453        <message xmi:id="_Pp9No0JNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pp9NokJNEeS0fslhI5_AhA" sendEvent="_Pp9NoUJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     454        <message xmi:id="_Pp90sUJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pp90sEJNEeS0fslhI5_AhA" sendEvent="_Pp9NpEJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     455        <message xmi:id="_Pp90tEJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pp90s0JNEeS0fslhI5_AhA" sendEvent="_Pp90skJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     456        <message xmi:id="_Pp-bwUJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pp-bwEJNEeS0fslhI5_AhA" sendEvent="_Pp90tUJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     457        <message xmi:id="_Pp-bxEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pp-bw0JNEeS0fslhI5_AhA" sendEvent="_Pp-bwkJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     458        <message xmi:id="_Pp_C0kJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pp_C0UJNEeS0fslhI5_AhA" sendEvent="_Pp_C0EJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     459        <message xmi:id="_Pp_p4UJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pp_p4EJNEeS0fslhI5_AhA" sendEvent="_Pp_C00JNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     460        <message xmi:id="_PqAQ8EJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_Pp_p40JNEeS0fslhI5_AhA" sendEvent="_Pp_p4kJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     461        <message xmi:id="_PqAQ80JNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqAQ8kJNEeS0fslhI5_AhA" sendEvent="_PqAQ8UJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     462        <message xmi:id="_PqA4AkJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqA4AUJNEeS0fslhI5_AhA" sendEvent="_PqA4AEJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     463        <message xmi:id="_PqBfEEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqA4BEJNEeS0fslhI5_AhA" sendEvent="_PqA4A0JNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     464        <message xmi:id="_PqBfE0JNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqBfEkJNEeS0fslhI5_AhA" sendEvent="_PqBfEUJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     465        <message xmi:id="_PqCGIkJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqCGIUJNEeS0fslhI5_AhA" sendEvent="_PqCGIEJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     466        <message xmi:id="_PqCtMEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqCGJEJNEeS0fslhI5_AhA" sendEvent="_PqCGI0JNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     467        <message xmi:id="_PqCtM0JNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqCtMkJNEeS0fslhI5_AhA" sendEvent="_PqCtMUJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     468        <message xmi:id="_PqDUQkJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqDUQUJNEeS0fslhI5_AhA" sendEvent="_PqDUQEJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     469        <message xmi:id="_PqD7UEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqDUREJNEeS0fslhI5_AhA" sendEvent="_PqDUQ0JNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     470        <message xmi:id="_PqD7U0JNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqD7UkJNEeS0fslhI5_AhA" sendEvent="_PqD7UUJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     471        <message xmi:id="_PqEiYkJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqEiYUJNEeS0fslhI5_AhA" sendEvent="_PqEiYEJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     472        <message xmi:id="_PqFJcUJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqFJcEJNEeS0fslhI5_AhA" sendEvent="_PqEiY0JNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     473        <message xmi:id="_PqFJdEJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqFJc0JNEeS0fslhI5_AhA" sendEvent="_PqFJckJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     474        <message xmi:id="_PqFwgUJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqFwgEJNEeS0fslhI5_AhA" sendEvent="_PqFJdUJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     475        <message xmi:id="_PqFwhEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqFwg0JNEeS0fslhI5_AhA" sendEvent="_PqFwgkJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     476        <message xmi:id="_PqGXkUJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqGXkEJNEeS0fslhI5_AhA" sendEvent="_PqFwhUJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     477        <message xmi:id="_PqGXlEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqGXk0JNEeS0fslhI5_AhA" sendEvent="_PqGXkkJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     478        <message xmi:id="_PqG-oUJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqG-oEJNEeS0fslhI5_AhA" sendEvent="_PqGXlUJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     479        <message xmi:id="_PqG-pEJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqG-o0JNEeS0fslhI5_AhA" sendEvent="_PqG-okJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     480        <message xmi:id="_PqHlsUJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqHlsEJNEeS0fslhI5_AhA" sendEvent="_PqG-pUJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     481        <message xmi:id="_PqHltEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqHls0JNEeS0fslhI5_AhA" sendEvent="_PqHlskJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     482        <message xmi:id="_PqIMwkJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqIMwUJNEeS0fslhI5_AhA" sendEvent="_PqIMwEJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     483        <message xmi:id="_PqIz0EJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqIMxEJNEeS0fslhI5_AhA" sendEvent="_PqIMw0JNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     484        <message xmi:id="_PqIz00JNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqIz0kJNEeS0fslhI5_AhA" sendEvent="_PqIz0UJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     485        <message xmi:id="_PqJa4UJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqJa4EJNEeS0fslhI5_AhA" sendEvent="_PqIz1EJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     486        <message xmi:id="_PqJa5EJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqJa40JNEeS0fslhI5_AhA" sendEvent="_PqJa4kJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     487        <message xmi:id="_PqKB8kJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqKB8UJNEeS0fslhI5_AhA" sendEvent="_PqKB8EJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     488        <message xmi:id="_PqKB9UJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqKB9EJNEeS0fslhI5_AhA" sendEvent="_PqKB80JNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     489        <message xmi:id="_PqKpAkJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqKpAUJNEeS0fslhI5_AhA" sendEvent="_PqKpAEJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     490        <message xmi:id="_PqLQEEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqKpBEJNEeS0fslhI5_AhA" sendEvent="_PqKpA0JNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     491        <message xmi:id="_PqLQE0JNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqLQEkJNEeS0fslhI5_AhA" sendEvent="_PqLQEUJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     492        <message xmi:id="_PqL3IkJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqL3IUJNEeS0fslhI5_AhA" sendEvent="_PqL3IEJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     493        <message xmi:id="_PqMeMEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqL3JEJNEeS0fslhI5_AhA" sendEvent="_PqL3I0JNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     494        <message xmi:id="_PqNFQUJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqNFQEJNEeS0fslhI5_AhA" sendEvent="_PqMeMUJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     495        <message xmi:id="_PqNsUUJNEeS0fslhI5_AhA" name="locate" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqNsUEJNEeS0fslhI5_AhA" sendEvent="_PqNFQkJNEeS0fslhI5_AhA" signature="_f7d5ECRYEeS7ONCnthfEow"/> 
     496        <message xmi:id="_PqOTYEJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqNsU0JNEeS0fslhI5_AhA" sendEvent="_PqNsUkJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     497        <message xmi:id="_PqO6cEJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqOTYkJNEeS0fslhI5_AhA" sendEvent="_PqOTYUJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     498        <message xmi:id="_PqO6c0JNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqO6ckJNEeS0fslhI5_AhA" sendEvent="_PqO6cUJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     499        <message xmi:id="_PqPhgkJNEeS0fslhI5_AhA" name="get" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqPhgUJNEeS0fslhI5_AhA" sendEvent="_PqPhgEJNEeS0fslhI5_AhA" signature="_Wp5AACRYEeS7ONCnthfEow"/> 
     500        <message xmi:id="_PqQvoEJNEeS0fslhI5_AhA" name="put" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqQIkUJNEeS0fslhI5_AhA" sendEvent="_PqQIkEJNEeS0fslhI5_AhA" signature="_Xo0tcCRYEeS7ONCnthfEow"/> 
     501        <message xmi:id="_PqRWsEJNEeS0fslhI5_AhA" name="list" connector="_Mkge4CRtEeS7ONCnthfEow" messageSort="asynchCall" receiveEvent="_PqQvokJNEeS0fslhI5_AhA" sendEvent="_PqQvoUJNEeS0fslhI5_AhA" signature="_YPSQgCRYEeS7ONCnthfEow"/> 
     502      </packagedElement> 
     503    </packagedElement> 
     504    <packagedElement xmi:type="uml:Component" xmi:id="_vFOpUCRfEeS7ONCnthfEow" name="rlus"> 
     505      <ownedAttribute xmi:type="uml:Port" xmi:id="_9zoXcCRfEeS7ONCnthfEow" name="p_rlus" visibility="public" type="_LP9HwCRiEeS7ONCnthfEow" aggregation="composite"> 
     506        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_-F3-ACRfEeS7ONCnthfEow" value="1"/> 
     507        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_-F4lECRfEeS7ONCnthfEow" value="1"/> 
     508      </ownedAttribute> 
     509      <nestedClassifier xmi:type="uml:Component" xmi:id="_LP9HwCRiEeS7ONCnthfEow" clientDependency="_3Fl_4CRkEeS7ONCnthfEow" name="p_rlus_PortConfiguration"> 
     510        <interfaceRealization xmi:id="_3Fl_4CRkEeS7ONCnthfEow" name="realization" client="_LP9HwCRiEeS7ONCnthfEow" supplier="_OdlF4CRYEeS7ONCnthfEow" contract="_OdlF4CRYEeS7ONCnthfEow"/> 
     511      </nestedClassifier> 
     512    </packagedElement> 
     513    <packagedElement xmi:type="uml:Component" xmi:id="_w3q3UCRfEeS7ONCnthfEow" name="ixsmq"> 
     514      <ownedAttribute xmi:type="uml:Port" xmi:id="_CqD64CRgEeS7ONCnthfEow" name="p_ixsmq" visibility="public" type="_Rjka4CRiEeS7ONCnthfEow" aggregation="composite"> 
     515        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_C9P8oCRgEeS7ONCnthfEow" value="1"/> 
     516        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_C9RKwCRgEeS7ONCnthfEow" value="1"/> 
     517      </ownedAttribute> 
     518      <nestedClassifier xmi:type="uml:Component" xmi:id="_Rjka4CRiEeS7ONCnthfEow" clientDependency="_E-V4YCRlEeS7ONCnthfEow" name="p_ixsmq_PortConfiguration"> 
     519        <interfaceRealization xmi:id="_E-V4YCRlEeS7ONCnthfEow" name="realization" client="_Rjka4CRiEeS7ONCnthfEow" supplier="_-9-H0CRYEeS7ONCnthfEow" contract="_-9-H0CRYEeS7ONCnthfEow"/> 
     520      </nestedClassifier> 
     521    </packagedElement> 
     522    <packagedElement xmi:type="uml:Component" xmi:id="_E5BZ4CRtEeS7ONCnthfEow" name="User"> 
     523      <ownedAttribute xmi:type="uml:Port" xmi:id="_I39UoCRtEeS7ONCnthfEow" name="p_user_rlus" visibility="public" type="_LP9HwCRiEeS7ONCnthfEow" aggregation="composite" isConjugated="true"> 
     524        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_JDqOUCRtEeS7ONCnthfEow" value="1"/> 
     525        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_JDq1YCRtEeS7ONCnthfEow" value="1"/> 
     526      </ownedAttribute> 
     527      <ownedAttribute xmi:type="uml:Port" xmi:id="_lgPjsCRtEeS7ONCnthfEow" name="r_user_isxmq" visibility="public" type="_Rjka4CRiEeS7ONCnthfEow" aggregation="composite" isConjugated="true"> 
     528        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_l1ASwCRtEeS7ONCnthfEow" value="1"/> 
     529        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_l1Bg4CRtEeS7ONCnthfEow" value="1"/> 
     530      </ownedAttribute> 
     531    </packagedElement> 
     532    <profileApplication xmi:id="_mctUID8VEeSQD-MzjC5RFQ"> 
     533      <eAnnotations xmi:id="_mdNqcD8VEeSQD-MzjC5RFQ" source="http://www.eclipse.org/uml2/2.0.0/UML"> 
     534        <references xmi:type="ecore:EPackage" href="http://www.omg.org/spec/UTP/20120801/utp.xmi#/"/> 
     535      </eAnnotations> 
     536      <appliedProfile href="pathmap://UTP/utp.profile.uml#_iCl4wOVMEeG84fBOY39c0g"/> 
     537    </profileApplication> 
     538    <profileApplication xmi:id="_PogcIEJNEeS0fslhI5_AhA"> 
     539      <eAnnotations xmi:id="_PoktkEJNEeS0fslhI5_AhA" source="http://www.eclipse.org/uml2/2.0.0/UML"> 
     540        <references xmi:type="ecore:EPackage" href="http://www.fokus.fraunhofer.de/testing/fokusmbt/profile/utp.ecore#/"/> 
     541      </eAnnotations> 
     542      <appliedProfile href="pathmap://UTP/utp.profile.uml#_kmCGQG1DEd-4M6ftd2CvdA"/> 
     543    </profileApplication> 
     544  </uml:Model> 
     545  <utp:TestContext xmi:id="_pX2PkD8VEeSQD-MzjC5RFQ" base_BehavioredClassifier="_MBWsUCReEeS7ONCnthfEow" base_StructuredClassifier="_MBWsUCReEeS7ONCnthfEow"/> 
     546  <utp:SUT xmi:id="_wuqsID8VEeSQD-MzjC5RFQ" base_Property="_e_S9ACReEeS7ONCnthfEow"/> 
     547  <utp:SUT xmi:id="_yN97sD8VEeSQD-MzjC5RFQ" base_Property="_mwuR8CReEeS7ONCnthfEow"/> 
     548  <utp:TestComponent xmi:id="_5VmswD8VEeSQD-MzjC5RFQ" base_Class="_E5BZ4CRtEeS7ONCnthfEow"/> 
     549  <utp:TestCase xmi:id="_Po5dsEJNEeS0fslhI5_AhA" base_Operation="_PotQcEJNEeS0fslhI5_AhA"/> 
     550</xmi:XMI> 

  • trunk/autoquest-plugin-uml-test/src/test/resources/testCreateInteractionFromEventSequence_1_model.uml

    r1752 r1759  
    11<?xml version="1.0" encoding="UTF-8"?> 
    2 <uml:Model xmi:version="20110701" xmlns:xmi="http://www.omg.org/spec/XMI/20110701" xmlns:uml="http://www.eclipse.org/uml2/4.0.0/UML" xmi:id="_I6KgoCRYEeS7ONCnthfEow" name="Model"> 
    3   <packageImport xmi:type="uml:PackageImport" xmi:id="_I6KgoSRYEeS7ONCnthfEow"> 
    4     <importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/> 
    5   </packageImport> 
    6   <packagedElement xmi:type="uml:Interface" xmi:id="_OdlF4CRYEeS7ONCnthfEow" name="rlus"> 
    7     <ownedOperation xmi:type="uml:Operation" xmi:id="_Wp5AACRYEeS7ONCnthfEow" name="get"/> 
    8     <ownedOperation xmi:type="uml:Operation" xmi:id="_Xo0tcCRYEeS7ONCnthfEow" name="put"/> 
    9     <ownedOperation xmi:type="uml:Operation" xmi:id="_YPSQgCRYEeS7ONCnthfEow" name="list"/> 
    10     <ownedOperation xmi:type="uml:Operation" xmi:id="_eNhJgCRYEeS7ONCnthfEow" name="discard"/> 
    11     <ownedOperation xmi:type="uml:Operation" xmi:id="_f7d5ECRYEeS7ONCnthfEow" name="locate"/> 
    12     <ownedOperation xmi:type="uml:Operation" xmi:id="_gwVEgCRYEeS7ONCnthfEow" name="initialize"/> 
    13     <ownedOperation xmi:type="uml:Operation" xmi:id="_3Xe3kCRYEeS7ONCnthfEow" name="describe"/> 
    14   </packagedElement> 
    15   <packagedElement xmi:type="uml:Interface" xmi:id="_-9-H0CRYEeS7ONCnthfEow" name="ixsmq"> 
    16     <ownedOperation xmi:type="uml:Operation" xmi:id="_djsT8CRZEeS7ONCnthfEow" name="removeIdentity"/> 
    17     <ownedOperation xmi:type="uml:Operation" xmi:id="_fmAxACRZEeS7ONCnthfEow" name="registerEntityWithIdentity"/> 
    18     <ownedOperation xmi:type="uml:Operation" xmi:id="_hgAYgCRZEeS7ONCnthfEow" name="createIdentityFromEntity"/> 
    19     <ownedOperation xmi:type="uml:Operation" xmi:id="_lERwgCRZEeS7ONCnthfEow" name="updateEntityTraitValues"/> 
    20     <ownedOperation xmi:type="uml:Operation" xmi:id="_oWGGkCRZEeS7ONCnthfEow" name="getEntityTraitValues"/> 
    21     <ownedOperation xmi:type="uml:Operation" xmi:id="_CgldgCRaEeS7ONCnthfEow" name="findIdentitiesByTraits"/> 
    22     <ownedOperation xmi:type="uml:Operation" xmi:id="_IYzOECRaEeS7ONCnthfEow" name="listedLinkedEntities"/> 
    23     <ownedOperation xmi:type="uml:Operation" xmi:id="_K8rgECRaEeS7ONCnthfEow" name="listedUnlinkedEntities"/> 
    24   </packagedElement> 
    25   <packagedElement xmi:type="uml:Component" xmi:id="_MBWsUCReEeS7ONCnthfEow" name="TestContext"> 
    26     <ownedAttribute xmi:type="uml:Property" xmi:id="_e_S9ACReEeS7ONCnthfEow" name="rlus_property" visibility="public" type="_vFOpUCRfEeS7ONCnthfEow"> 
    27       <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_fXwgUCReEeS7ONCnthfEow" value="1"/> 
    28       <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_fXxHYCReEeS7ONCnthfEow" value="1"/> 
    29     </ownedAttribute> 
    30     <ownedAttribute xmi:type="uml:Property" xmi:id="_mwuR8CReEeS7ONCnthfEow" name="ixsmq_property" visibility="public" type="_w3q3UCRfEeS7ONCnthfEow"> 
    31       <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_nLN1kCReEeS7ONCnthfEow" value="1"/> 
    32       <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_nLOcoCReEeS7ONCnthfEow" value="1"/> 
    33     </ownedAttribute> 
    34     <ownedAttribute xmi:type="uml:Property" xmi:id="_IBEI4CRtEeS7ONCnthfEow" name="user" type="_E5BZ4CRtEeS7ONCnthfEow"/> 
    35     <ownedConnector xmi:type="uml:Connector" xmi:id="_Mkge4CRtEeS7ONCnthfEow" name="Connector1"> 
    36       <end xmi:type="uml:ConnectorEnd" xmi:id="_Mkge4SRtEeS7ONCnthfEow" partWithPort="_e_S9ACReEeS7ONCnthfEow" role="_9zoXcCRfEeS7ONCnthfEow"> 
    37         <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Mkge4iRtEeS7ONCnthfEow" value="1"/> 
    38         <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Mkge4yRtEeS7ONCnthfEow" value="1"/> 
    39       </end> 
    40       <end xmi:type="uml:ConnectorEnd" xmi:id="_MkhF8CRtEeS7ONCnthfEow" partWithPort="_IBEI4CRtEeS7ONCnthfEow" role="_I39UoCRtEeS7ONCnthfEow"> 
    41         <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_MkhF8SRtEeS7ONCnthfEow" value="1"/> 
    42         <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_MkhF8iRtEeS7ONCnthfEow" value="1"/> 
    43       </end> 
    44     </ownedConnector> 
    45     <ownedConnector xmi:type="uml:Connector" xmi:id="_oqbnwCRtEeS7ONCnthfEow" name="Connector2"> 
    46       <end xmi:type="uml:ConnectorEnd" xmi:id="_oqbnwSRtEeS7ONCnthfEow" partWithPort="_mwuR8CReEeS7ONCnthfEow" role="_CqD64CRgEeS7ONCnthfEow"> 
    47         <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_oqbnwiRtEeS7ONCnthfEow" value="1"/> 
    48         <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_oqbnwyRtEeS7ONCnthfEow" value="1"/> 
    49       </end> 
    50       <end xmi:type="uml:ConnectorEnd" xmi:id="_oqcO0CRtEeS7ONCnthfEow" partWithPort="_IBEI4CRtEeS7ONCnthfEow" role="_lgPjsCRtEeS7ONCnthfEow"> 
    51         <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_oqcO0SRtEeS7ONCnthfEow" value="1"/> 
    52         <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_oqcO0iRtEeS7ONCnthfEow" value="1"/> 
    53       </end> 
    54     </ownedConnector> 
    55   </packagedElement> 
    56   <packagedElement xmi:type="uml:Component" xmi:id="_vFOpUCRfEeS7ONCnthfEow" name="rlus"> 
    57     <ownedAttribute xmi:type="uml:Port" xmi:id="_9zoXcCRfEeS7ONCnthfEow" name="p_rlus" visibility="public" type="_LP9HwCRiEeS7ONCnthfEow" aggregation="composite"> 
    58       <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_-F3-ACRfEeS7ONCnthfEow" value="1"/> 
    59       <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_-F4lECRfEeS7ONCnthfEow" value="1"/> 
    60     </ownedAttribute> 
    61     <nestedClassifier xmi:type="uml:Component" xmi:id="_LP9HwCRiEeS7ONCnthfEow" clientDependency="_3Fl_4CRkEeS7ONCnthfEow" name="p_rlus_PortConfiguration"> 
    62       <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="_3Fl_4CRkEeS7ONCnthfEow" name="realization" client="_LP9HwCRiEeS7ONCnthfEow" supplier="_OdlF4CRYEeS7ONCnthfEow" contract="_OdlF4CRYEeS7ONCnthfEow"/> 
    63     </nestedClassifier> 
    64   </packagedElement> 
    65   <packagedElement xmi:type="uml:Component" xmi:id="_w3q3UCRfEeS7ONCnthfEow" name="ixsmq"> 
    66     <ownedAttribute xmi:type="uml:Port" xmi:id="_CqD64CRgEeS7ONCnthfEow" name="p_ixsmq" visibility="public" type="_Rjka4CRiEeS7ONCnthfEow" aggregation="composite"> 
    67       <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_C9P8oCRgEeS7ONCnthfEow" value="1"/> 
    68       <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_C9RKwCRgEeS7ONCnthfEow" value="1"/> 
    69     </ownedAttribute> 
    70     <nestedClassifier xmi:type="uml:Component" xmi:id="_Rjka4CRiEeS7ONCnthfEow" clientDependency="_E-V4YCRlEeS7ONCnthfEow" name="p_ixsmq_PortConfiguration"> 
    71       <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="_E-V4YCRlEeS7ONCnthfEow" name="realization" client="_Rjka4CRiEeS7ONCnthfEow" supplier="_-9-H0CRYEeS7ONCnthfEow" contract="_-9-H0CRYEeS7ONCnthfEow"/> 
    72     </nestedClassifier> 
    73   </packagedElement> 
    74   <packagedElement xmi:type="uml:Component" xmi:id="_E5BZ4CRtEeS7ONCnthfEow" name="User"> 
    75     <ownedAttribute xmi:type="uml:Port" xmi:id="_I39UoCRtEeS7ONCnthfEow" name="p_user_rlus" visibility="public" type="_LP9HwCRiEeS7ONCnthfEow" aggregation="composite" isConjugated="true"> 
    76       <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_JDqOUCRtEeS7ONCnthfEow" value="1"/> 
    77       <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_JDq1YCRtEeS7ONCnthfEow" value="1"/> 
    78     </ownedAttribute> 
    79     <ownedAttribute xmi:type="uml:Port" xmi:id="_lgPjsCRtEeS7ONCnthfEow" name="r_user_isxmq" visibility="public" type="_Rjka4CRiEeS7ONCnthfEow" aggregation="composite" isConjugated="true"> 
    80       <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_l1ASwCRtEeS7ONCnthfEow" value="1"/> 
    81       <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_l1Bg4CRtEeS7ONCnthfEow" value="1"/> 
    82     </ownedAttribute> 
    83   </packagedElement> 
    84   <packagedElement xmi:type="uml:Interaction" xmi:id="_fH4hMCRyEeS7ONCnthfEow" name="Interaction1"> 
    85     <lifeline xmi:type="uml:Lifeline" xmi:id="_g20vQCRyEeS7ONCnthfEow" name="Lifeline" represents="_9zoXcCRfEeS7ONCnthfEow"/> 
    86   </packagedElement> 
    87 </uml:Model> 
     2<xmi:XMI xmi:version="20110701" xmlns:xmi="http://www.omg.org/spec/XMI/20110701" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:uml="http://www.eclipse.org/uml2/4.0.0/UML" xmlns:utp="http://www.omg.org/spec/UTP/20120801/utp.xmi"> 
     3  <uml:Model xmi:id="_I6KgoCRYEeS7ONCnthfEow" name="Model"> 
     4    <packageImport xmi:type="uml:PackageImport" xmi:id="_I6KgoSRYEeS7ONCnthfEow"> 
     5      <importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/> 
     6    </packageImport> 
     7    <packagedElement xmi:type="uml:Interface" xmi:id="_OdlF4CRYEeS7ONCnthfEow" name="rlus"> 
     8      <ownedOperation xmi:type="uml:Operation" xmi:id="_Wp5AACRYEeS7ONCnthfEow" name="get"/> 
     9      <ownedOperation xmi:type="uml:Operation" xmi:id="_Xo0tcCRYEeS7ONCnthfEow" name="put"/> 
     10      <ownedOperation xmi:type="uml:Operation" xmi:id="_YPSQgCRYEeS7ONCnthfEow" name="list"/> 
     11      <ownedOperation xmi:type="uml:Operation" xmi:id="_eNhJgCRYEeS7ONCnthfEow" name="discard"/> 
     12      <ownedOperation xmi:type="uml:Operation" xmi:id="_f7d5ECRYEeS7ONCnthfEow" name="locate"/> 
     13      <ownedOperation xmi:type="uml:Operation" xmi:id="_gwVEgCRYEeS7ONCnthfEow" name="initialize"/> 
     14      <ownedOperation xmi:type="uml:Operation" xmi:id="_3Xe3kCRYEeS7ONCnthfEow" name="describe"/> 
     15    </packagedElement> 
     16    <packagedElement xmi:type="uml:Interface" xmi:id="_-9-H0CRYEeS7ONCnthfEow" name="ixsmq"> 
     17      <ownedOperation xmi:type="uml:Operation" xmi:id="_djsT8CRZEeS7ONCnthfEow" name="removeIdentity"/> 
     18      <ownedOperation xmi:type="uml:Operation" xmi:id="_fmAxACRZEeS7ONCnthfEow" name="registerEntityWithIdentity"/> 
     19      <ownedOperation xmi:type="uml:Operation" xmi:id="_hgAYgCRZEeS7ONCnthfEow" name="createIdentityFromEntity"/> 
     20      <ownedOperation xmi:type="uml:Operation" xmi:id="_lERwgCRZEeS7ONCnthfEow" name="updateEntityTraitValues"/> 
     21      <ownedOperation xmi:type="uml:Operation" xmi:id="_oWGGkCRZEeS7ONCnthfEow" name="getEntityTraitValues"/> 
     22      <ownedOperation xmi:type="uml:Operation" xmi:id="_CgldgCRaEeS7ONCnthfEow" name="findIdentitiesByTraits"/> 
     23      <ownedOperation xmi:type="uml:Operation" xmi:id="_IYzOECRaEeS7ONCnthfEow" name="listedLinkedEntities"/> 
     24      <ownedOperation xmi:type="uml:Operation" xmi:id="_K8rgECRaEeS7ONCnthfEow" name="listedUnlinkedEntities"/> 
     25    </packagedElement> 
     26    <packagedElement xmi:type="uml:Component" xmi:id="_MBWsUCReEeS7ONCnthfEow" name="TestContext"> 
     27      <ownedAttribute xmi:type="uml:Property" xmi:id="_e_S9ACReEeS7ONCnthfEow" name="rlus_property" visibility="public" type="_vFOpUCRfEeS7ONCnthfEow"> 
     28        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_fXwgUCReEeS7ONCnthfEow" value="1"/> 
     29        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_fXxHYCReEeS7ONCnthfEow" value="1"/> 
     30      </ownedAttribute> 
     31      <ownedAttribute xmi:type="uml:Property" xmi:id="_mwuR8CReEeS7ONCnthfEow" name="ixsmq_property" visibility="public" type="_w3q3UCRfEeS7ONCnthfEow"> 
     32        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_nLN1kCReEeS7ONCnthfEow" value="1"/> 
     33        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_nLOcoCReEeS7ONCnthfEow" value="1"/> 
     34      </ownedAttribute> 
     35      <ownedAttribute xmi:type="uml:Property" xmi:id="_IBEI4CRtEeS7ONCnthfEow" name="user" type="_E5BZ4CRtEeS7ONCnthfEow"/> 
     36      <ownedConnector xmi:type="uml:Connector" xmi:id="_Mkge4CRtEeS7ONCnthfEow" name="Connector1"> 
     37        <end xmi:type="uml:ConnectorEnd" xmi:id="_Mkge4SRtEeS7ONCnthfEow" partWithPort="_e_S9ACReEeS7ONCnthfEow" role="_9zoXcCRfEeS7ONCnthfEow"> 
     38          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Mkge4iRtEeS7ONCnthfEow" value="1"/> 
     39          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Mkge4yRtEeS7ONCnthfEow" value="1"/> 
     40        </end> 
     41        <end xmi:type="uml:ConnectorEnd" xmi:id="_MkhF8CRtEeS7ONCnthfEow" partWithPort="_IBEI4CRtEeS7ONCnthfEow" role="_I39UoCRtEeS7ONCnthfEow"> 
     42          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_MkhF8SRtEeS7ONCnthfEow" value="1"/> 
     43          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_MkhF8iRtEeS7ONCnthfEow" value="1"/> 
     44        </end> 
     45      </ownedConnector> 
     46      <ownedConnector xmi:type="uml:Connector" xmi:id="_oqbnwCRtEeS7ONCnthfEow" name="Connector2"> 
     47        <end xmi:type="uml:ConnectorEnd" xmi:id="_oqbnwSRtEeS7ONCnthfEow" partWithPort="_mwuR8CReEeS7ONCnthfEow" role="_CqD64CRgEeS7ONCnthfEow"> 
     48          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_oqbnwiRtEeS7ONCnthfEow" value="1"/> 
     49          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_oqbnwyRtEeS7ONCnthfEow" value="1"/> 
     50        </end> 
     51        <end xmi:type="uml:ConnectorEnd" xmi:id="_oqcO0CRtEeS7ONCnthfEow" partWithPort="_IBEI4CRtEeS7ONCnthfEow" role="_lgPjsCRtEeS7ONCnthfEow"> 
     52          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_oqcO0SRtEeS7ONCnthfEow" value="1"/> 
     53          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_oqcO0iRtEeS7ONCnthfEow" value="1"/> 
     54        </end> 
     55      </ownedConnector> 
     56    </packagedElement> 
     57    <packagedElement xmi:type="uml:Component" xmi:id="_vFOpUCRfEeS7ONCnthfEow" name="rlus"> 
     58      <ownedAttribute xmi:type="uml:Port" xmi:id="_9zoXcCRfEeS7ONCnthfEow" name="p_rlus" visibility="public" type="_LP9HwCRiEeS7ONCnthfEow" aggregation="composite"> 
     59        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_-F3-ACRfEeS7ONCnthfEow" value="1"/> 
     60        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_-F4lECRfEeS7ONCnthfEow" value="1"/> 
     61      </ownedAttribute> 
     62      <nestedClassifier xmi:type="uml:Component" xmi:id="_LP9HwCRiEeS7ONCnthfEow" clientDependency="_3Fl_4CRkEeS7ONCnthfEow" name="p_rlus_PortConfiguration"> 
     63        <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="_3Fl_4CRkEeS7ONCnthfEow" name="realization" client="_LP9HwCRiEeS7ONCnthfEow" supplier="_OdlF4CRYEeS7ONCnthfEow" contract="_OdlF4CRYEeS7ONCnthfEow"/> 
     64      </nestedClassifier> 
     65    </packagedElement> 
     66    <packagedElement xmi:type="uml:Component" xmi:id="_w3q3UCRfEeS7ONCnthfEow" name="ixsmq"> 
     67      <ownedAttribute xmi:type="uml:Port" xmi:id="_CqD64CRgEeS7ONCnthfEow" name="p_ixsmq" visibility="public" type="_Rjka4CRiEeS7ONCnthfEow" aggregation="composite"> 
     68        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_C9P8oCRgEeS7ONCnthfEow" value="1"/> 
     69        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_C9RKwCRgEeS7ONCnthfEow" value="1"/> 
     70      </ownedAttribute> 
     71      <nestedClassifier xmi:type="uml:Component" xmi:id="_Rjka4CRiEeS7ONCnthfEow" clientDependency="_E-V4YCRlEeS7ONCnthfEow" name="p_ixsmq_PortConfiguration"> 
     72        <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="_E-V4YCRlEeS7ONCnthfEow" name="realization" client="_Rjka4CRiEeS7ONCnthfEow" supplier="_-9-H0CRYEeS7ONCnthfEow" contract="_-9-H0CRYEeS7ONCnthfEow"/> 
     73      </nestedClassifier> 
     74    </packagedElement> 
     75    <packagedElement xmi:type="uml:Component" xmi:id="_E5BZ4CRtEeS7ONCnthfEow" name="User"> 
     76      <ownedAttribute xmi:type="uml:Port" xmi:id="_I39UoCRtEeS7ONCnthfEow" name="p_user_rlus" visibility="public" type="_LP9HwCRiEeS7ONCnthfEow" aggregation="composite" isConjugated="true"> 
     77        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_JDqOUCRtEeS7ONCnthfEow" value="1"/> 
     78        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_JDq1YCRtEeS7ONCnthfEow" value="1"/> 
     79      </ownedAttribute> 
     80      <ownedAttribute xmi:type="uml:Port" xmi:id="_lgPjsCRtEeS7ONCnthfEow" name="r_user_isxmq" visibility="public" type="_Rjka4CRiEeS7ONCnthfEow" aggregation="composite" isConjugated="true"> 
     81        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_l1ASwCRtEeS7ONCnthfEow" value="1"/> 
     82        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_l1Bg4CRtEeS7ONCnthfEow" value="1"/> 
     83      </ownedAttribute> 
     84    </packagedElement> 
     85    <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_mctUID8VEeSQD-MzjC5RFQ"> 
     86      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_mdNqcD8VEeSQD-MzjC5RFQ" source="http://www.eclipse.org/uml2/2.0.0/UML"> 
     87        <references xmi:type="ecore:EPackage" href="http://www.omg.org/spec/UTP/20120801/utp.xmi#/"/> 
     88      </eAnnotations> 
     89      <appliedProfile xmi:type="uml:Profile" href="pathmap://UTP/utp.profile.uml#_iCl4wOVMEeG84fBOY39c0g"/> 
     90    </profileApplication> 
     91  </uml:Model> 
     92  <utp:TestContext xmi:id="_pX2PkD8VEeSQD-MzjC5RFQ" base_BehavioredClassifier="_MBWsUCReEeS7ONCnthfEow" base_StructuredClassifier="_MBWsUCReEeS7ONCnthfEow"/> 
     93  <utp:SUT xmi:id="_wuqsID8VEeSQD-MzjC5RFQ" base_Property="_e_S9ACReEeS7ONCnthfEow"/> 
     94  <utp:SUT xmi:id="_yN97sD8VEeSQD-MzjC5RFQ" base_Property="_mwuR8CReEeS7ONCnthfEow"/> 
     95  <utp:TestComponent xmi:id="_5VmswD8VEeSQD-MzjC5RFQ" base_Class="_E5BZ4CRtEeS7ONCnthfEow"/> 
     96</xmi:XMI> 
Note: See TracChangeset for help on using the changeset viewer.