<?xml version="1.0" encoding="UTF-8"?>
<xmi:XMI 
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" 
xmlns:xmi="http://schema.omg.org/spec/XMI/2.1"
xmlns:infra="http://www.omg.org/spec/BPDM/20080501/CommonInfrastructure" 
xmlns:bpmn="http://www.omg.org/spec/BPDM/20080501/bpmn" 
xsi:schemaLocation="http://www.omg.org/spec/BPDM/20080501/bpmn bpmn.xsd"
xmi:version="2.1" 
>


<infra:Package name="BPMN Library" xmi:id="id8F8765C0-F3A7-4DE2-BBF5-85F3D122876E" >
  <ownedComment xmi:id="id8F8765C0-F3A7-4DE2-BBF5-85F3D122876E_Comment">
    <body>Package containings the elements of the BPDM M1 library</body>
  </ownedComment>
  
  <packagedElement xsi:type="infra:Package" xmi:type="infra:Package" name="Behavior Model Library" xmi:id="idCE474392-25E9-4A8F-94A9-4A3F6AEAB267" >
    <ownedComment xmi:id="idCE474392-25E9-4A8F-94A9-4A3F6AEAB267_Comment">
      <body>User (M1) library capturing commonly needed aspects of behavioral happenings as instances of the class in the Happening and Change model. The library defines:
