Issue 13509: [FUML] 7.4.2.2.14 ObjectFlow (fuml-ftf) Source: NASA (Dr. Nicolas F. Rouquette, nicolas.f.rouquette(at)jpl.nasa.gov) Nature: Uncategorized Issue Severity: Summary: Specification: Semantics of a Foundation Subset for Executable UML Models, FTF – Beta 1 (ptc/08-11-03) Section: 7.4.2.2.14 (ObjectFlow) Summary: As shown in Fig. 12.14 of the UML 2.2 Beta1 specification, an ObjectFlow can have two optional behaviors, a transformation and a selection. No such behaviors are supported in the fUML subset. Proposed resolution: Add a second OCL constraint on ObjectFlow: [2] ObjectFlow::no_transformation_or_selection_behavior() -- An ObjectFlow cannot have a transformation or a selection behavior in the fUML subset. self.transformation->isEmpty() and self.selection->isEmpty() Resolution: The transformation and selection properties of ObjectFlow are only introduced at the level of CompleteActivities. And, per Subclause 7.4.1 of the fUML spec, “The UML 2 Superstructure package CompleteActivities is excluded in its entirety from fUML”. Since transformation and selection are association ends, their associations simply do not appear in the fUML subset, so no constraints are necessary. Of course, the isMulticase and isMultireceive attributes on ObjectFlow are also only in CompleteActivities, but they still appear in the fUML subset (with constraints). However, these and other similar attributes should actually be removed from the fUML subset abstract syntax (see Issue 14561). Revised Text: None. Disposition: Closed, no change Revised Text: Actions taken: February 18, 2009: received issue July 23, 2010: closed issue Discussion: End of Annotations:===== m: "Rouquette, Nicolas F" To: "issues@omg.org" Date: Tue, 17 Feb 2009 23:17:03 -0800 Subject: [FUML] 7.4.2.2.15 ObjectNode Thread-Topic: [FUML] 7.4.2.2.15 ObjectNode Thread-Index: AcmRmOWbQnJYmZ4QTNyaMc5uh7iSOw== Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US X-Source-IP: altvirehtstap02.jpl.nasa.gov [128.149.137.73] X-Source-Sender: nicolas.f.rouquette@jpl.nasa.gov X-AUTH: Authorized Specification: Semantics of a Foundation Subset for Executable UML Models, FTF . Beta 1 (ptc/08-11-03) Section: 7.4.2.2.15 (ObjectNode) Summary: As shown in Fig. 12.14 of the UML 2.2 Beta1 specification, an ObjectNode can have two optional behaviors, a transformation and a selection. No such behaviors are supported in the fUML subset. Proposed resolution: Add a second OCL constraint on ObjectNode: [2] ObjectNode::no_transformation_or_selection_behavior() -- An ObjectNode cannot have a transformation or a selection behavior in the fUML subset. self.transformation->isEmpty() and self.selection->isEmpty() From: "Rouquette, Nicolas F" To: "Rouquette, Nicolas F" , "issues@omg.org" Date: Tue, 17 Feb 2009 23:23:51 -0800 Subject: RE: [FUML] 7.4.2.2.15 ObjectNode Thread-Topic: [FUML] 7.4.2.2.15 ObjectNode Thread-Index: AcmRmOWbQnJYmZ4QTNyaMc5uh7iSOwAAJtbw Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US X-Source-IP: altvirehtstap02.jpl.nasa.gov [128.149.137.73] X-Source-Sender: nicolas.f.rouquette@jpl.nasa.gov X-AUTH: Authorized Here is the corrected message: Subject: [FUML] 7.4.2.2.14 ObjectFlow Specification: Semantics of a Foundation Subset for Executable UML Models, FTF . Beta 1 (ptc/08-11-03) Section: 7.4.2.2.14 (ObjectFlow) Summary: As shown in Fig. 12.14 of the UML 2.2 Beta1 specification, an ObjectFlow can have two optional behaviors, a transformation and a selection. No such behaviors are supported in the fUML subset. Proposed resolution: Add a second OCL constraint on ObjectFlow: [2] ObjectFlow::no_transformation_or_selection_behavior() -- An ObjectFlow cannot have a transformation or a selection behavior in the fUML subset. self.transformation->isEmpty() and self.selection->isEmpty() From: Rouquette, Nicolas F Sent: Tuesday, February 17, 2009 11:17 PM To: 'issues@omg.org' Subject: [FUML] 7.4.2.2.15 ObjectNode Specification: Semantics of a Foundation Subset for Executable UML Models, FTF . Beta 1 (ptc/08-11-03) Section: 7.4.2.2.15 (ObjectNode) Summary: As shown in Fig. 12.14 of the UML 2.2 Beta1 specification, an ObjectNode can have two optional behaviors, a transformation and a selection. No such behaviors are supported in the fUML subset. Proposed resolution: Add a second OCL constraint on ObjectNode: [2] ObjectNode::no_transformation_or_selection_behavior() -- An ObjectNode cannot have a transformation or a selection behavior in the fUML subset. self.transformation->isEmpty() and self.selection->isEmpty()