blob: ead02f46c0786defe45b7fe5a9e5fa14901c3da0 [file] [log] [blame]
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pivot:Model [
<!ENTITY _0 "../../org.eclipse.ocl.pivot/model/Pivot.ecore.oclas">
<!ENTITY _1 "http://www.eclipse.org/ocl/2015/Library.oclas">
]>
<pivot:Model xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:pivot="http://www.eclipse.org/ocl/2015/Pivot"
xsi:schemaLocation="http://www.eclipse.org/ocl/2015/Pivot java://org.eclipse.ocl.pivot.PivotPackage" xmi:id="AAAAA" externalURI="platform:/resource/org.eclipse.qvtd.pivot.qvtbase/model/QVTbase.ecore" name="QVTbase.ecore" xmiidVersion="1">
<ownedPackages xmi:id="6+ray" URI="http://www.eclipse.org/qvt/2015/QVTbase" name="qvtbase" nsPrefix="qvtb">
<ownedClasses xmi:id="Phhr+" name="BaseModel" superClasses="&_0;#aKB,e"/>
<ownedClasses xmi:id="32OJ," name="CompoundTargetElement" superClasses="#imhVK">
<ownedProperties xmi:id="gsp,1" isComposite="true" name="ownedTargetElements" type="#2q+J3"/>
</ownedClasses>
<ownedClasses xmi:id="7pR2u" isAbstract="true" name="Domain" superClasses="&_0;#0kVqz &_0;#dXAFV">
<ownedInvariants xmi:id="G93EB" isCallable="true" name="NameIsTypedModelName">
<ownedSpecification xsi:type="pivot:ExpressionInOCL" body="&#xA;&#x9;typedModel &lt;> null implies name = typedModel.name&#xA;&#xA;"/>
</ownedInvariants>
<ownedInvariants xmi:id="5OsGZ" isCallable="true" name="TypedModelIsTransformationModelParameter">
<ownedSpecification xsi:type="pivot:ExpressionInOCL" body="&#xA;&#x9;oclContainer().oclIsKindOf(Transformation) and typedModel &lt;> null implies&#xA;&#x9;oclContainer().oclAsType(Transformation).modelParameter->includes(typedModel)&#xA;&#xA;"/>
</ownedInvariants>
<ownedProperties xmi:id=",1+xi" isUnsettable="true" name="isCheckable" type="pivot:PrimitiveType &_1;#XEMMs">
<ownedComments body="A checkable domain may be selected as the target of a transformation in check mode. An enforceable domain is always checkable. A not-checkable domain cannot be selected as the target of a transformation. See Bug 549776.See Bug 549776."/>
</ownedProperties>
<ownedProperties xmi:id="ZXmmB" isUnsettable="true" name="isEnforceable" type="pivot:PrimitiveType &_1;#XEMMs">
<ownedComments body="An enforceable domain may be selected as the target of a transformation in check or enforce mode. An enforceable domain is always checkable. A not-checkable domain cannot be selected as the target of a transformation. See Bug 549776."/>
</ownedProperties>
<ownedProperties xmi:id="jwI+E" isTransient="true" name="rule" opposite="#DtMdd" type="#zS2p0"/>
<ownedProperties xmi:id="GoV0K" isRequired="false" name="typedModel" type="#WqJYx"/>
</ownedClasses>
<ownedClasses xmi:id="PGjqK" name="Function" superClasses="&_0;#Yz,F1">
<ownedInvariants xmi:id="S1Iog" isCallable="true" name="ParametersAreFunctionParameter">
<ownedSpecification xsi:type="pivot:ExpressionInOCL" body="&#xA;&#x9;ownedParameters->forAll(oclIsKindOf(FunctionParameter))&#xA;&#xA;"/>
</ownedInvariants>
<ownedInvariants xmi:id="5hGIF" isCallable="true" name="ReturnTypeIsQueryType">
<ownedSpecification xsi:type="pivot:ExpressionInOCL" body="&#xA;&#x9;queryExpression &lt;> null implies queryExpression.type?.conformsTo(type)&#xA;&#xA;"/>
</ownedInvariants>
<ownedProperties xmi:id="r1ilM" isDerived="true" isRequired="false" isResolveProxies="false" isTransient="true" isVolatile="true"
name="queryExpression" type="pivot:Class &_0;#BFtK4"/>
</ownedClasses>
<ownedClasses xmi:id="RNSrx" name="FunctionBody" superClasses="&_0;#sFfJa">
<ownedComments body="FunctionBody refines ExpressionInOCL to avoid the inconvenience of a timely setType() by deriving the type from the bodyExpression. See Bug 481664."/>
</ownedClasses>
<ownedClasses xmi:id="owsj9" name="FunctionParameter" superClasses="&_0;#as9eG"/>
<ownedClasses xmi:id="H0dko" name="Pattern" superClasses="&_0;#t5rpa">
<ownedProperties xmi:id="056L0" name="bindsTo" type="#+iD8q"/>
<ownedProperties xmi:id="6cYSq" isComposite="true" name="predicate" opposite="#eKpfP" type="#XYdvW"/>
</ownedClasses>
<ownedClasses xmi:id="uMSmb" name="Predicate" superClasses="&_0;#t5rpa">
<ownedInvariants xmi:id="xFRwU" isCallable="true" name="ConditionIsBoolean">
<ownedSpecification xsi:type="pivot:ExpressionInOCL" body="&#xA;conditionExpression.type = Boolean&#xA;&#xA;"/>
</ownedInvariants>
<ownedProperties xmi:id="h0xFs" isComposite="true" name="conditionExpression" type="pivot:Class &_0;#BFtK4"/>
<ownedProperties xmi:id="eKpfP" isTransient="true" name="pattern" opposite="#6cYSq" type="#H0dko"/>
</ownedClasses>
<ownedClasses xmi:id="zS2p0" isAbstract="true" name="Rule" superClasses="&_0;#0kVqz">
<ownedInvariants xmi:id="JBzn4" isCallable="true" name="DomainNameIsUnique">
<ownedSpecification xsi:type="pivot:ExpressionInOCL" body="&#xA;&#x9;domain->isUnique(name)&#xA;&#x9;&#xA;"/>
</ownedInvariants>
<ownedInvariants xmi:id="Uq5Kh" isCallable="true" name="AtLeastOneDomainIsCheckableOrEnforceable">
<ownedSpecification xsi:type="pivot:ExpressionInOCL" body="&#xA;&#x9;domain->notEmpty() implies domain->exists(isCheckable or isEnforceable)&#xA;&#xA;"/>
</ownedInvariants>
<ownedInvariants xmi:id=",MTyQ" isCallable="true" name="NoOverridesCycle">
<ownedSpecification xsi:type="pivot:ExpressionInOCL" body="&#xA;&#x9;overridden->closure(overridden)->excludes(self)&#xA;&#xA;"/>
</ownedInvariants>
<ownedInvariants xmi:id="7PjOU" isCallable="true" name="AbstractRuleIsOverridden">
<ownedSpecification xsi:type="pivot:ExpressionInOCL" body="&#xA;&#x9;isAbstract implies overrides->notEmpty()&#xA;&#xA;"/>
</ownedInvariants>
<ownedInvariants xmi:id="PB949" isCallable="true" name="OverridingRuleOverridesAllDomains">
<ownedSpecification xsi:type="pivot:ExpressionInOCL" body="&#xA;&#x9;overridden &lt;> null implies&#xA;&#x9;overridden.domain->forAll(od | self.domain.name->includes(od.name))&#xA;&#xA;"/>
</ownedInvariants>
<ownedProperties xmi:id="DtMdd" isComposite="true" name="domain" opposite="#jwI+E" type="#vBkLs"/>
<ownedProperties xmi:id="r3ogk" defaultValueString="false" name="isAbstract" type="pivot:PrimitiveType &_1;#XEMMs"/>
<ownedProperties xmi:id="zgFwC" isRequired="false" name="overridden" opposite="#mSVz," type="#zS2p0"/>
<ownedProperties xmi:id="mSVz," name="overrides" opposite="#zgFwC" type="#n3g5w"/>
<ownedProperties xmi:id="Img5I" isRequired="false" isResolveProxies="false" isTransient="true" name="transformation" opposite="#UVEee"
type="#AjDLV"/>
</ownedClasses>
<ownedClasses xmi:id="QE4nl" name="SimpleTargetElement" superClasses="#imhVK">
<ownedProperties xmi:id="hyhhA" name="iterates" type="#,klFp">
<ownedComments body="The set of typed models whose elements are also part of this TypedModel. An input TypedModel that iterates an output TypedModel specfies a fixed point iteration."/>
</ownedProperties>
<ownedProperties xmi:id="8DFP6" name="kind" type="#WvMNq"/>
<ownedProperties xmi:id="HpHGA" name="typedModel" type="#WqJYx"/>
<ownedProperties xmi:id="Ddfbo" isImplicit="true" isRequired="false" name="CompoundTargetElement" opposite="#gsp,1" type="#32OJ,"/>
</ownedClasses>
<ownedClasses xmi:id="Id7YJ" name="Target" superClasses="&_0;#0kVqz">
<ownedProperties xmi:id="tJIaS" isComposite="true" name="ownedTargetElements" type="#lT4bW"/>
<ownedProperties xmi:id="FOe8p" isTransient="true" name="owningTransformation" opposite="#1DMp8" type="#AjDLV"/>
</ownedClasses>
<ownedClasses xmi:id="imhVK" isAbstract="true" name="TargetElement" superClasses="&_0;#t5rpa">
<ownedProperties xmi:id="e8z6e" isImplicit="true" isRequired="false" name="Target" opposite="#tJIaS" type="#Id7YJ"/>
</ownedClasses>
<ownedClasses xsi:type="pivot:Enumeration" xmi:id="WvMNq" name="TargetElementKind" superClasses="&_1;#+8+by">
<ownedLiterals xmi:id="1kYhX" name="INPUT"/>
<ownedLiterals xmi:id="5VXXT" name="VIA"/>
<ownedLiterals xmi:id="MaDAf" name="OUTPUT"/>
</ownedClasses>
<ownedClasses xmi:id="AjDLV" name="Transformation" superClasses="&_0;#pDcbe">
<ownedInvariants xmi:id="0YsQy" isCallable="true" name="ContextTypeIsTransformation">
<ownedSpecification xsi:type="pivot:ExpressionInOCL" body="&#xA;&#x9;ownedContext &lt;> null implies ownedContext.type.oclIsKindOf(Transformation)&#xA;&#xA;"/>
</ownedInvariants>
<ownedInvariants xmi:id="TG1RG" isCallable="true" name="ExtendedTypedModelIsExtended">
<ownedSpecification xsi:type="pivot:ExpressionInOCL" body="&#xA;&#x9;_extends &lt;> null implies&#xA;&#x9;_extends.modelParameter->forAll(etm |&#xA;&#x9;&#x9;self.modelParameter->select(name = etm.name).usedPackage->includesAll(etm.usedPackage)&#xA;&#x9;)&#xA;&#x9;&#xA;"/>
</ownedInvariants>
<ownedInvariants xmi:id="zwc,y" isCallable="true" name="ModelParameterIsUnique">
<ownedSpecification xsi:type="pivot:ExpressionInOCL" body="&#xA;&#x9;modelParameter->isUnique(name)&#xA;&#xA;"/>
</ownedInvariants>
<ownedInvariants xmi:id="mgXEj" isCallable="true" name="NoExtendsCycle">
<ownedSpecification xsi:type="pivot:ExpressionInOCL" body="&#xA;&#x9;_extends->closure(_extends)->excludes(self)&#xA;&#xA;"/>
</ownedInvariants>
<ownedOperations xmi:id="DU934" name="getFunction" type="#PGjqK">
<ownedParameters name="name" type="pivot:PrimitiveType &_1;#AlwVZ"/>
</ownedOperations>
<ownedOperations xmi:id="rcEGq" name="getModelParameter" type="#WqJYx">
<ownedParameters name="name" type="pivot:PrimitiveType &_1;#AlwVZ"/>
</ownedOperations>
<ownedProperties xmi:id="xL9bQ" isRequired="false" name="extends" type="#AjDLV"/>
<ownedProperties xmi:id="YTQDv" isComposite="true" name="modelParameter" opposite="#fPfk3" type="#SncSN"/>
<ownedProperties xmi:id="iWDDR" isComposite="true" isRequired="false" name="ownedContext" type="pivot:Class &_0;#as9eG"/>
<ownedProperties xmi:id="NUcXB" isComposite="true" name="ownedTag" type="#5bIlO"/>
<ownedProperties xmi:id="1DMp8" isComposite="true" name="ownedTargets" opposite="#FOe8p" type="#hM1KC">
<ownedComments body="The set of typed models that need to be checked/enforced before this TypedModel can be checked/enforced."/>
</ownedProperties>
<ownedProperties xmi:id="UVEee" isComposite="true" name="rule" opposite="#Img5I" type="#U1psM"/>
<ownedProperties xmi:id="3n7zQ" isImplicit="true" isRequired="false" name="extendedBy" opposite="#xL9bQ" type="#AjDLV"/>
</ownedClasses>
<ownedClasses xmi:id="WqJYx" name="TypedModel" superClasses="&_0;#0kVqz">
<ownedInvariants xmi:id="U2pQC" isCallable="true" name="ExclusivePrimitiveThisTrace">
<ownedSpecification xsi:type="pivot:ExpressionInOCL" body="&#xA;&#x9;if isPrimitive then 1 else 0 endif + if isThis then 1 else 0 endif + if isTrace then 1 else 0 endif &lt;= 1 &#xA;&#xA;"/>
</ownedInvariants>
<ownedProperties xmi:id="cy5DZ" name="dependsOn" type="#,klFp">
<ownedComments body="The set of typed models that need to be checked/enforced before this TypedModel can be checked/enforced."/>
</ownedProperties>
<ownedProperties xmi:id="z+SD0" defaultValueString="false" name="isPrimitive" type="pivot:PrimitiveType &_1;#XEMMs">
<ownedComments body="The TypedModel is for a primitive domain. It may be added automatically."/>
</ownedProperties>
<ownedProperties xmi:id="+ug1U" defaultValueString="false" name="isThis" type="pivot:PrimitiveType &_1;#XEMMs">
<ownedComments body="The TypedModel is for the transformation instance trace. It may be added automatically."/>
</ownedProperties>
<ownedProperties xmi:id="R8XrW" defaultValueString="false" name="isTrace" type="pivot:PrimitiveType &_1;#XEMMs">
<ownedComments body="The TypedModel is for the execution trace. It may be added automatically."/>
</ownedProperties>
<ownedProperties xmi:id="PgOqh" name="iterates" type="#,klFp">
<ownedComments body="The set of typed models whose elements are also part of this TypedModel. An input TypedModel that iterates an output TypedModel specfies a fixed point iteration."/>
</ownedProperties>
<ownedProperties xmi:id="ggm9N" isComposite="true" isRequired="false" name="ownedContext" type="pivot:Class &_0;#as9eG"/>
<ownedProperties xmi:id="fPfk3" isTransient="true" name="transformation" opposite="#YTQDv" type="#AjDLV"/>
<ownedProperties xmi:id="fK4wq" name="usedPackage" type="#4WjM+"/>
<ownedProperties xmi:id="TPm6," isImplicit="true" name="Domain" opposite="#GoV0K" type="#9+o+H"/>
<ownedProperties xmi:id="erDs5" isImplicit="true" name="SimpleTargetElement" opposite="#hyhhA" type="#KmD9S"/>
<ownedProperties xmi:id="opMs2" isImplicit="true" name="SimpleTargetElement" opposite="#HpHGA" type="#KmD9S"/>
<ownedProperties xmi:id="kRVcF" isImplicit="true" name="TypedModel" opposite="#PgOqh" type="#gkhFp"/>
<ownedProperties xmi:id=",4oQK" isImplicit="true" isRequired="false" name="dependent" opposite="#cy5DZ" type="#WqJYx"/>
</ownedClasses>
</ownedPackages>
<ownedPackages xmi:id="82dOP" URI="http://www.eclipse.org/ocl/2015/Pivot" name="pivot" nsPrefix="pivot">
<ownedClasses xmi:id="g7Mr0" name="Annotation">
<ownedProperties xmi:id="UougY" isImplicit="true" isRequired="false" name="Transformation" opposite="#NUcXB" type="#AjDLV"/>
</ownedClasses>
<ownedClasses xmi:id="BFtK4" name="OCLExpression">
<ownedProperties xmi:id="N9fOm" isImplicit="true" name="Function" opposite="#r1ilM" type="#xW5qz"/>
<ownedProperties xmi:id="R0cad" isImplicit="true" isRequired="false" name="predicate" opposite="#h0xFs" type="#uMSmb"/>
</ownedClasses>
<ownedClasses xmi:id="3ONqN" name="Package">
<ownedProperties xmi:id="xb2NR" isImplicit="true" name="TypedModel" opposite="#fK4wq" type="#gkhFp"/>
</ownedClasses>
<ownedClasses xmi:id="as9eG" name="Parameter">
<ownedProperties xmi:id="5F8CN" isImplicit="true" isRequired="false" name="Transformation" opposite="#iWDDR" type="#AjDLV"/>
<ownedProperties xmi:id="PNCQp" isImplicit="true" isRequired="false" name="TypedModel" opposite="#ggm9N" type="#WqJYx"/>
</ownedClasses>
<ownedClasses xmi:id="t4j6T" name="Variable">
<ownedProperties xmi:id="YwYCh" isImplicit="true" name="Pattern" opposite="#056L0" type="#pJjNZ"/>
</ownedClasses>
</ownedPackages>
<ownedPackages URI="http://www.eclipse.org/ocl/2015/Orphanage" name="$$" nsPrefix="orphanage">
<ownedClasses xsi:type="pivot:BagType" xmi:id="9+o+H" name="Bag" superClasses="#TaRAX">
<ownedBindings>
<ownedSubstitutions actual="#7pR2u" formal="&_1;#k2OA6"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:BagType" xmi:id="xW5qz" name="Bag" superClasses="#HyhsC">
<ownedBindings>
<ownedSubstitutions actual="#PGjqK" formal="&_1;#k2OA6"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:BagType" xmi:id="pJjNZ" name="Bag" superClasses="#,kLPo">
<ownedBindings>
<ownedSubstitutions actual="#H0dko" formal="&_1;#k2OA6"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:BagType" xmi:id="KmD9S" name="Bag" superClasses="#gBs+h">
<ownedBindings>
<ownedSubstitutions actual="#QE4nl" formal="&_1;#k2OA6"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:BagType" xmi:id="gkhFp" name="Bag" superClasses="#2,JH4">
<ownedBindings>
<ownedSubstitutions actual="#WqJYx" formal="&_1;#k2OA6"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:CollectionType" xmi:id="w2smd" name="Collection" superClasses="&_1;#jbMkR">
<ownedBindings>
<ownedSubstitutions actual="pivot:Class &_0;#g7Mr0" formal="&_1;#qs59R"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:CollectionType" xmi:id="vxHON" name="Collection" superClasses="&_1;#jbMkR">
<ownedBindings>
<ownedSubstitutions actual="pivot:Class &_0;#3ONqN" formal="&_1;#qs59R"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:CollectionType" xmi:id="19n95" name="Collection" superClasses="&_1;#jbMkR">
<ownedBindings>
<ownedSubstitutions actual="pivot:Class &_0;#t4j6T" formal="&_1;#qs59R"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:CollectionType" xmi:id="TaRAX" name="Collection" superClasses="&_1;#jbMkR">
<ownedBindings>
<ownedSubstitutions actual="#7pR2u" formal="&_1;#qs59R"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:CollectionType" xmi:id="HyhsC" name="Collection" superClasses="&_1;#jbMkR">
<ownedBindings>
<ownedSubstitutions actual="#PGjqK" formal="&_1;#qs59R"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:CollectionType" xmi:id=",kLPo" name="Collection" superClasses="&_1;#jbMkR">
<ownedBindings>
<ownedSubstitutions actual="#H0dko" formal="&_1;#qs59R"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:CollectionType" xmi:id="OzBxl" name="Collection" superClasses="&_1;#jbMkR">
<ownedBindings>
<ownedSubstitutions actual="#uMSmb" formal="&_1;#qs59R"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:CollectionType" xmi:id="LQOub" name="Collection" superClasses="&_1;#jbMkR">
<ownedBindings>
<ownedSubstitutions actual="#zS2p0" formal="&_1;#qs59R"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:CollectionType" xmi:id="gBs+h" name="Collection" superClasses="&_1;#jbMkR">
<ownedBindings>
<ownedSubstitutions actual="#QE4nl" formal="&_1;#qs59R"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:CollectionType" xmi:id="iscdl" name="Collection" superClasses="&_1;#jbMkR">
<ownedBindings>
<ownedSubstitutions actual="#imhVK" formal="&_1;#qs59R"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:CollectionType" xmi:id="YnZMR" name="Collection" superClasses="&_1;#jbMkR">
<ownedBindings>
<ownedSubstitutions actual="#Id7YJ" formal="&_1;#qs59R"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:CollectionType" xmi:id="2,JH4" name="Collection" superClasses="&_1;#jbMkR">
<ownedBindings>
<ownedSubstitutions actual="#WqJYx" formal="&_1;#qs59R"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:CollectionType" xmi:id="gqGXN" name="OrderedCollection" superClasses="#TaRAX">
<ownedBindings>
<ownedSubstitutions actual="#7pR2u" formal="&_1;#feFHs"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:CollectionType" xmi:id="YgDFS" name="OrderedCollection" superClasses="#LQOub">
<ownedBindings>
<ownedSubstitutions actual="#zS2p0" formal="&_1;#feFHs"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:CollectionType" xmi:id="tRhVY" name="OrderedCollection" superClasses="#gBs+h">
<ownedBindings>
<ownedSubstitutions actual="#QE4nl" formal="&_1;#feFHs"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:CollectionType" xmi:id="DQ,du" name="OrderedCollection" superClasses="#2,JH4">
<ownedBindings>
<ownedSubstitutions actual="#WqJYx" formal="&_1;#feFHs"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:OrderedSetType" xmi:id="vBkLs" isNullFree="true" name="OrderedSet" superClasses="#gqGXN #EVB8G">
<ownedBindings>
<ownedSubstitutions actual="#7pR2u" formal="&_1;#53+C2"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:OrderedSetType" xmi:id="n3g5w" isNullFree="true" name="OrderedSet" superClasses="#YgDFS #8K+pL">
<ownedBindings>
<ownedSubstitutions actual="#zS2p0" formal="&_1;#53+C2"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:OrderedSetType" xmi:id="2q+J3" isNullFree="true" lower="2" name="OrderedSet" superClasses="#tRhVY #R8b6R">
<ownedBindings>
<ownedSubstitutions actual="#QE4nl" formal="&_1;#53+C2"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:OrderedSetType" xmi:id="SncSN" isNullFree="true" name="OrderedSet" superClasses="#DQ,du #n65Co">
<ownedBindings>
<ownedSubstitutions actual="#WqJYx" formal="&_1;#53+C2"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:SetType" xmi:id="5bIlO" isNullFree="true" name="Set" superClasses="#hxciN">
<ownedBindings>
<ownedSubstitutions actual="pivot:Class &_0;#g7Mr0" formal="&_1;#ODsm5"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:SetType" xmi:id="4WjM+" isNullFree="true" name="Set" superClasses="#gs3J9">
<ownedBindings>
<ownedSubstitutions actual="pivot:Class &_0;#3ONqN" formal="&_1;#ODsm5"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:SetType" xmi:id="+iD8q" isNullFree="true" name="Set" superClasses="#m4X5p">
<ownedBindings>
<ownedSubstitutions actual="pivot:Class &_0;#t4j6T" formal="&_1;#ODsm5"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:SetType" xmi:id="XYdvW" isNullFree="true" name="Set" superClasses="#,txsV">
<ownedBindings>
<ownedSubstitutions actual="#uMSmb" formal="&_1;#ODsm5"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:SetType" xmi:id="U1psM" isNullFree="true" name="Set" superClasses="#8K+pL">
<ownedBindings>
<ownedSubstitutions actual="#zS2p0" formal="&_1;#ODsm5"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:SetType" xmi:id="hM1KC" isNullFree="true" name="Set" superClasses="#JiJIB">
<ownedBindings>
<ownedSubstitutions actual="#Id7YJ" formal="&_1;#ODsm5"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:SetType" xmi:id="lT4bW" isNullFree="true" lower="2" name="Set" superClasses="#TnMZV">
<ownedBindings>
<ownedSubstitutions actual="#imhVK" formal="&_1;#ODsm5"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:SetType" xmi:id=",klFp" isNullFree="true" name="Set" superClasses="#n65Co">
<ownedBindings>
<ownedSubstitutions actual="#WqJYx" formal="&_1;#ODsm5"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:CollectionType" xmi:id="hxciN" name="UniqueCollection" superClasses="#w2smd">
<ownedBindings>
<ownedSubstitutions actual="pivot:Class &_0;#g7Mr0" formal="&_1;#jdfjE"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:CollectionType" xmi:id="gs3J9" name="UniqueCollection" superClasses="#vxHON">
<ownedBindings>
<ownedSubstitutions actual="pivot:Class &_0;#3ONqN" formal="&_1;#jdfjE"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:CollectionType" xmi:id="m4X5p" name="UniqueCollection" superClasses="#19n95">
<ownedBindings>
<ownedSubstitutions actual="pivot:Class &_0;#t4j6T" formal="&_1;#jdfjE"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:CollectionType" xmi:id="EVB8G" name="UniqueCollection" superClasses="#TaRAX">
<ownedBindings>
<ownedSubstitutions actual="#7pR2u" formal="&_1;#jdfjE"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:CollectionType" xmi:id=",txsV" name="UniqueCollection" superClasses="#OzBxl">
<ownedBindings>
<ownedSubstitutions actual="#uMSmb" formal="&_1;#jdfjE"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:CollectionType" xmi:id="8K+pL" name="UniqueCollection" superClasses="#LQOub">
<ownedBindings>
<ownedSubstitutions actual="#zS2p0" formal="&_1;#jdfjE"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:CollectionType" xmi:id="R8b6R" name="UniqueCollection" superClasses="#gBs+h">
<ownedBindings>
<ownedSubstitutions actual="#QE4nl" formal="&_1;#jdfjE"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:CollectionType" xmi:id="TnMZV" name="UniqueCollection" superClasses="#iscdl">
<ownedBindings>
<ownedSubstitutions actual="#imhVK" formal="&_1;#jdfjE"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:CollectionType" xmi:id="JiJIB" name="UniqueCollection" superClasses="#YnZMR">
<ownedBindings>
<ownedSubstitutions actual="#Id7YJ" formal="&_1;#jdfjE"/>
</ownedBindings>
</ownedClasses>
<ownedClasses xsi:type="pivot:CollectionType" xmi:id="n65Co" name="UniqueCollection" superClasses="#2,JH4">
<ownedBindings>
<ownedSubstitutions actual="#WqJYx" formal="&_1;#jdfjE"/>
</ownedBindings>
</ownedClasses>
</ownedPackages>
</pivot:Model>