Events to represent various behavior lifecycle events, such as starting and ending of individual Courses.
A  Courses called the Behavior Occurrence. It is a generalization of all M1 dynamic models (see the Composition Model).
Event Parts of the Behavior Occurrence for the various behavioral changes, such as startPart and finishPart. These are typed by the various M1 changes, such as Start and End Behavioral Changes
Successions between the Event Parts above for universal constraints, such as the End being after the Start.</body>
    </ownedComment>
  <packagedElement xmi:type="infra:CourseEvent" name="Abnormal End Event" xmi:id="id8E9F8D08-946A-4AD7-9B44-5C43E56B409E" xsi:type="infra:CourseEvent" >
    <generalization xmi:id="id00EB344947320958_CE7DCF464638007D">
      <general xmi:label="End Event" href="http://www.omg.org/spec/BPDM/20080501/CommonInfrastructure/CommonInfrastructureLibrary.xml#id7ABE71EB-467F-476D-95F9-EAA007D43B24" /></generalization>
  </packagedElement>
  <packagedElement xmi:type="infra:CourseEvent" name="Abort Event" xmi:id="idE5E2F495-9CEB-44C6-9320-40DDA86AD193" xsi:type="infra:CourseEvent" >
    <ownedComment xmi:id="idE5E2F495-9CEB-44C6-9320-40DDA86AD193_Comment">
      <body>Abort Event is a Event that manifests that the the course of a Course is being interrupted. The source of the Abort Event can be internal or external to the Course.</body>
    </ownedComment>
    <generalization xmi:id="idCE7DCF7746380095_00EB344947320958">
      <general xmi:label="Abnormal End Event" xmi:idref="id8E9F8D08-946A-4AD7-9B44-5C43E56B409E" /></generalization>
  </packagedElement>
  <packagedElement xmi:type="infra:CourseEvent" name="Error Event" xmi:id="idA7BA4AF9-9E69-43D1-BAD9-B6C17CFEFF67" xsi:type="infra:CourseEvent" >
    <ownedComment xmi:id="idA7BA4AF9-9E69-43D1-BAD9-B6C17CFEFF67_Comment">
      <body>Error Event is a Event that manifests that an error has occurred that will lead to the End Event of the Course. The source of the Error Event is always internal to the Course.</body>
    </ownedComment>
    <generalization xmi:id="idAD7EAE4A463903CE_00EB344947320958">
      <general xmi:label="Abnormal End Event" xmi:idref="id8E9F8D08-946A-4AD7-9B44-5C43E56B409E" /></generalization>
  </packagedElement>
  <packagedElement xmi:type="infra:CourseEvent" name="Failure Event" xmi:id="idE60AE2E8-553D-4735-B0B4-A4FC48709231" xsi:type="infra:CourseEvent" >
    <generalization xmi:id="idAD7EAE63463903E7_CE7DCF714638008C">
      <general xmi:label="Normal End Event" xmi:idref="idA60EDE0C-7D4D-4AD1-8610-EA99A9000F71" /></generalization>
  </packagedElement>
  <packagedElement xmi:type="infra:CourseEvent" name="Iteration End Event" xmi:id="id82A62806-4C1D-4EFF-97C0-0FC050BB6DAA" xsi:type="infra:CourseEvent" >
  </packagedElement>
  <packagedElement xmi:type="infra:CourseEvent" name="Iteration Start Event" xmi:id="idBEFAA8BC-54E4-46FA-BC59-12B49B2A9351" xsi:type="infra:CourseEvent" >
  </packagedElement>
  <packagedElement xmi:type="infra:CourseEvent" name="Normal End Event" xmi:id="idA60EDE0C-7D4D-4AD1-8610-EA99A9000F71" xsi:type="infra:CourseEvent" >
    <ownedComment xmi:id="idA60EDE0C-7D4D-4AD1-8610-EA99A9000F71_Comment">
      <body>Normal End Event is a Event that manifests the normal End Event of a Course</body>
    </ownedComment>
    <generalization xmi:id="idCE7DCF714638008C_CE7DCF464638007D">
      <general xmi:label="End Event" href="http://www.omg.org/spec/BPDM/20080501/CommonInfrastructure/CommonInfrastructureLibrary.xml#id7ABE71EB-467F-476D-95F9-EAA007D43B24" /></generalization>
  </packagedElement>
  <packagedElement xmi:type="infra:CourseEvent" name="Success Event" xmi:id="id3C254F70-5C8F-47F0-9477-BCED923CF8B3" xsi:type="infra:CourseEvent" >
    <generalization xmi:id="idAD7EAE5F463903DE_CE7DCF714638008C">
      <general xmi:label="Normal End Event" xmi:idref="idA60EDE0C-7D4D-4AD1-8610-EA99A9000F71" /></generalization>
  </packagedElement>
  
  <packagedElement xmi:type="bpmn:Behavior" name="Activity Loop Behavior" xmi:id="id2A0BBC0B-DE61-4B12-A3AD-9914591063D2" xsi:type="bpmn:Behavior" >
    <generalization xmi:id="id05DE102645FF040B_id4B9AB82A-AA44-44D8-8969-BD9B8D392BF3">
      <general xmi:label="Behavior Occurrence" xmi:idref="id4B9AB82A-AA44-44D8-8969-BD9B8D392BF3" />
    </generalization>
  <ownedSuccession xmi:id="idEF2569E0-750E-44DB-9D81-F9640948732B" >
    <successor xmi:label="End" href="http://www.omg.org/spec/BPDM/20080501/CommonInfrastructure/CommonInfrastructureLibrary.xml#id0785D9C9-D8E7-4CB6-AD9E-1B890A9F428E" />
  </ownedSuccession>
  <ownedSuccession xmi:id="id21018285-986D-48DF-8D71-C22E18EF1A63" >
    <predecessor xmi:label="iteration Start" xmi:idref="idFBDC0C13-17FB-4B14-A5BF-330BC9F2B8EA" />
    <successor xmi:label="iterationEndPart" xmi:idref="id7674F258-22C6-41E8-B98F-735766BA7831" />
  </ownedSuccession>
  <ownedSuccession xmi:id="id2E6979A9-1DD2-46B0-906B-D8577D612FB0" >
    <predecessor xmi:label="iterationEndPart" xmi:idref="id7674F258-22C6-41E8-B98F-735766BA7831" />
  </ownedSuccession>
  <ownedSuccession xmi:id="idB96F98FE-94B6-451F-80E7-81640C18019A" >
    <predecessor xmi:label="Start" href="http://www.omg.org/spec/BPDM/20080501/CommonInfrastructure/CommonInfrastructureLibrary.xml#idDFBF8995-67CB-4882-895B-45E4F62418E2" />
    <successor xmi:label="iteration Start" xmi:idref="idFBDC0C13-17FB-4B14-A5BF-330BC9F2B8EA" />
  </ownedSuccession>
  <ownedSuccession xmi:id="id9CE584FF-BBB8-45FC-9AB4-B126C1924B80" >
    <successor xmi:label="iteration Start" xmi:idref="idFBDC0C13-17FB-4B14-A5BF-330BC9F2B8EA" />
  </ownedSuccession>
  <ownedEventPart name="iteration Start" xmi:id="idFBDC0C13-17FB-4B14-A5BF-330BC9F2B8EA" >
    <eventPartType xmi:label="Iteration Start Event" xmi:idref="idBEFAA8BC-54E4-46FA-BC59-12B49B2A9351" />
  </ownedEventPart>
  <ownedEventPart name="iterationEndPart" xmi:id="id7674F258-22C6-41E8-B98F-735766BA7831" >
    <eventPartType xmi:label="Iteration End Event" xmi:idref="id82A62806-4C1D-4EFF-97C0-0FC050BB6DAA" />
  </ownedEventPart>
