Issue 6629: UML 2.0 Superstructure 3rd revision - Owner of triggers? (uml2-superstructure-ftf) Source: TimeWarp Engineering Ltd. (Mr. Steven T. Cramer, scramer(at)timewarpllc.com) Nature: Uncategorized Issue Severity: Summary: Trigger specializes Element which has the constraint self.mustBeOwned() implies owner->notEmpty() And defines mustBeOwned = true Trigger and all of its specializations 1. never define any relationship that {subsets owner} 2. Do not override mustBeOwned Therefore Trigger and all specializations will violate the constraint. Resolution: Duplicate of 6206 Revised Text: Actions taken: November 25, 2003: received issue December 2, 2004: closed issue Discussion: End of Annotations:===== ubject: UML 2.0 Superstructure 3rd revision - Owner of triggers? Date: Tue, 25 Nov 2003 10:32:30 -0700 X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: UML 2.0 Superstructure 3rd revision - Owner of triggers? Thread-Index: AcOzehpljwzOIxYuTSCoa8UNgtOxDg== From: "Steven T. Cramer" To: Cc: "Branislav Selic" Trigger specializes Element which has the constraint self.mustBeOwned() implies owner->notEmpty() And defines mustBeOwned = true Trigger and all of its specializations 1. never define any relationship that {subsets owner} 2. Do not override mustBeOwned Therefore Trigger and all specializations will violate the constraint. Steven T. Cramer TimeWarp Engineering Ltd. 12255 Jones Park Court Colorado Springs, Colorado 80921 GMT-7 719.487.1623 www.TimeWarpEngineering.com SCramer@TimeWarpEngineering.com OMG Issue No: 6629 Title: UML 2.0 Superstructure 3rd revision - Owner of triggers? Source: TimeWarp Engineering Ltd. (Mr. Steven T. Cramer, scramer@timewarpllc.com) Summary: Trigger specializes Element which has the constraint self.mustBeOwned() implies owner->notEmpty() And defines mustBeOwned = true Trigger and all of its specializations 1. never define any relationship that {subsets owner} 2. Do not override mustBeOwned Therefore Trigger and all specializations will violate the constraint. Discussion: Duplicate of 6206 Disposition: Duplicate OMG Issue No: 6629 Title: UML 2.0 Superstructure 3rd revision - Owner of triggers? Source: TimeWarp Engineering Ltd. (Mr. Steven T. Cramer, scramer@timewarpllc.com) Summary: Trigger specializes Element which has the constraint self.mustBeOwned() implies owner->notEmpty() And defines mustBeOwned = true Trigger and all of its specializations 1. never define any relationship that {subsets owner} 2. Do not override mustBeOwned Therefore Trigger and all specializations will violate the constraint. Discussion: Duplicate of 6206 Disposition: Duplicate