Issue 14990: Values passed out to pins from empty parameter nodes (fuml-ftf) Source: NIST (Dr. Conrad Bock, conrad.bock(at)nist.gov) Nature: Revision Severity: Significant Summary: In UML empty parameter nodes are currently given the null value when an activity terminates. The semantics of ActivityParameterNode says: "If some output parameter nodes are empty at that time [when the activity is finished], they are assigned the null token, and the activity terminates. If it is decided that the execution engine should not reflect the above semantics, then UML needs an additional attribute on ActivityParameterNode to indicate whether null tokens are passed out to pins when the activity is finished executing and the activity parameter node is empty, or whether nothing is passed out. In ExecUML this attribute value would always be for the second option. Resolution: Resolution: The resolution to Issue 14550, in response to UML Issue 9863 on the output of read actions for no values, changes the fUML semantics so that the discrepancy described in this issue no longer exists. Revised Text: None. Disposition: Duplicate/Merged Revised Text: Actions taken: January 19, 2010: received issue July 23, 2010: closed issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 19 Jan 2010 16:47:54 -0500 To: Subject: Issue/Bug Report ******************************************************************************* Name: Conrad Bock Company: NIST mailFrom: conrad.bock@nist.gov Notification: Yes Specification: fUML Beta 2 Section: FormalNumber: ptc/2009-10-05 Version: RevisionDate: Page: Title: Values passed out to pins from empty parameter nodes Nature: Revision Severity: Significant test: 3qw8 B1: Report Issue Description: In UML empty parameter nodes are currently given the null value when an activity terminates. The semantics of ActivityParameterNode says: "If some output parameter nodes are empty at that time [when the activity is finished], they are assigned the null token, and the activity terminates. If it is decided that the execution engine should not reflect the above semantics, then UML needs an additional attribute on ActivityParameterNode to indicate whether null tokens are passed out to pins when the activity is finished executing and the activity parameter node is empty, or whether nothing is passed out. In ExecUML this Subject: RE: issue 14990 -- FUML FTF issue Date: Wed, 20 Jan 2010 12:28:41 -0500 X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: issue 14990 -- FUML FTF issue thread-index: AcqZ8R/7sbovtERiSHKBXOt3F/OrmQABJiSQ From: "Ed Seidewitz" To: Conrad . I was planning on dealing with null tokens as part of the resolution to Issue 14550, on revising fUML to be based on UML 2.3, since came to terms with the semantics of null tokens in 2.3. This will eliminate the discrepancy you note. -- Ed -------------------------------------------------------------------------------- From: Juergen Boldt [mailto:juergen@omg.org] Sent: Wednesday, January 20, 2010 11:52 AM To: issues@omg.org; fuml-ftf@omg.org Subject: issue 14990 -- FUML FTF issue From: webmaster@omg.org Date: 19 Jan 2010 16:47:54 -0500 To: Subject: Issue/Bug Report ******************************************************************************* Name: Conrad Bock Company: NIST mailFrom: conrad.bock@nist.gov Notification: Yes Specification: fUML Beta 2 Section: FormalNumber: ptc/2009-10-05 Version: RevisionDate: Page: Title: Values passed out to pins from empty parameter nodes Nature: Revision Severity: Significant test: 3qw8 B1: Report Issue Description: In UML empty parameter nodes are currently given the null value when an activity terminates. The semantics of ActivityParameterNode says: "If some output parameter nodes are empty at that time [when the activity is finished], they are assigned the null token, and the activity terminates. If it is decided that the execution engine should not reflect the above semantics, then UML needs an additional attribute on ActivityParameterNode to indicate whether null tokens are passed out to pins when the activity is finished executing and the activity parameter node is empty, or whether nothing is passed out. In ExecUML this attribute value would always be for the second option. Juergen Boldt Director, Member Services Object Management Group 140 Kendrick St Building A Suite 300 Needham, MA 02494 USA tel: +1 781 444 0404 x 132 fax: +1 781 444 0320 email: juergen@omg.org www.omg.org attribute value would always be for the second option.