blob: 33409d36afd48b09a8248c403f0dcaeb5ec0d0cb [file] [log] [blame]
<?xml version="1.0" encoding="UTF-8"?>
<uml:Model xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xmi:id="QVTCore" name="QVTCore" URI="http://schema.omg.org/spec/QVT/20140401/QVTCore">
<packagedElement xmi:type="uml:Enumeration" xmi:id="EnforcementMode" name="EnforcementMode">
<ownedLiteral xmi:id="Creation" name="Creation"/>
<ownedLiteral xmi:id="Deletion" name="Deletion"/>
</packagedElement>
<packagedElement xmi:type="uml:Class" xmi:id="Area" name="Area" isAbstract="true">
<ownedAttribute xmi:id="Area.bottomPattern" name="bottomPattern" type="BottomPattern" aggregation="composite" association="A_Area.bottomPattern_BottomPattern.area"/>
<ownedAttribute xmi:id="Area.guardPattern" name="guardPattern" type="GuardPattern" aggregation="composite" association="A_Area.guardPattern_GuardPattern.area"/>
</packagedElement>
<packagedElement xmi:type="uml:Class" xmi:id="Assignment" name="Assignment" isAbstract="true">
<generalization xmi:id="G_Assignment_Element">
<general xmi:type="uml:Class" href="EMOF.uml#Element"/>
</generalization>
<ownedAttribute xmi:id="Assignment.bottomPattern" name="bottomPattern" type="BottomPattern" association="A_Assignment.bottomPattern_BottomPattern.assignment"/>
<ownedAttribute xmi:id="Assignment.isDefault" name="isDefault" visibility="public">
<type xmi:type="uml:PrimitiveType" href="PrimitiveTypes.uml#Boolean"/>
<lowerValue xmi:type="uml:LiteralInteger"/>
</ownedAttribute>
<ownedAttribute xmi:id="Assignment.value" name="value" aggregation="composite" association="A_Assignment.value_valueAssignment">
<type xmi:type="uml:Class" href="EssentialOCL.uml#OclExpression"/>
</ownedAttribute>
</packagedElement>
<packagedElement xmi:type="uml:Class" xmi:id="BottomPattern" name="BottomPattern">
<generalization xmi:id="G_BottomPattern_CorePattern" general="CorePattern"/>
<ownedAttribute xmi:id="BottomPattern.area" name="area" type="Area" association="A_Area.bottomPattern_BottomPattern.area"/>
<ownedAttribute xmi:id="BottomPattern.assignment" name="assignment" type="Assignment" aggregation="composite" association="A_Assignment.bottomPattern_BottomPattern.assignment">
<lowerValue xmi:type="uml:LiteralInteger"/>
<upperValue xmi:type="uml:LiteralUnlimitedNatural" value="*"/>
</ownedAttribute>
<ownedAttribute xmi:id="BottomPattern.enforcementOperation" name="enforcementOperation" type="EnforcementOperation" aggregation="composite"
association="A_BottomPattern.enforcementOperation_EnforcementOperation.bottomPattern">
<lowerValue xmi:type="uml:LiteralInteger"/>
<upperValue xmi:type="uml:LiteralUnlimitedNatural" value="*"/>
</ownedAttribute>
<ownedAttribute xmi:id="BottomPattern.realizedVariable" name="realizedVariable" type="RealizedVariable" aggregation="composite" association="A_BottomPattern.realizedVariable_RealizedVariable.bottomPattern">
<lowerValue xmi:type="uml:LiteralInteger"/>
<upperValue xmi:type="uml:LiteralUnlimitedNatural" value="*"/>
</ownedAttribute>
</packagedElement>
<packagedElement xmi:type="uml:Class" xmi:id="CoreDomain" name="CoreDomain">
<generalization xmi:id="G_CoreDomain_Area" general="Area"/>
<generalization xmi:id="G_CoreDomain_Domain">
<general xmi:type="uml:Class" href="QVTBase.uml#Domain"/>
</generalization>
</packagedElement>
<packagedElement xmi:type="uml:Class" xmi:id="CorePattern" name="CorePattern">
<generalization xmi:id="G_CorePattern_Pattern">
<general xmi:type="uml:Class" href="QVTBase.uml#Pattern"/>
</generalization>
<ownedAttribute xmi:id="CorePattern.variable" name="variable" aggregation="composite" association="A_CorePattern.variable_corePattern">
<type xmi:type="uml:Class" href="EssentialOCL.uml#Variable"/>
<lowerValue xmi:type="uml:LiteralInteger"/>
<upperValue xmi:type="uml:LiteralUnlimitedNatural" value="*"/>
</ownedAttribute>
</packagedElement>
<packagedElement xmi:type="uml:Class" xmi:id="EnforcementOperation" name="EnforcementOperation">
<generalization xmi:id="G_EnforcementOperation_Element">
<general xmi:type="uml:Class" href="EMOF.uml#Element"/>
</generalization>
<ownedAttribute xmi:id="EnforcementOperation.bottomPattern" name="bottomPattern" type="BottomPattern" association="A_BottomPattern.enforcementOperation_EnforcementOperation.bottomPattern"/>
<ownedAttribute xmi:id="EnforcementOperation.enforcementMode" name="enforcementMode" visibility="public" type="EnforcementMode">
<lowerValue xmi:type="uml:LiteralInteger"/>
</ownedAttribute>
<ownedAttribute xmi:id="EnforcementOperation.operationCallExp" name="operationCallExp" aggregation="composite" association="A_EnforcementOperation.operationCallExp_enforcementOperation">
<type xmi:type="uml:Class" href="EssentialOCL.uml#OperationCallExp"/>
</ownedAttribute>
</packagedElement>
<packagedElement xmi:type="uml:Class" xmi:id="GuardPattern" name="GuardPattern">
<generalization xmi:id="G_GuardPattern_CorePattern" general="CorePattern"/>
<ownedAttribute xmi:id="GuardPattern.area" name="area" type="Area" association="A_Area.guardPattern_GuardPattern.area"/>
</packagedElement>
<packagedElement xmi:type="uml:Class" xmi:id="Mapping" name="Mapping">
<generalization xmi:id="G_Mapping_Area" general="Area"/>
<generalization xmi:id="G_Mapping_Rule">
<general xmi:type="uml:Class" href="QVTBase.uml#Rule"/>
</generalization>
<ownedAttribute xmi:id="Mapping.context" name="context" type="Mapping" association="A_Mapping.context_Mapping.local">
<lowerValue xmi:type="uml:LiteralInteger"/>
</ownedAttribute>
<ownedAttribute xmi:id="Mapping.local" name="local" type="Mapping" aggregation="composite" association="A_Mapping.context_Mapping.local">
<lowerValue xmi:type="uml:LiteralInteger"/>
<upperValue xmi:type="uml:LiteralUnlimitedNatural" value="*"/>
</ownedAttribute>
<ownedAttribute xmi:id="Mapping.refinement" name="refinement" type="Mapping" association="A_Mapping.refinement_Mapping.specification">
<lowerValue xmi:type="uml:LiteralInteger"/>
<upperValue xmi:type="uml:LiteralUnlimitedNatural" value="*"/>
</ownedAttribute>
<ownedAttribute xmi:id="Mapping.specification" name="specification" type="Mapping" association="A_Mapping.refinement_Mapping.specification">
<lowerValue xmi:type="uml:LiteralInteger"/>
<upperValue xmi:type="uml:LiteralUnlimitedNatural" value="*"/>
</ownedAttribute>
</packagedElement>
<packagedElement xmi:type="uml:Class" xmi:id="PropertyAssignment" name="PropertyAssignment">
<generalization xmi:id="G_PropertyAssignment_Assignment" general="Assignment"/>
<ownedAttribute xmi:id="PropertyAssignment.slotExpression" name="slotExpression" aggregation="composite" association="A_PropertyAssignment.slotExpression_slotAssignment">
<type xmi:type="uml:Class" href="EssentialOCL.uml#OclExpression"/>
</ownedAttribute>
<ownedAttribute xmi:id="PropertyAssignment.targetProperty" name="targetProperty" association="A_PropertyAssignment.targetProperty_assignment">
<type xmi:type="uml:Class" href="EMOF.uml#Property"/>
</ownedAttribute>
</packagedElement>
<packagedElement xmi:type="uml:Class" xmi:id="RealizedVariable" name="RealizedVariable">
<generalization xmi:id="G_RealizedVariable_Variable">
<general xmi:type="uml:Class" href="EssentialOCL.uml#Variable"/>
</generalization>
<ownedAttribute xmi:id="RealizedVariable.bottomPattern" name="bottomPattern" type="BottomPattern" association="A_BottomPattern.realizedVariable_RealizedVariable.bottomPattern"/>
</packagedElement>
<packagedElement xmi:type="uml:Class" xmi:id="VariableAssignment" name="VariableAssignment">
<generalization xmi:id="G_VariableAssignment_Assignment" general="Assignment"/>
<ownedAttribute xmi:id="VariableAssignment.targetVariable" name="targetVariable" association="A_VariableAssignment.targetVariable_assignment">
<type xmi:type="uml:Class" href="EssentialOCL.uml#Variable"/>
</ownedAttribute>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="A_Area.bottomPattern_BottomPattern.area" name="A_Area.bottomPattern_BottomPattern.area"
memberEnd="Area.bottomPattern BottomPattern.area"/>
<packagedElement xmi:type="uml:Association" xmi:id="A_Area.guardPattern_GuardPattern.area" name="A_Area.guardPattern_GuardPattern.area"
memberEnd="Area.guardPattern GuardPattern.area"/>
<packagedElement xmi:type="uml:Association" xmi:id="A_Assignment.bottomPattern_BottomPattern.assignment" name="A_Assignment.bottomPattern_BottomPattern.assignment"
memberEnd="BottomPattern.assignment Assignment.bottomPattern"/>
<packagedElement xmi:type="uml:Association" xmi:id="A_Assignment.value_valueAssignment" name="A_Assignment.value_valueAssignment" memberEnd="Assignment.value A_Assignment.value_valueAssignment.valueAssignment">
<ownedEnd xmi:id="A_Assignment.value_valueAssignment.valueAssignment" name="valueAssignment" type="Assignment" association="A_Assignment.value_valueAssignment">
<lowerValue xmi:type="uml:LiteralInteger"/>
</ownedEnd>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="A_BottomPattern.enforcementOperation_EnforcementOperation.bottomPattern" name="A_BottomPattern.enforcementOperation_EnforcementOperation.bottomPattern"
memberEnd="BottomPattern.enforcementOperation EnforcementOperation.bottomPattern"/>
<packagedElement xmi:type="uml:Association" xmi:id="A_BottomPattern.realizedVariable_RealizedVariable.bottomPattern" name="A_BottomPattern.realizedVariable_RealizedVariable.bottomPattern"
memberEnd="BottomPattern.realizedVariable RealizedVariable.bottomPattern"/>
<packagedElement xmi:type="uml:Association" xmi:id="A_CorePattern.variable_corePattern" name="A_CorePattern.variable_corePattern" memberEnd="CorePattern.variable A_CorePattern.variable_corePattern.corePattern">
<ownedEnd xmi:id="A_CorePattern.variable_corePattern.corePattern" name="corePattern" type="CorePattern" association="A_CorePattern.variable_corePattern">
<lowerValue xmi:type="uml:LiteralInteger"/>
</ownedEnd>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="A_EnforcementOperation.operationCallExp_enforcementOperation" name="A_EnforcementOperation.operationCallExp_enforcementOperation"
memberEnd="EnforcementOperation.operationCallExp A_EnforcementOperation.operationCallExp_enforcementOperation.enforcementOperation">
<ownedEnd xmi:id="A_EnforcementOperation.operationCallExp_enforcementOperation.enforcementOperation" name="enforcementOperation" type="EnforcementOperation"
association="A_EnforcementOperation.operationCallExp_enforcementOperation">
<lowerValue xmi:type="uml:LiteralInteger"/>
</ownedEnd>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="A_Mapping.context_Mapping.local" name="A_Mapping.context_Mapping.local" memberEnd="Mapping.local Mapping.context"/>
<packagedElement xmi:type="uml:Association" xmi:id="A_Mapping.refinement_Mapping.specification" name="A_Mapping.refinement_Mapping.specification"
memberEnd="Mapping.specification Mapping.refinement"/>
<packagedElement xmi:type="uml:Association" xmi:id="A_PropertyAssignment.slotExpression_slotAssignment" name="A_PropertyAssignment.slotExpression_slotAssignment"
memberEnd="PropertyAssignment.slotExpression A_PropertyAssignment.slotExpression_slotAssignment.slotAssignment">
<ownedEnd xmi:id="A_PropertyAssignment.slotExpression_slotAssignment.slotAssignment" name="slotAssignment" type="PropertyAssignment"
association="A_PropertyAssignment.slotExpression_slotAssignment">
<lowerValue xmi:type="uml:LiteralInteger"/>
</ownedEnd>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="A_PropertyAssignment.targetProperty_assignment" name="A_PropertyAssignment.targetProperty_assignment"
memberEnd="PropertyAssignment.targetProperty A_PropertyAssignment.targetProperty_assignment.assignment">
<ownedEnd xmi:id="A_PropertyAssignment.targetProperty_assignment.assignment" name="assignment" type="PropertyAssignment" association="A_PropertyAssignment.targetProperty_assignment">
<lowerValue xmi:type="uml:LiteralInteger"/>
<upperValue xmi:type="uml:LiteralUnlimitedNatural" value="*"/>
</ownedEnd>
</packagedElement>
<packagedElement xmi:type="uml:Association" xmi:id="A_VariableAssignment.targetVariable_assignment" name="A_VariableAssignment.targetVariable_assignment"
memberEnd="VariableAssignment.targetVariable A_VariableAssignment.targetVariable_assignment.assignment">
<ownedEnd xmi:id="A_VariableAssignment.targetVariable_assignment.assignment" name="assignment" type="VariableAssignment" association="A_VariableAssignment.targetVariable_assignment">
<lowerValue xmi:type="uml:LiteralInteger"/>
<upperValue xmi:type="uml:LiteralUnlimitedNatural" value="*"/>
</ownedEnd>
</packagedElement>
</uml:Model>