| <?xml version="1.0" encoding="UTF-8"?> |
| <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="QVTBase" name="QVTBase" URI="http://schema.omg.org/spec/QVT/120120401/QVTBase"> |
| <packagedElement xmi:type="uml:Class" xmi:id="Domain" name="Domain" isAbstract="true"> |
| <generalization xmi:id="G_Domain_NamedElement"> |
| <general xmi:type="uml:Class" href="EMOF.uml#NamedElement"/> |
| </generalization> |
| <ownedAttribute xmi:id="Domain.isCheckable" name="isCheckable" visibility="public"> |
| <type xmi:type="uml:PrimitiveType" href="PrimitiveTypes.uml#Boolean"/> |
| <lowerValue xmi:type="uml:LiteralInteger"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:id="Domain.isEnforceable" name="isEnforceable" visibility="public"> |
| <type xmi:type="uml:PrimitiveType" href="PrimitiveTypes.uml#Boolean"/> |
| <lowerValue xmi:type="uml:LiteralInteger"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:id="Domain.rule" name="rule" type="Rule" association="A_Domain.rule_Rule.domain"/> |
| <ownedAttribute xmi:id="Domain.typedModel" name="typedModel" type="TypedModel" association="A_Domain.typedModel_domain"> |
| <lowerValue xmi:type="uml:LiteralInteger"/> |
| </ownedAttribute> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Class" xmi:id="Function" name="Function"> |
| <generalization xmi:id="G_Function_Operation"> |
| <general xmi:type="uml:Class" href="EMOF.uml#Operation"/> |
| </generalization> |
| <ownedAttribute xmi:id="Function.queryExpression" name="queryExpression" aggregation="composite" association="A_Function.queryExpression_function"> |
| <type xmi:type="uml:Class" href="EssentialOCL.uml#OclExpression"/> |
| <lowerValue xmi:type="uml:LiteralInteger"/> |
| </ownedAttribute> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Class" xmi:id="FunctionParameter" name="FunctionParameter"> |
| <generalization xmi:id="G_FunctionParameter_Variable"> |
| <general xmi:type="uml:Class" href="EssentialOCL.uml#Variable"/> |
| </generalization> |
| <generalization xmi:id="G_FunctionParameter_Parameter"> |
| <general xmi:type="uml:Class" href="EMOF.uml#Parameter"/> |
| </generalization> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Class" xmi:id="Pattern" name="Pattern"> |
| <generalization xmi:id="G_Pattern_Element"> |
| <general xmi:type="uml:Class" href="EMOF.uml#Element"/> |
| </generalization> |
| <ownedAttribute xmi:id="Pattern.predicate" name="predicate" type="Predicate" aggregation="composite" association="A_Pattern.predicate_Predicate.pattern"> |
| <lowerValue xmi:type="uml:LiteralInteger"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" value="*"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:id="Pattern.bindsTo" name="bindsTo" association="A_Pattern.bindsTo_pattern"> |
| <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="Predicate" name="Predicate"> |
| <generalization xmi:id="G_Predicate_Element"> |
| <general xmi:type="uml:Class" href="EMOF.uml#Element"/> |
| </generalization> |
| <ownedAttribute xmi:id="Predicate.conditionExpression" name="conditionExpression" aggregation="composite" association="A_Predicate.conditionExpression_predicate"> |
| <type xmi:type="uml:Class" href="EssentialOCL.uml#OclExpression"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:id="Predicate.pattern" name="pattern" type="Pattern" association="A_Pattern.predicate_Predicate.pattern"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Class" xmi:id="Rule" name="Rule" isAbstract="true"> |
| <generalization xmi:id="G_Rule_NamedElement"> |
| <general xmi:type="uml:Class" href="EMOF.uml#NamedElement"/> |
| </generalization> |
| <ownedAttribute xmi:id="Rule.domain" name="domain" type="Domain" isOrdered="true" aggregation="composite" association="A_Domain.rule_Rule.domain"> |
| <lowerValue xmi:type="uml:LiteralInteger"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" value="*"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:id="Rule.overrides" name="overrides" type="Rule" association="A_Rule.overrides_overridden"> |
| <lowerValue xmi:type="uml:LiteralInteger"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:id="Rule.transformation" name="transformation" type="Transformation" association="A_Rule.transformation_Transformation.rule"> |
| <lowerValue xmi:type="uml:LiteralInteger"/> |
| </ownedAttribute> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Class" xmi:id="Transformation" name="Transformation"> |
| <generalization xmi:id="G_Transformation_Class"> |
| <general xmi:type="uml:Class" href="EMOF.uml#Class"/> |
| </generalization> |
| <generalization xmi:id="G_Transformation_Package"> |
| <general xmi:type="uml:Class" href="EMOF.uml#Package"/> |
| </generalization> |
| <ownedAttribute xmi:id="Transformation.extends" name="extends" type="Transformation" association="A_Transformation.extends_extendedBy"> |
| <lowerValue xmi:type="uml:LiteralInteger"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:id="Transformation.modelParameter" name="modelParameter" type="TypedModel" aggregation="composite" association="A_Transformation.modelParameter_TypedModel.transformation"> |
| <lowerValue xmi:type="uml:LiteralInteger"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" value="*"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:id="Transformation.ownedTag" name="ownedTag" aggregation="composite" association="A_Transformation.ownedTag_transformation"> |
| <type xmi:type="uml:Class" href="EMOF.uml#Tag"/> |
| <lowerValue xmi:type="uml:LiteralInteger"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" value="*"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:id="Transformation.rule" name="rule" type="Rule" aggregation="composite" association="A_Rule.transformation_Transformation.rule"> |
| <lowerValue xmi:type="uml:LiteralInteger"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" value="*"/> |
| </ownedAttribute> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Class" xmi:id="TypedModel" name="TypedModel"> |
| <generalization xmi:id="G_TypedModel_NamedElement"> |
| <general xmi:type="uml:Class" href="EMOF.uml#NamedElement"/> |
| </generalization> |
| <ownedAttribute xmi:id="TypedModel.dependsOn" name="dependsOn" type="TypedModel" association="A_TypedModel.dependsOn_dependent"> |
| <lowerValue xmi:type="uml:LiteralInteger"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" value="*"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:id="TypedModel.transformation" name="transformation" type="Transformation" association="A_Transformation.modelParameter_TypedModel.transformation"/> |
| <ownedAttribute xmi:id="TypedModel.usedPackage" name="usedPackage" association="A_TypedModel.usedPackage_typedModel"> |
| <type xmi:type="uml:Class" href="EMOF.uml#Package"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" value="*"/> |
| </ownedAttribute> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Association" xmi:id="A_Domain.rule_Rule.domain" name="A_Domain.rule_Rule.domain" memberEnd="Rule.domain Domain.rule"/> |
| <packagedElement xmi:type="uml:Association" xmi:id="A_Domain.typedModel_domain" name="A_Domain.typedModel_domain" memberEnd="Domain.typedModel A_Domain.typedModel_domain.domain"> |
| <ownedEnd xmi:id="A_Domain.typedModel_domain.domain" name="domain" type="Domain" association="A_Domain.typedModel_domain"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Association" xmi:id="A_Function.queryExpression_function" name="A_Function.queryExpression_function" |
| memberEnd="Function.queryExpression A_Function.queryExpression_function.function"> |
| <ownedEnd xmi:id="A_Function.queryExpression_function.function" name="function" type="Function" association="A_Function.queryExpression_function"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Association" xmi:id="A_Pattern.bindsTo_pattern" name="A_Pattern.bindsTo_pattern" memberEnd="Pattern.bindsTo A_Pattern.bindsTo_pattern.pattern"> |
| <ownedEnd xmi:id="A_Pattern.bindsTo_pattern.pattern" name="pattern" type="Pattern" association="A_Pattern.bindsTo_pattern"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Association" xmi:id="A_Pattern.predicate_Predicate.pattern" name="A_Pattern.predicate_Predicate.pattern" |
| memberEnd="Pattern.predicate Predicate.pattern"/> |
| <packagedElement xmi:type="uml:Association" xmi:id="A_Predicate.conditionExpression_predicate" name="A_Predicate.conditionExpression_predicate" |
| memberEnd="Predicate.conditionExpression A_Predicate.conditionExpression_predicate.predicate"> |
| <ownedEnd xmi:id="A_Predicate.conditionExpression_predicate.predicate" name="predicate" type="Predicate" association="A_Predicate.conditionExpression_predicate"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Association" xmi:id="A_Rule.overrides_overridden" name="A_Rule.overrides_overridden" memberEnd="Rule.overrides A_Rule.overrides_overridden.overridden"> |
| <ownedEnd xmi:id="A_Rule.overrides_overridden.overridden" name="overridden" type="Rule" association="A_Rule.overrides_overridden"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Association" xmi:id="A_Rule.transformation_Transformation.rule" name="A_Rule.transformation_Transformation.rule" |
| memberEnd="Transformation.rule Rule.transformation"/> |
| <packagedElement xmi:type="uml:Association" xmi:id="A_Transformation.extends_extendedBy" name="A_Transformation.extends_extendedBy" |
| memberEnd="Transformation.extends A_Transformation.extends_extendedBy.extendedBy"> |
| <ownedEnd xmi:id="A_Transformation.extends_extendedBy.extendedBy" name="extendedBy" type="Transformation" association="A_Transformation.extends_extendedBy"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Association" xmi:id="A_Transformation.modelParameter_TypedModel.transformation" name="A_Transformation.modelParameter_TypedModel.transformation" |
| memberEnd="Transformation.modelParameter TypedModel.transformation"/> |
| <packagedElement xmi:type="uml:Association" xmi:id="A_Transformation.ownedTag_transformation" name="A_Transformation.ownedTag_transformation" |
| memberEnd="Transformation.ownedTag A_Transformation.ownedTag_transformation.transformation"> |
| <ownedEnd xmi:id="A_Transformation.ownedTag_transformation.transformation" name="transformation" type="Transformation" association="A_Transformation.ownedTag_transformation"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Association" xmi:id="A_TypedModel.dependsOn_dependent" name="A_TypedModel.dependsOn_dependent" memberEnd="TypedModel.dependsOn A_TypedModel.dependsOn_dependent.dependent"> |
| <ownedEnd xmi:id="A_TypedModel.dependsOn_dependent.dependent" name="dependent" type="TypedModel" association="A_TypedModel.dependsOn_dependent"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Association" xmi:id="A_TypedModel.usedPackage_typedModel" name="A_TypedModel.usedPackage_typedModel" |
| memberEnd="TypedModel.usedPackage A_TypedModel.usedPackage_typedModel.typedModel"> |
| <ownedEnd xmi:id="A_TypedModel.usedPackage_typedModel.typedModel" name="typedModel" type="TypedModel" association="A_TypedModel.usedPackage_typedModel"/> |
| </packagedElement> |
| </uml:Model> |