blob: abf64e34a7f8990933287f5acad4269dc3a298df [file] [log] [blame]
<?xml version="1.0" encoding="UTF-8"?>
<xmi:XMI xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:Ecore="http://www.eclipse.org/uml2/schemas/Ecore/5" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xsi:schemaLocation="http://www.eclipse.org/uml2/schemas/Ecore/5 pathmap://UML_PROFILES/Ecore.profile.uml#_z1OFcHjqEdy8S4Cr8Rc_NA">
<uml:Model xmi:id="_5laegMHnEeSX5KW4N9HT0w" name="completeoclcs" URI="http://www.eclipse.org/ocl/2015/CompleteOCLCS">
<packagedElement xmi:type="uml:Class" xmi:id="_5laegcHnEeSX5KW4N9HT0w" name="ClassifierContextDeclCS">
<ownedComment xmi:id="_5laegsHnEeSX5KW4N9HT0w" annotatedElement="_5laegcHnEeSX5KW4N9HT0w">
<body>A ClassifierContextDeclCS supports a class context which provides additional or
complementary declarations such as invariants and definitions for the referred class.</body>
</ownedComment>
<generalization xmi:id="_5laeg8HnEeSX5KW4N9HT0w" general="_5laek8HnEeSX5KW4N9HT0w"/>
<generalization xmi:id="_5laehMHnEeSX5KW4N9HT0w">
<general xmi:type="uml:Class" href="basecs.uml#_5sSilsHnEeSX5KW4N9HT0w"/>
</generalization>
<ownedAttribute xmi:id="_5laehcHnEeSX5KW4N9HT0w" name="ownedDefinitions" type="_5laencHnEeSX5KW4N9HT0w" isOrdered="true" aggregation="composite" association="_5laeq8HnEeSX5KW4N9HT0w">
<ownedComment xmi:id="_5laehsHnEeSX5KW4N9HT0w" annotatedElement="_5laehcHnEeSX5KW4N9HT0w">
<body>The additional operations and property definitions.</body>
</ownedComment>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_5laeh8HnEeSX5KW4N9HT0w"/>
<upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_5laeiMHnEeSX5KW4N9HT0w" value="*"/>
</ownedAttribute>
<ownedAttribute xmi:id="_5laeicHnEeSX5KW4N9HT0w" name="ownedInvariants" isOrdered="true" aggregation="composite" association="_5laerMHnEeSX5KW4N9HT0w">
<ownedComment xmi:id="_5laeisHnEeSX5KW4N9HT0w" annotatedElement="_5laeicHnEeSX5KW4N9HT0w">
<body>The additional class invariants.</body>
</ownedComment>
<type xmi:type="uml:Class" href="basecs.uml#_5sSipsHnEeSX5KW4N9HT0w"/>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_5laei8HnEeSX5KW4N9HT0w"/>
<upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_5laejMHnEeSX5KW4N9HT0w" value="*"/>
</ownedAttribute>
<ownedAttribute xmi:id="_5laejcHnEeSX5KW4N9HT0w" name="referredClass" isOrdered="true" isReadOnly="true" isDerived="true" association="_5laersHnEeSX5KW4N9HT0w">
<ownedComment xmi:id="_5laejsHnEeSX5KW4N9HT0w" annotatedElement="_5laejcHnEeSX5KW4N9HT0w">
<body>The class for which this context provides additional detail.</body>
</ownedComment>
<type xmi:type="uml:Class" href="pivot.uml#_520XpcHnEeSX5KW4N9HT0w"/>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_5laej8HnEeSX5KW4N9HT0w"/>
</ownedAttribute>
<ownedAttribute xmi:id="_5laekMHnEeSX5KW4N9HT0w" name="selfName" visibility="public" isOrdered="true">
<ownedComment xmi:id="_5laekcHnEeSX5KW4N9HT0w" annotatedElement="_5laekMHnEeSX5KW4N9HT0w">
<body>The optional alternative spelling of 'self'.</body>
</ownedComment>
<type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EString"/>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_5laeksHnEeSX5KW4N9HT0w"/>
</ownedAttribute>
</packagedElement>
<packagedElement xmi:type="uml:Class" xmi:id="_5laek8HnEeSX5KW4N9HT0w" name="ContextDeclCS" isAbstract="true">
<ownedComment xmi:id="_5laelMHnEeSX5KW4N9HT0w" annotatedElement="_5laek8HnEeSX5KW4N9HT0w">
<body>The abstract ContextDeclCS identifies the common functionality of Class, Operation and Property
contexts for complementary declarations.</body>
</ownedComment>
<generalization xmi:id="_5laelcHnEeSX5KW4N9HT0w" general="_5laelsHnEeSX5KW4N9HT0w"/>
</packagedElement>
<packagedElement xmi:type="uml:Class" xmi:id="_5laelsHnEeSX5KW4N9HT0w" name="PathNameDeclCS" isAbstract="true">
<generalization xmi:id="_5lael8HnEeSX5KW4N9HT0w">
<general xmi:type="uml:Class" href="basecs.uml#_5sUX_MHnEeSX5KW4N9HT0w"/>
</generalization>
<ownedAttribute xmi:id="_5laemMHnEeSX5KW4N9HT0w" name="ownedPathName" isOrdered="true" aggregation="composite" association="_5laem8HnEeSX5KW4N9HT0w">
<type xmi:type="uml:Class" href="basecs.uml#_5sRUoMHnEeSX5KW4N9HT0w"/>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_5laemcHnEeSX5KW4N9HT0w"/>
</ownedAttribute>
<interfaceRealization xmi:id="_5laemsHnEeSX5KW4N9HT0w" client="_5laelsHnEeSX5KW4N9HT0w">
<supplier xmi:type="uml:Interface" href="pivot.uml#_53BL4MHnEeSX5KW4N9HT0w"/>
<contract href="pivot.uml#_53BL4MHnEeSX5KW4N9HT0w"/>
</interfaceRealization>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="_5laem8HnEeSX5KW4N9HT0w" memberEnd="_5laemMHnEeSX5KW4N9HT0w _5laenMHnEeSX5KW4N9HT0w">
<ownedEnd xmi:id="_5laenMHnEeSX5KW4N9HT0w" type="_5laelsHnEeSX5KW4N9HT0w" association="_5laem8HnEeSX5KW4N9HT0w"/>
</packagedElement>
<packagedElement xmi:type="uml:Class" xmi:id="_5laencHnEeSX5KW4N9HT0w" name="DefCS" isAbstract="true">
<ownedComment xmi:id="_5laensHnEeSX5KW4N9HT0w" annotatedElement="_5laencHnEeSX5KW4N9HT0w">
<body>The abstract DefCS identifies the common functionality of additional Operation or Property
definitions.</body>
</ownedComment>
<generalization xmi:id="_5laen8HnEeSX5KW4N9HT0w">
<general xmi:type="uml:Class" href="basecs.uml#_5sR7lMHnEeSX5KW4N9HT0w"/>
</generalization>
<ownedAttribute xmi:id="_5laeoMHnEeSX5KW4N9HT0w" name="isStatic" visibility="public" isOrdered="true">
<ownedComment xmi:id="_5laeocHnEeSX5KW4N9HT0w" annotatedElement="_5laeoMHnEeSX5KW4N9HT0w">
<body>Whether this Oeration or Property definition is for a static feature.</body>
</ownedComment>
<type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EBoolean"/>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_5laeosHnEeSX5KW4N9HT0w"/>
</ownedAttribute>
<ownedAttribute xmi:id="_5laeo8HnEeSX5KW4N9HT0w" name="ownedSpecification" isOrdered="true" aggregation="composite" association="_5laeqcHnEeSX5KW4N9HT0w">
<ownedComment xmi:id="_5laepMHnEeSX5KW4N9HT0w" annotatedElement="_5laeo8HnEeSX5KW4N9HT0w">
<body>The OCL specification for the Operation body of Property default value.</body>
</ownedComment>
<type xmi:type="uml:Class" href="essentialoclcs.uml#_6TJubMHnEeSX5KW4N9HT0w"/>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_5laepcHnEeSX5KW4N9HT0w"/>
</ownedAttribute>
<ownedAttribute xmi:id="_5laepsHnEeSX5KW4N9HT0w" name="owningClassifierContextDecl" type="_5laegcHnEeSX5KW4N9HT0w" isOrdered="true" isReadOnly="true" association="_5laeq8HnEeSX5KW4N9HT0w">
<ownedComment xmi:id="_5laep8HnEeSX5KW4N9HT0w" annotatedElement="_5laepsHnEeSX5KW4N9HT0w">
<body>The class context identifying the class for this additional definition.</body>
</ownedComment>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_5laeqMHnEeSX5KW4N9HT0w"/>
</ownedAttribute>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="_5laeqcHnEeSX5KW4N9HT0w" memberEnd="_5laeo8HnEeSX5KW4N9HT0w _5laeqsHnEeSX5KW4N9HT0w">
<ownedEnd xmi:id="_5laeqsHnEeSX5KW4N9HT0w" type="_5laencHnEeSX5KW4N9HT0w" association="_5laeqcHnEeSX5KW4N9HT0w"/>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="_5laeq8HnEeSX5KW4N9HT0w" memberEnd="_5laehcHnEeSX5KW4N9HT0w _5laepsHnEeSX5KW4N9HT0w"/>
<packagedElement xmi:type="uml:Association" xmi:id="_5laerMHnEeSX5KW4N9HT0w" memberEnd="_5laeicHnEeSX5KW4N9HT0w _5laercHnEeSX5KW4N9HT0w">
<ownedEnd xmi:id="_5laercHnEeSX5KW4N9HT0w" type="_5laegcHnEeSX5KW4N9HT0w" association="_5laerMHnEeSX5KW4N9HT0w"/>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="_5laersHnEeSX5KW4N9HT0w" memberEnd="_5laejcHnEeSX5KW4N9HT0w _5laer8HnEeSX5KW4N9HT0w">
<ownedEnd xmi:id="_5laer8HnEeSX5KW4N9HT0w" type="_5laegcHnEeSX5KW4N9HT0w" association="_5laersHnEeSX5KW4N9HT0w"/>
</packagedElement>
<packagedElement xmi:type="uml:Class" xmi:id="_5laesMHnEeSX5KW4N9HT0w" name="DefOperationCS">
<ownedComment xmi:id="_5laescHnEeSX5KW4N9HT0w" annotatedElement="_5laesMHnEeSX5KW4N9HT0w">
<body>A DefOperationCS defines an additional operation for its context class.</body>
</ownedComment>
<generalization xmi:id="_5laessHnEeSX5KW4N9HT0w" general="_5laencHnEeSX5KW4N9HT0w"/>
<generalization xmi:id="_5laes8HnEeSX5KW4N9HT0w">
<general xmi:type="uml:Class" href="basecs.uml#_5sSilsHnEeSX5KW4N9HT0w"/>
</generalization>
<ownedAttribute xmi:id="_5laetMHnEeSX5KW4N9HT0w" name="ownedParameters" isOrdered="true" aggregation="composite" association="_5laeuMHnEeSX5KW4N9HT0w">
<ownedComment xmi:id="_5laetcHnEeSX5KW4N9HT0w" annotatedElement="_5laetMHnEeSX5KW4N9HT0w">
<body>The list of parameters for the defined operation.</body>
</ownedComment>
<type xmi:type="uml:Class" href="basecs.uml#_5sTJqMHnEeSX5KW4N9HT0w"/>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_5laetsHnEeSX5KW4N9HT0w"/>
<upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_5laet8HnEeSX5KW4N9HT0w" value="*"/>
</ownedAttribute>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="_5laeuMHnEeSX5KW4N9HT0w" memberEnd="_5laetMHnEeSX5KW4N9HT0w _5laeucHnEeSX5KW4N9HT0w">
<ownedEnd xmi:id="_5laeucHnEeSX5KW4N9HT0w" type="_5laesMHnEeSX5KW4N9HT0w" association="_5laeuMHnEeSX5KW4N9HT0w"/>
</packagedElement>
<packagedElement xmi:type="uml:Class" xmi:id="_5laeusHnEeSX5KW4N9HT0w" name="DefPropertyCS">
<ownedComment xmi:id="_5laeu8HnEeSX5KW4N9HT0w" annotatedElement="_5laeusHnEeSX5KW4N9HT0w">
<body>A DefPropertyCS defines an additional property for its context class.</body>
</ownedComment>
<generalization xmi:id="_5laevMHnEeSX5KW4N9HT0w" general="_5laencHnEeSX5KW4N9HT0w"/>
</packagedElement>
<packagedElement xmi:type="uml:Class" xmi:id="_5laevcHnEeSX5KW4N9HT0w" name="FeatureContextDeclCS" isAbstract="true">
<ownedComment xmi:id="_5laevsHnEeSX5KW4N9HT0w" annotatedElement="_5laevcHnEeSX5KW4N9HT0w">
<body>The abstract FeatureContextDeclCS identifies the common functionality of Operation and Property
contexts for complementary declarations.</body>
</ownedComment>
<generalization xmi:id="_5laev8HnEeSX5KW4N9HT0w" general="_5laek8HnEeSX5KW4N9HT0w"/>
<ownedAttribute xmi:id="_5laewMHnEeSX5KW4N9HT0w" name="ownedType" isOrdered="true" aggregation="composite" association="_5laew8HnEeSX5KW4N9HT0w">
<ownedComment xmi:id="_5laewcHnEeSX5KW4N9HT0w" annotatedElement="_5laewMHnEeSX5KW4N9HT0w">
<body>The Property type or OPeration return type.</body>
</ownedComment>
<type xmi:type="uml:Class" href="basecs.uml#_5sR7ncHnEeSX5KW4N9HT0w"/>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_5laewsHnEeSX5KW4N9HT0w"/>
</ownedAttribute>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="_5laew8HnEeSX5KW4N9HT0w" memberEnd="_5laewMHnEeSX5KW4N9HT0w _5laexMHnEeSX5KW4N9HT0w">
<ownedEnd xmi:id="_5laexMHnEeSX5KW4N9HT0w" type="_5laevcHnEeSX5KW4N9HT0w" association="_5laew8HnEeSX5KW4N9HT0w"/>
</packagedElement>
<packagedElement xmi:type="uml:Class" xmi:id="_5laexcHnEeSX5KW4N9HT0w" name="IncludeCS">
<ownedComment xmi:id="_5lbFkMHnEeSX5KW4N9HT0w" annotatedElement="_5laexcHnEeSX5KW4N9HT0w">
<body>An IncludeCS defines an include for an external namespace, typically a package,
and optionally associates an alias with it.
The included namespace is available to be referenced as the first element in a qualified name.
If an alias is defined, the alias may be used as the first element in a qualified name. If the
alias name is the same as the namespace name, the namespace name is occluded.
The namespace reference is to the URI of a namespace.</body>
</ownedComment>
<generalization xmi:id="_5lbFkcHnEeSX5KW4N9HT0w">
<general xmi:type="uml:Class" href="basecs.uml#_5sSixcHnEeSX5KW4N9HT0w"/>
</generalization>
<ownedAttribute xmi:id="_5lbFksHnEeSX5KW4N9HT0w" name="referredNamespace" isOrdered="true" association="_5lbFlcHnEeSX5KW4N9HT0w">
<ownedComment xmi:id="_5lbFk8HnEeSX5KW4N9HT0w" annotatedElement="_5lbFksHnEeSX5KW4N9HT0w">
<body>The namespace to be available for use as the first name in a qualified name.</body>
</ownedComment>
<type xmi:type="uml:Class" href="pivot.uml#_520X1sHnEeSX5KW4N9HT0w"/>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_5lbFlMHnEeSX5KW4N9HT0w"/>
</ownedAttribute>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="_5lbFlcHnEeSX5KW4N9HT0w" memberEnd="_5lbFksHnEeSX5KW4N9HT0w _5lbFlsHnEeSX5KW4N9HT0w">
<ownedEnd xmi:id="_5lbFlsHnEeSX5KW4N9HT0w" type="_5laexcHnEeSX5KW4N9HT0w" association="_5lbFlcHnEeSX5KW4N9HT0w"/>
</packagedElement>
<packagedElement xmi:type="uml:Class" xmi:id="_5lbFl8HnEeSX5KW4N9HT0w" name="OCLMessageArgCS">
<generalization xmi:id="_5lbFmMHnEeSX5KW4N9HT0w">
<general xmi:type="uml:Class" href="essentialoclcs.uml#_6TGD-8HnEeSX5KW4N9HT0w"/>
</generalization>
</packagedElement>
<packagedElement xmi:type="uml:Class" xmi:id="_5lbFmcHnEeSX5KW4N9HT0w" name="OperationContextDeclCS">
<generalization xmi:id="_5lbFmsHnEeSX5KW4N9HT0w" general="_5laevcHnEeSX5KW4N9HT0w"/>
<generalization xmi:id="_5lbFm8HnEeSX5KW4N9HT0w">
<general xmi:type="uml:Class" href="basecs.uml#_5sSilsHnEeSX5KW4N9HT0w"/>
</generalization>
<ownedAttribute xmi:id="_5lbFnMHnEeSX5KW4N9HT0w" name="ownedBodies" isOrdered="true" aggregation="composite" association="_5lbFrMHnEeSX5KW4N9HT0w">
<type xmi:type="uml:Class" href="essentialoclcs.uml#_6TJubMHnEeSX5KW4N9HT0w"/>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_5lbFncHnEeSX5KW4N9HT0w"/>
<upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_5lbFnsHnEeSX5KW4N9HT0w" value="*"/>
</ownedAttribute>
<ownedAttribute xmi:id="_5lbFn8HnEeSX5KW4N9HT0w" name="ownedParameters" isOrdered="true" aggregation="composite" association="_5lbFrsHnEeSX5KW4N9HT0w">
<type xmi:type="uml:Class" href="basecs.uml#_5sTJqMHnEeSX5KW4N9HT0w"/>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_5lbFoMHnEeSX5KW4N9HT0w"/>
<upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_5lbFocHnEeSX5KW4N9HT0w" value="*"/>
</ownedAttribute>
<ownedAttribute xmi:id="_5lbFosHnEeSX5KW4N9HT0w" name="ownedPostconditions" isOrdered="true" aggregation="composite" association="_5lbFsMHnEeSX5KW4N9HT0w">
<type xmi:type="uml:Class" href="basecs.uml#_5sSipsHnEeSX5KW4N9HT0w"/>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_5lbFo8HnEeSX5KW4N9HT0w"/>
<upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_5lbFpMHnEeSX5KW4N9HT0w" value="*"/>
</ownedAttribute>
<ownedAttribute xmi:id="_5lbFpcHnEeSX5KW4N9HT0w" name="ownedPreconditions" isOrdered="true" aggregation="composite" association="_5lbFssHnEeSX5KW4N9HT0w">
<type xmi:type="uml:Class" href="basecs.uml#_5sSipsHnEeSX5KW4N9HT0w"/>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_5lbFpsHnEeSX5KW4N9HT0w"/>
<upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_5lbFp8HnEeSX5KW4N9HT0w" value="*"/>
</ownedAttribute>
<ownedAttribute xmi:id="_5lbFqMHnEeSX5KW4N9HT0w" name="ownedResult" isOrdered="true" aggregation="composite" isDerived="true" association="_5lbFtMHnEeSX5KW4N9HT0w">
<type xmi:type="uml:Class" href="essentialoclcs.uml#_6TJHMsHnEeSX5KW4N9HT0w"/>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_5lbFqcHnEeSX5KW4N9HT0w"/>
</ownedAttribute>
<ownedAttribute xmi:id="_5lbFqsHnEeSX5KW4N9HT0w" name="referredOperation" isOrdered="true" isReadOnly="true" isDerived="true" association="_5lbFtsHnEeSX5KW4N9HT0w">
<type xmi:type="uml:Class" href="pivot.uml#_521lvsHnEeSX5KW4N9HT0w"/>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_5lbFq8HnEeSX5KW4N9HT0w"/>
</ownedAttribute>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="_5lbFrMHnEeSX5KW4N9HT0w" memberEnd="_5lbFnMHnEeSX5KW4N9HT0w _5lbFrcHnEeSX5KW4N9HT0w">
<ownedEnd xmi:id="_5lbFrcHnEeSX5KW4N9HT0w" type="_5lbFmcHnEeSX5KW4N9HT0w" association="_5lbFrMHnEeSX5KW4N9HT0w"/>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="_5lbFrsHnEeSX5KW4N9HT0w" memberEnd="_5lbFn8HnEeSX5KW4N9HT0w _5lbFr8HnEeSX5KW4N9HT0w">
<ownedEnd xmi:id="_5lbFr8HnEeSX5KW4N9HT0w" type="_5lbFmcHnEeSX5KW4N9HT0w" association="_5lbFrsHnEeSX5KW4N9HT0w"/>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="_5lbFsMHnEeSX5KW4N9HT0w" memberEnd="_5lbFosHnEeSX5KW4N9HT0w _5lbFscHnEeSX5KW4N9HT0w">
<ownedEnd xmi:id="_5lbFscHnEeSX5KW4N9HT0w" type="_5lbFmcHnEeSX5KW4N9HT0w" association="_5lbFsMHnEeSX5KW4N9HT0w"/>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="_5lbFssHnEeSX5KW4N9HT0w" memberEnd="_5lbFpcHnEeSX5KW4N9HT0w _5lbFs8HnEeSX5KW4N9HT0w">
<ownedEnd xmi:id="_5lbFs8HnEeSX5KW4N9HT0w" type="_5lbFmcHnEeSX5KW4N9HT0w" association="_5lbFssHnEeSX5KW4N9HT0w"/>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="_5lbFtMHnEeSX5KW4N9HT0w" memberEnd="_5lbFqMHnEeSX5KW4N9HT0w _5lbFtcHnEeSX5KW4N9HT0w">
<ownedEnd xmi:id="_5lbFtcHnEeSX5KW4N9HT0w" type="_5lbFmcHnEeSX5KW4N9HT0w" association="_5lbFtMHnEeSX5KW4N9HT0w"/>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="_5lbFtsHnEeSX5KW4N9HT0w" memberEnd="_5lbFqsHnEeSX5KW4N9HT0w _5lbFt8HnEeSX5KW4N9HT0w">
<ownedEnd xmi:id="_5lbFt8HnEeSX5KW4N9HT0w" type="_5lbFmcHnEeSX5KW4N9HT0w" association="_5lbFtsHnEeSX5KW4N9HT0w"/>
</packagedElement>
<packagedElement xmi:type="uml:Class" xmi:id="_5lbFuMHnEeSX5KW4N9HT0w" name="PackageDeclarationCS">
<generalization xmi:id="_5lbFucHnEeSX5KW4N9HT0w" general="_5laelsHnEeSX5KW4N9HT0w"/>
<ownedAttribute xmi:id="_5lbFusHnEeSX5KW4N9HT0w" name="ownedContexts" type="_5laek8HnEeSX5KW4N9HT0w" isOrdered="true" aggregation="composite" association="_5lbFwsHnEeSX5KW4N9HT0w">
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_5lbFu8HnEeSX5KW4N9HT0w"/>
<upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_5lbFvMHnEeSX5KW4N9HT0w" value="*"/>
</ownedAttribute>
<ownedAttribute xmi:id="_5lbFvcHnEeSX5KW4N9HT0w" name="ownedInvariants" isOrdered="true" aggregation="composite" association="_5lbFxMHnEeSX5KW4N9HT0w">
<type xmi:type="uml:Class" href="basecs.uml#_5sSipsHnEeSX5KW4N9HT0w"/>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_5lbFvsHnEeSX5KW4N9HT0w"/>
<upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_5lbFv8HnEeSX5KW4N9HT0w" value="*"/>
</ownedAttribute>
<ownedAttribute xmi:id="_5lbFwMHnEeSX5KW4N9HT0w" name="referredPackage" isOrdered="true" isReadOnly="true" isDerived="true" association="_5lbFxsHnEeSX5KW4N9HT0w">
<type xmi:type="uml:Class" href="pivot.uml#_525QHsHnEeSX5KW4N9HT0w"/>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_5lbFwcHnEeSX5KW4N9HT0w"/>
</ownedAttribute>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="_5lbFwsHnEeSX5KW4N9HT0w" memberEnd="_5lbFusHnEeSX5KW4N9HT0w _5lbFw8HnEeSX5KW4N9HT0w">
<ownedEnd xmi:id="_5lbFw8HnEeSX5KW4N9HT0w" type="_5lbFuMHnEeSX5KW4N9HT0w" association="_5lbFwsHnEeSX5KW4N9HT0w"/>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="_5lbFxMHnEeSX5KW4N9HT0w" memberEnd="_5lbFvcHnEeSX5KW4N9HT0w _5lbFxcHnEeSX5KW4N9HT0w">
<ownedEnd xmi:id="_5lbFxcHnEeSX5KW4N9HT0w" type="_5lbFuMHnEeSX5KW4N9HT0w" association="_5lbFxMHnEeSX5KW4N9HT0w"/>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="_5lbFxsHnEeSX5KW4N9HT0w" memberEnd="_5lbFwMHnEeSX5KW4N9HT0w _5lbFx8HnEeSX5KW4N9HT0w">
<ownedEnd xmi:id="_5lbFx8HnEeSX5KW4N9HT0w" type="_5lbFuMHnEeSX5KW4N9HT0w" association="_5lbFxsHnEeSX5KW4N9HT0w"/>
</packagedElement>
<packagedElement xmi:type="uml:Class" xmi:id="_5lbFyMHnEeSX5KW4N9HT0w" name="PropertyContextDeclCS">
<generalization xmi:id="_5lbFycHnEeSX5KW4N9HT0w" general="_5laevcHnEeSX5KW4N9HT0w"/>
<ownedAttribute xmi:id="_5lbFysHnEeSX5KW4N9HT0w" name="ownedDefaultExpressions" isOrdered="true" aggregation="composite" association="_5lbF0sHnEeSX5KW4N9HT0w">
<type xmi:type="uml:Class" href="essentialoclcs.uml#_6TJubMHnEeSX5KW4N9HT0w"/>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_5lbFy8HnEeSX5KW4N9HT0w"/>
<upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_5lbFzMHnEeSX5KW4N9HT0w" value="*"/>
</ownedAttribute>
<ownedAttribute xmi:id="_5lbFzcHnEeSX5KW4N9HT0w" name="ownedDerivedInvariants" isOrdered="true" aggregation="composite" association="_5lbF1MHnEeSX5KW4N9HT0w">
<type xmi:type="uml:Class" href="basecs.uml#_5sSipsHnEeSX5KW4N9HT0w"/>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_5lbFzsHnEeSX5KW4N9HT0w"/>
<upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_5lbFz8HnEeSX5KW4N9HT0w" value="*"/>
</ownedAttribute>
<ownedAttribute xmi:id="_5lbF0MHnEeSX5KW4N9HT0w" name="referredProperty" isOrdered="true" isReadOnly="true" isDerived="true" association="_5lbF1sHnEeSX5KW4N9HT0w">
<type xmi:type="uml:Class" href="pivot.uml#_524pB8HnEeSX5KW4N9HT0w"/>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_5lbF0cHnEeSX5KW4N9HT0w"/>
</ownedAttribute>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="_5lbF0sHnEeSX5KW4N9HT0w" memberEnd="_5lbFysHnEeSX5KW4N9HT0w _5lbF08HnEeSX5KW4N9HT0w">
<ownedEnd xmi:id="_5lbF08HnEeSX5KW4N9HT0w" type="_5lbFyMHnEeSX5KW4N9HT0w" association="_5lbF0sHnEeSX5KW4N9HT0w"/>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="_5lbF1MHnEeSX5KW4N9HT0w" memberEnd="_5lbFzcHnEeSX5KW4N9HT0w _5lbF1cHnEeSX5KW4N9HT0w">
<ownedEnd xmi:id="_5lbF1cHnEeSX5KW4N9HT0w" type="_5lbFyMHnEeSX5KW4N9HT0w" association="_5lbF1MHnEeSX5KW4N9HT0w"/>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="_5lbF1sHnEeSX5KW4N9HT0w" memberEnd="_5lbF0MHnEeSX5KW4N9HT0w _5lbF18HnEeSX5KW4N9HT0w">
<ownedEnd xmi:id="_5lbF18HnEeSX5KW4N9HT0w" type="_5lbFyMHnEeSX5KW4N9HT0w" association="_5lbF1sHnEeSX5KW4N9HT0w"/>
</packagedElement>
<packagedElement xmi:type="uml:Class" xmi:id="_5lbF2MHnEeSX5KW4N9HT0w" name="CompleteOCLDocumentCS">
<ownedComment xmi:id="_5lbF2cHnEeSX5KW4N9HT0w" annotatedElement="_5lbF2MHnEeSX5KW4N9HT0w">
<body>A CompleteOCLDocumentCS supports the entire Complete OCL Document that extends
referenced classes and packages with additional or complementary declarations .</body>
</ownedComment>
<generalization xmi:id="_5lbF2sHnEeSX5KW4N9HT0w">
<general xmi:type="uml:Class" href="basecs.uml#_5sSixcHnEeSX5KW4N9HT0w"/>
</generalization>
<generalization xmi:id="_5lbF28HnEeSX5KW4N9HT0w">
<general xmi:type="uml:Class" href="basecs.uml#_5sTw6MHnEeSX5KW4N9HT0w"/>
</generalization>
<ownedAttribute xmi:id="_5lbF3MHnEeSX5KW4N9HT0w" name="ownedContexts" type="_5laek8HnEeSX5KW4N9HT0w" isOrdered="true" aggregation="composite" association="_5lbsqsHnEeSX5KW4N9HT0w">
<ownedComment xmi:id="_5lbF3cHnEeSX5KW4N9HT0w" annotatedElement="_5lbF3MHnEeSX5KW4N9HT0w">
<body>The declarations that directly extend classes, operations or properties.</body>
</ownedComment>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_5lbsoMHnEeSX5KW4N9HT0w"/>
<upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_5lbsocHnEeSX5KW4N9HT0w" value="*"/>
</ownedAttribute>
<ownedAttribute xmi:id="_5lbsosHnEeSX5KW4N9HT0w" name="ownedIncludes" type="_5laexcHnEeSX5KW4N9HT0w" isOrdered="true" aggregation="composite" association="_5lbsrMHnEeSX5KW4N9HT0w">
<ownedComment xmi:id="_5lbso8HnEeSX5KW4N9HT0w" annotatedElement="_5lbsosHnEeSX5KW4N9HT0w">
<body>The inclusions of externally defined metamodels referenced or extended by this document.</body>
</ownedComment>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_5lbspMHnEeSX5KW4N9HT0w"/>
<upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_5lbspcHnEeSX5KW4N9HT0w" value="*"/>
</ownedAttribute>
<ownedAttribute xmi:id="_5lbspsHnEeSX5KW4N9HT0w" name="ownedPackages" type="_5lbFuMHnEeSX5KW4N9HT0w" isOrdered="true" aggregation="composite" association="_5lbsrsHnEeSX5KW4N9HT0w">
<ownedComment xmi:id="_5lbsp8HnEeSX5KW4N9HT0w" annotatedElement="_5lbspsHnEeSX5KW4N9HT0w">
<body>The declarations that extend within the context of a referenced package.</body>
</ownedComment>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_5lbsqMHnEeSX5KW4N9HT0w"/>
<upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_5lbsqcHnEeSX5KW4N9HT0w" value="*"/>
</ownedAttribute>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="_5lbsqsHnEeSX5KW4N9HT0w" memberEnd="_5lbF3MHnEeSX5KW4N9HT0w _5lbsq8HnEeSX5KW4N9HT0w">
<ownedEnd xmi:id="_5lbsq8HnEeSX5KW4N9HT0w" type="_5lbF2MHnEeSX5KW4N9HT0w" association="_5lbsqsHnEeSX5KW4N9HT0w"/>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="_5lbsrMHnEeSX5KW4N9HT0w" memberEnd="_5lbsosHnEeSX5KW4N9HT0w _5lbsrcHnEeSX5KW4N9HT0w">
<ownedEnd xmi:id="_5lbsrcHnEeSX5KW4N9HT0w" type="_5lbF2MHnEeSX5KW4N9HT0w" association="_5lbsrMHnEeSX5KW4N9HT0w"/>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="_5lbsrsHnEeSX5KW4N9HT0w" memberEnd="_5lbspsHnEeSX5KW4N9HT0w _5lbsr8HnEeSX5KW4N9HT0w">
<ownedEnd xmi:id="_5lbsr8HnEeSX5KW4N9HT0w" type="_5lbF2MHnEeSX5KW4N9HT0w" association="_5lbsrsHnEeSX5KW4N9HT0w"/>
</packagedElement>
<profileApplication xmi:id="_5lbssMHnEeSX5KW4N9HT0w">
<eAnnotations xmi:id="_5lbsscHnEeSX5KW4N9HT0w" source="http://www.eclipse.org/uml2/2.0.0/UML">
<references xmi:type="ecore:EPackage" href="pathmap://UML_PROFILES/Ecore.profile.uml#_z1OFcHjqEdy8S4Cr8Rc_NA"/>
</eAnnotations>
<appliedProfile href="pathmap://UML_PROFILES/Ecore.profile.uml#_0"/>
</profileApplication>
</uml:Model>
<Ecore:EPackage xmi:id="_5lbsssHnEeSX5KW4N9HT0w" base_Package="_5laegMHnEeSX5KW4N9HT0w" nsPrefix="completeoclcs"/>
<Ecore:EClass xmi:id="_5lcTsMHnEeSX5KW4N9HT0w" base_Class="_5laegcHnEeSX5KW4N9HT0w"/>
<Ecore:EReference xmi:id="_5lc6wMHnEeSX5KW4N9HT0w" base_Property="_5laehcHnEeSX5KW4N9HT0w"/>
<Ecore:EReference xmi:id="_5ldh0MHnEeSX5KW4N9HT0w" base_Property="_5laeicHnEeSX5KW4N9HT0w"/>
<Ecore:EReference xmi:id="_5leI4MHnEeSX5KW4N9HT0w" isTransient="true" isVolatile="true" base_Property="_5laejcHnEeSX5KW4N9HT0w" isResolveProxies="false"/>
<Ecore:EClass xmi:id="_5lev8MHnEeSX5KW4N9HT0w" base_Class="_5laek8HnEeSX5KW4N9HT0w"/>
<Ecore:EClass xmi:id="_5lfXAMHnEeSX5KW4N9HT0w" base_Class="_5laelsHnEeSX5KW4N9HT0w"/>
<Ecore:EReference xmi:id="_5lfXAcHnEeSX5KW4N9HT0w" base_Property="_5laemMHnEeSX5KW4N9HT0w"/>
<Ecore:EClass xmi:id="_5lf-EMHnEeSX5KW4N9HT0w" base_Class="_5laencHnEeSX5KW4N9HT0w"/>
<Ecore:EReference xmi:id="_5lglIMHnEeSX5KW4N9HT0w" base_Property="_5laeo8HnEeSX5KW4N9HT0w"/>
<Ecore:EReference xmi:id="_5lhMMMHnEeSX5KW4N9HT0w" base_Property="_5laepsHnEeSX5KW4N9HT0w"/>
<Ecore:EClass xmi:id="_5liaUMHnEeSX5KW4N9HT0w" base_Class="_5laesMHnEeSX5KW4N9HT0w"/>
<Ecore:EReference xmi:id="_5ljBYMHnEeSX5KW4N9HT0w" base_Property="_5laetMHnEeSX5KW4N9HT0w"/>
<Ecore:EClass xmi:id="_5ljocMHnEeSX5KW4N9HT0w" base_Class="_5laeusHnEeSX5KW4N9HT0w"/>
<Ecore:EClass xmi:id="_5lkPgMHnEeSX5KW4N9HT0w" base_Class="_5laevcHnEeSX5KW4N9HT0w"/>
<Ecore:EReference xmi:id="_5lk2kMHnEeSX5KW4N9HT0w" base_Property="_5laewMHnEeSX5KW4N9HT0w"/>
<Ecore:EClass xmi:id="_5lldoMHnEeSX5KW4N9HT0w" base_Class="_5laexcHnEeSX5KW4N9HT0w"/>
<Ecore:EReference xmi:id="_5lmEsMHnEeSX5KW4N9HT0w" base_Property="_5lbFksHnEeSX5KW4N9HT0w"/>
<Ecore:EClass xmi:id="_5lmrwMHnEeSX5KW4N9HT0w" base_Class="_5lbFl8HnEeSX5KW4N9HT0w"/>
<Ecore:EClass xmi:id="_5lmrwcHnEeSX5KW4N9HT0w" base_Class="_5lbFmcHnEeSX5KW4N9HT0w"/>
<Ecore:EReference xmi:id="_5lnS0MHnEeSX5KW4N9HT0w" base_Property="_5lbFnMHnEeSX5KW4N9HT0w"/>
<Ecore:EReference xmi:id="_5ln54MHnEeSX5KW4N9HT0w" base_Property="_5lbFn8HnEeSX5KW4N9HT0w"/>
<Ecore:EReference xmi:id="_5log8MHnEeSX5KW4N9HT0w" base_Property="_5lbFosHnEeSX5KW4N9HT0w"/>
<Ecore:EReference xmi:id="_5log8cHnEeSX5KW4N9HT0w" base_Property="_5lbFpcHnEeSX5KW4N9HT0w"/>
<Ecore:EReference xmi:id="_5lpIAMHnEeSX5KW4N9HT0w" isTransient="true" base_Property="_5lbFqMHnEeSX5KW4N9HT0w" isResolveProxies="false"/>
<Ecore:EReference xmi:id="_5lpvEMHnEeSX5KW4N9HT0w" isTransient="true" isVolatile="true" base_Property="_5lbFqsHnEeSX5KW4N9HT0w" isResolveProxies="false"/>
<Ecore:EClass xmi:id="_5lq9MMHnEeSX5KW4N9HT0w" base_Class="_5lbFuMHnEeSX5KW4N9HT0w"/>
<Ecore:EReference xmi:id="_5lrkQMHnEeSX5KW4N9HT0w" base_Property="_5lbFusHnEeSX5KW4N9HT0w"/>
<Ecore:EReference xmi:id="_5lrkQcHnEeSX5KW4N9HT0w" base_Property="_5lbFvcHnEeSX5KW4N9HT0w"/>
<Ecore:EReference xmi:id="_5lsLUMHnEeSX5KW4N9HT0w" isTransient="true" isVolatile="true" base_Property="_5lbFwMHnEeSX5KW4N9HT0w" isResolveProxies="false"/>
<Ecore:EClass xmi:id="_5ltZcMHnEeSX5KW4N9HT0w" base_Class="_5lbFyMHnEeSX5KW4N9HT0w"/>
<Ecore:EReference xmi:id="_5ltZccHnEeSX5KW4N9HT0w" base_Property="_5lbFysHnEeSX5KW4N9HT0w"/>
<Ecore:EReference xmi:id="_5luAgMHnEeSX5KW4N9HT0w" base_Property="_5lbFzcHnEeSX5KW4N9HT0w"/>
<Ecore:EReference xmi:id="_5lunkMHnEeSX5KW4N9HT0w" isTransient="true" isVolatile="true" base_Property="_5lbF0MHnEeSX5KW4N9HT0w" isResolveProxies="false"/>
<Ecore:EClass xmi:id="_5lvOoMHnEeSX5KW4N9HT0w" base_Class="_5lbF2MHnEeSX5KW4N9HT0w"/>
<Ecore:EReference xmi:id="_5lv1sMHnEeSX5KW4N9HT0w" base_Property="_5lbF3MHnEeSX5KW4N9HT0w"/>
<Ecore:EReference xmi:id="_5lwcwMHnEeSX5KW4N9HT0w" base_Property="_5lbsosHnEeSX5KW4N9HT0w"/>
<Ecore:EReference xmi:id="_5lxD0MHnEeSX5KW4N9HT0w" base_Property="_5lbspsHnEeSX5KW4N9HT0w"/>
</xmi:XMI>