UML14 — Inheritance violation in "Auxiliary Elements"

Summary: Source: HO Wai-Ming, PhD research Student, IRISA, France

Reference: UML Semantics 1.1, Sep. 1997 and UML Semantics 1.3 Beta, Jan
1999 and the associated Rational Rose model files

Specification section reference: UML Semantics 1.1 Part 2, Section 4.3
Well-formedness rules, pp.32 and UML Semantics 1.3, Part 2, Section
2.5.3, pp.2-49

Nature: Clarification

Severity: Medium
Summary: In the 1.1 model file, there is an inheritance relationship
between
"Presentation" (in "Auxiliary Element") and "Element" (in "Core").
"Presentation" is an association class and "Element" is a normal class.
The two types are not the same, this this brings up the following
constraint in the semantic document:

self.subtype.oclType = self.supertype.oclType

Question:
1) Is "Presentation" suppose to inherit from "Element"? The other
association classes "ElementOwnership" and "ElementReference" do no
appear to do so.

2) If the answer to (1) is yes, then isn"t it a violation of the UML
semantics" well-formedness rule.

No Data Available