</packagedElement>
  
  <packagedElement xmi:type="bpmn:Behavior" name="Behavior Occurrence" xmi:id="id4B9AB82A-AA44-44D8-8969-BD9B8D392BF3" xsi:type="bpmn:Behavior" >
    <ownedComment xmi:id="id4B9AB82A-AA44-44D8-8969-BD9B8D392BF3_Comment">
      <body>Course that produces common behavior lifecycle changes, such as as Start or End Event.</body>
    </ownedComment>
    <generalization xmi:id="idC0A7EA424545150D_id4B9AB82A-AA44-44D8-8969-BD9B8D392BF3">
      <general xmi:label="Behavior Occurrence" xmi:idref="id4B9AB82A-AA44-44D8-8969-BD9B8D392BF3" />
    </generalization>
  <ownedSuccession xmi:id="id6ED7BD26-19CB-4B7C-A46B-57FDC246280A" >
    <predecessor xmi:label="Start" href="http://www.omg.org/spec/BPDM/20080501/CommonInfrastructure/CommonInfrastructureLibrary.xml#idDFBF8995-67CB-4882-895B-45E4F62418E2" />
    <successor xmi:label="End" href="http://www.omg.org/spec/BPDM/20080501/CommonInfrastructure/CommonInfrastructureLibrary.xml#id0785D9C9-D8E7-4CB6-AD9E-1B890A9F428E" />
  </ownedSuccession>
  <ownedEventPart name="Abnormal End" xmi:id="id82BF30D8-3819-4AD6-83BD-316BDE66405E" >
    <subsettedProperty xmi:label="End" href="http://www.omg.org/spec/BPDM/20080501/CommonInfrastructure/CommonInfrastructureLibrary.xml#id0785D9C9-D8E7-4CB6-AD9E-1B890A9F428E" />
    <eventPartType xmi:label="Abnormal End Event" xmi:idref="id8E9F8D08-946A-4AD7-9B44-5C43E56B409E" />
  </ownedEventPart>
  <ownedEventPart name="Abort" xmi:id="id102D0C7E-0D35-448E-95BF-2F130C6A5202" >
    <subsettedProperty xmi:label="Abnormal End" xmi:idref="id82BF30D8-3819-4AD6-83BD-316BDE66405E" />
    <eventPartType xmi:label="Abort Event" xmi:idref="idE5E2F495-9CEB-44C6-9320-40DDA86AD193" />
  </ownedEventPart>
  <ownedEventPart name="Error" xmi:id="id20FD3AFA-0C13-4153-8865-477DD7E81987" >
    <subsettedProperty xmi:label="Abnormal End" xmi:idref="id82BF30D8-3819-4AD6-83BD-316BDE66405E" />
    <eventPartType xmi:label="Error Event" xmi:idref="idA7BA4AF9-9E69-43D1-BAD9-B6C17CFEFF67" />
  </ownedEventPart>
  <ownedEventPart name="Failure" xmi:id="id1BC0DAFB-D719-4BFC-BC69-289EA16F5323" >
    <subsettedProperty xmi:label="Normal End" xmi:idref="id05C87DE8-1FAF-4A77-9C49-258F9799C6E0" />
    <eventPartType xmi:label="Failure Event" xmi:idref="idE60AE2E8-553D-4735-B0B4-A4FC48709231" />
  </ownedEventPart>
  <ownedEventPart name="Normal End" xmi:id="id05C87DE8-1FAF-4A77-9C49-258F9799C6E0" >
    <subsettedProperty xmi:label="End" href="http://www.omg.org/spec/BPDM/20080501/CommonInfrastructure/CommonInfrastructureLibrary.xml#id0785D9C9-D8E7-4CB6-AD9E-1B890A9F428E" />
    <eventPartType xmi:label="Normal End Event" xmi:idref="idA60EDE0C-7D4D-4AD1-8610-EA99A9000F71" />
  </ownedEventPart>
  <ownedEventPart name="Success" xmi:id="id7CB533F0-CAA2-47A0-B085-7A8D6B589E34" >
    <subsettedProperty xmi:label="Normal End" xmi:idref="id05C87DE8-1FAF-4A77-9C49-258F9799C6E0" />
    <eventPartType xmi:label="Success Event" xmi:idref="id3C254F70-5C8F-47F0-9477-BCED923CF8B3" />
  </ownedEventPart>
