Issue 9999: Association::isDerived should be derived (uml2-rtf) Source: Adaptive (Mr. Pete Rivett, pete.rivett(at)adaptive.com) Nature: Uncategorized Issue Severity: Summary: In the L3 metamodel there are only 5 Associations with isDerived=true. These are: A_context_action A_deployedElement_deploymentTarget A_state_redefinitionContext A_extension_metaclass A_containedEdge_inGroup However there are clearly many more Associations which are in practice derived - for example anything with an end which is a derivedUnion. It seems that an Association should automatically be derived if one or both of its ends are derived. Proposed resolution: Make Association::isDerived itself a derived property (so it becomes Association::/isDerived) The OCL for the derivation would be: context Association isDerived = self.memberEnd->exists(isDerived) Resolution: Revised Text: Actions taken: July 26, 2006: received issue Discussion: End of Annotations:===== ubject: Issue on UML 2.1 Superstructure Date: Wed, 26 Jul 2006 09:11:14 -0700 X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: Issue on UML 2.1 Superstructure Thread-Index: Acawzh4k5EIqiOOHT7OqfChcy79P4A== From: "Pete Rivett" To: Cc: "Branislav Selic" Association::isDerived should be derived. In the L3 metamodel there are only 5 Associations with isDerived=true. These are: A_context_action A_deployedElement_deploymentTarget A_state_redefinitionContext A_extension_metaclass A_containedEdge_inGroup However there are clearly many more Associations which are in practice derived - for example anything with an end which is a derivedUnion. It seems that an Association should automatically be derived if one or both of its ends are derived. Proposed resolution: Make Association::isDerived itself a derived property (so it becomes Association::/isDerived) The OCL for the derivation would be: context Association isDerived = self.memberEnd->exists(isDerived) Pete Rivett (mailto:pete.rivett@adaptive.com) CTO, Adaptive Inc. Hello House, 135 Somerford Road, Christchurch, BH23 3PY, UK Tel: +44 (0)1202 491243 Fax: +44 (0)1202 491241 http://www.adaptive.com