Issue 6699: UML 2.0 infra and super Constraints Diagram of the Kernel (uml2-rtf) Source: TimeWarp Engineering Ltd. (Mr. Steven T. Cramer, scramer(at)timewarpllc.com) Nature: Uncategorized Issue Severity: Summary: The Constraint:namespace to Namespace:ownedRule association depicted in the super structure spec on page (31) should be made navigable on both ends and the namespace property should be renamed to owningNamespace and this should subset context and subset namespace. Resolution: see above Revised Text: Change Figure 7 on page 24 to show Constraint::namespace to be navigable (this was already done in the Rose model). Editor’s note: This change also needed to be made in the Inrastructure document in the Constraints package of Abstractions. Actions taken: December 16, 2003: received issue February 18, 2005: moved from infrastructure August 23, 2006: closed issue Discussion: Constraint::namespace redefines NamedElement::namespace so it should retain the same name. Namespace was probably used instead of owningNamespace to keep the name shorter and to follow the conventional meaning of the word (and its use in XML). End of Annotations:===== ubject: UML 2.0 infra and super Constraints Diagram of the Kernel Date: Tue, 16 Dec 2003 10:29:10 -0700 X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: UML 2.0 infra and super Constraints Diagram of the Kernel Thread-Index: AcPD+h10kmne6OZ/QLahcEOXbUHBmg== From: "Steven T. Cramer" To: Cc: "Jeff Wright" The Constraint:namespace to Namespace:ownedRule association depicted in the super structure spec on page (31) should be made navigable on both ends and the namespace property should be renamed to owningNamespace and this should subset context and subset namespace. Steven T. Cramer TimeWarp Engineering Ltd. SCramer@TimeWarpEngineering.com Subject: RE: Ballot 7 Date: Mon, 8 Aug 2005 08:54:55 -0400 X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: Ballot 7 Thread-Index: AcWa5nF2SJMJR4FXSXuTCngW5XvGqgBH4mzQ From: "Pete Rivett" To: "Branislav Selic" , X-Virus-Scanned: by amavisd-new at sentraliant.com Adaptive votes YES to all the issues except 6187, 6197, 6201, 6254 to which it votes NO and 6699, to which it ABSTAINS (sorry I was traveling when the draft went round). It seems premature to close 6187 and 6197. They should either be closed when the 'pending' Abstractions happens (there is still the need to do the merge even after that) or by cloning the constraints (which I think is what Jim has suggested). 6201 has the following problems: - the property being constrained is not multivalued so it seems inappropriate to return "Set{}" - the value should be set to null. While scalar values can be treated as sets, the converse does not apply. - in "let otherEnd = (association.memberEnd - self)->any() ", the usage of any() seems incorrect since it requires a boolean condition as a 'parameter' e.g. "any(true)" Note: a separate issue is neded to replace the use of 'navigable' in the English description of 'opposite'. The English description of the constraint requires the ends to be 'owned by a class' which is not captured in the OCL - though I'm not sure if this is the real intention (e.g. would 'opposite' apply to associations between Actor and UseCase.) 6254 does raise a valid specic problem for this specific redefinition; the isConsistentWith() operation which is required for a valid redefinition requires that the lowerbound of the redefined element is >= that of the redefinition. In this particular case that does not apply since the redefining element has lowerbound of 1 and the original has lowerbound of 0. The answer is to make the multiplicity of Extension.ownedEnd [0..1] and add a constraint that Extension.ownedEnd->notEmpty(). BTW when fixing this we should also take the opportunity to make this {redefines} explicit. 6699 does not have a justification for making Constraint::namespace navigable, when most other 'owner' properties are not navigable, so I don't see a reason for changing this but not the others (which I would not be averse to). 8720, 8769 should also have an equivalent change made to Infra as an editorial action. Pete Rivett (mailto:pete.rivett@adaptive.com) CTO, Adaptive Inc. Dean Park House, 8-10 Dean Park Crescent, Bournemouth, BH1 1HL, UK Tel: +44 (0)1202 449419 Fax: +44 (0)1202 449448 http://www.adaptive.com -------------------------------------------------------------------------------- From: Branislav Selic [mailto:bselic@ca.ibm.com] Sent: Friday, August 05, 2005 10:19 PM To: uml2-rtf@omg.org Subject: Ballot 7 Attached is the official ballot 7. Voting starts at 6 pm EDT today (Friday, Aug. 5) and ends in 2 weeks at 6 pm EDT on Friday, August 19. Regards, Bran