</packagedElement>
    
    <packagedElement xmi:type="bpmn:Behavior" xsi:type="bpmn:Behavior" name="Group Abort Behavior" xmi:id="id312C7199-DB32-44D2-8209-DEFDBD9A4F0D" >
      <generalization xmi:id="id552999B0460D1E59_id4B9AB82A-AA44-44D8-8969-BD9B8D392BF3">
        <general xmi:label="Behavior Occurrence" xmi:idref="id4B9AB82A-AA44-44D8-8969-BD9B8D392BF3" />
      </generalization>
    <ownedSuccession xmi:type="bpmn:ImmediateSuccession" xsi:type="bpmn:ImmediateSuccession" xmi:id="id9A801176-1E1B-43BD-AB3A-80B0D79C3DC4" >
      <predecessor xmi:label="Step Group" xmi:idref="id554F3BEF-EA8B-494B-8B3B-0960D19909A0" />
      <successor xmi:label="Enclosed Step" xmi:idref="idBBEE1B85-1312-4D42-8730-D6562A6D8786" />
      <sourceEventPart xmi:label="Abort" xmi:idref="id102D0C7E-0D35-448E-95BF-2F130C6A5202" />
      <targetEventPart xmi:label="Abort" xmi:idref="id102D0C7E-0D35-448E-95BF-2F130C6A5202" />
    </ownedSuccession>
    <ownedStep name="Enclosed Step" xmi:id="idBBEE1B85-1312-4D42-8730-D6562A6D8786" >
      <stepType xmi:label="Behavior Occurrence" xmi:idref="id4B9AB82A-AA44-44D8-8969-BD9B8D392BF3" />
    </ownedStep>
    <ownedStep name="Step Group" xmi:id="id554F3BEF-EA8B-494B-8B3B-0960D19909A0" >
      <stepType xmi:label="Behavior Occurrence" xmi:idref="id4B9AB82A-AA44-44D8-8969-BD9B8D392BF3" />
    </ownedStep>
  </packagedElement>
    
    <packagedElement xmi:type="bpmn:Behavior" xsi:type="bpmn:Behavior" name="Racing Behavior" xmi:id="idAA058738-B39F-4E67-ABF7-463B92157F64" >
      <ownedComment xmi:id="idAA058738-B39F-4E67-ABF7-463B92157F64_Comment">
        <body>Racing Behavior ensures that all the Behavior Steps connected by Race Connection start at the same time, and that the first one to finish aborts the others (see the Happening and Change Model). Race Behavior contains:
-	One Behavior Step, called the Racing Contestant which is bound to all the steps connected by the M1 race connection.  This ensures that all the contestants are treated the same way.
-	Two Immediate Processing Successions connecting the Contestant to itself.  One succession refers to the start part of the Contestant on both ends (see the Happening and Change Model), specifying that all the contestant behavioral happenings start at the same time.  The other succession has the finish part on one end and the abort part on the other, specifying that any contestant happening that finishes will be accompanied by a simultaneous abort of the others.  This succession has the Irreflexive condition applied (see the Composition Model), to prevent the finishing contestant from aborting itself.
</body>
      </ownedComment>
      <generalization xmi:id="id6026718F45DC0100_id4B9AB82A-AA44-44D8-8969-BD9B8D392BF3">
        <general xmi:label="Behavior Occurrence" xmi:idref="id4B9AB82A-AA44-44D8-8969-BD9B8D392BF3" />
      </generalization>
    <ownedSuccession xmi:type="bpmn:ImmediateSuccession" xsi:type="bpmn:ImmediateSuccession" xmi:id="idA72CB0A6-DFC0-42F0-96B3-542A374A5311" >
      <predecessor xmi:label="Racing Contestant" xmi:idref="id0962EEC5-9641-4C39-8965-19830A135269" />
      <successor xmi:label="Racing Contestant" xmi:idref="id0962EEC5-9641-4C39-8965-19830A135269" />
      <sourceEventPart xmi:label="Normal End" xmi:idref="id05C87DE8-1FAF-4A77-9C49-258F9799C6E0" />
      <targetEventPart xmi:label="Abort" xmi:idref="id102D0C7E-0D35-448E-95BF-2F130C6A5202" />
    </ownedSuccession>
    <ownedSuccession xmi:type="bpmn:ImmediateSuccession" xsi:type="bpmn:ImmediateSuccession" xmi:id="id97ACB3C2-AABA-4F2A-89C4-DFF96862EA8E" >
      <predecessor xmi:label="Racing Contestant" xmi:idref="id0962EEC5-9641-4C39-8965-19830A135269" />
      <successor xmi:label="Racing Contestant" xmi:idref="id0962EEC5-9641-4C39-8965-19830A135269" />
      <sourceEventPart xmi:label="Start" href="http://www.omg.org/spec/BPDM/20080501/CommonInfrastructure/CommonInfrastructureLibrary.xml#idDFBF8995-67CB-4882-895B-45E4F62418E2" />
      <targetEventPart xmi:label="Start" href="http://www.omg.org/spec/BPDM/20080501/CommonInfrastructure/CommonInfrastructureLibrary.xml#idDFBF8995-67CB-4882-895B-45E4F62418E2" />
    </ownedSuccession>
    <ownedStep name="Racing Contestant" xmi:id="id0962EEC5-9641-4C39-8965-19830A135269" >
      <ownedComment xmi:id="id0962EEC5-9641-4C39-8965-19830A135269_Comment">
        <body>Behavior Step of the Racing Behavior is bound to all the steps connected by the M1 race connection to ensures that all the contestants are treated the same way.</body>
      </ownedComment>
      <stepType xmi:label="Behavior Occurrence" xmi:idref="id4B9AB82A-AA44-44D8-8969-BD9B8D392BF3" />
    </ownedStep>
  </packagedElement>
</packagedElement>
  
  <packagedElement xsi:type="infra:Package" xmi:type="infra:Package" name="Process Library" xmi:id="idFFB763EB-14D4-4DD9-87A8-78DC104CB6B5" >
  <packagedElement xmi:type="infra:CourseEvent" name="Cancel Event" xmi:id="id6E9E3118-9E09-4806-914E-CAF9F0C3BEC8" xsi:type="infra:CourseEvent" >
  </packagedElement>
  <packagedElement xmi:type="infra:CourseEvent" name="Compensate Event" xmi:id="idD0C828CE-215D-4EDB-9FB5-3082C3A8E15D" xsi:type="infra:CourseEvent" >
  </packagedElement>
  
  <packagedElement xmi:type="bpmn:Behavior" name="Abort Process" xmi:id="id90C02161-6D59-49A8-A8B3-0CF6C7EBE048" xsi:type="bpmn:Behavior" >
    <generalization xmi:id="idB8C70DC747263031_id4B9AB82A-AA44-44D8-8969-BD9B8D392BF3">
      <general xmi:label="Behavior Occurrence" xmi:idref="id4B9AB82A-AA44-44D8-8969-BD9B8D392BF3" />
    </generalization>
</packagedElement>
  
  <packagedElement xmi:type="bpmn:Behavior" name="Error Process" xmi:id="idD9932E41-A41D-4BCC-B24E-96742A20F0EA" xsi:type="bpmn:Behavior" >
    <generalization xmi:id="idB8C70DE34726303B_id4B9AB82A-AA44-44D8-8969-BD9B8D392BF3">
      <general xmi:label="Behavior Occurrence" xmi:idref="id4B9AB82A-AA44-44D8-8969-BD9B8D392BF3" />
    </generalization>
</packagedElement>
  
  <packagedElement xmi:type="bpmn:Behavior" name="Process Occurrence" xmi:id="idC2425257-B27E-47CB-B527-2A1A45546616" xsi:type="bpmn:Behavior" >
    <generalization xmi:id="id4803748B47AFDA98_id4B9AB82A-AA44-44D8-8969-BD9B8D392BF3">
      <general xmi:label="Behavior Occurrence" xmi:idref="id4B9AB82A-AA44-44D8-8969-BD9B8D392BF3" />
    </generalization>
</packagedElement>
</packagedElement>

</infra:Package>
</xmi:XMI>
