Issue 15089: Modification to AcceptEventActionActivation (fuml-ftf) Source: Model Driven Solutions (Mr. Ed Seidewitz, ed-s(at)modeldriven.com) Nature: Uncategorized Issue Severity: Summary: Specification: Semantics of a Foundational Subset for Executable UML Models Subclause: 8.6.4.2.1 AcceptEventActionActivation The revisions adopted to resolve Issue 14550 (Revise fUML to be based on UML 2.3) necessitate a change to AcceptEventActionActivation that was not included in the adopted resolution. The resolution to 14550 adds a “firing” attribute to ActionActivation, which is set to false at the end of the “fire” operation. However, AcceptEventActionActivation is a special case among the subclasses of ActionActivation in that it does not call its superclass “fire” operation. Therefore, the “firing” attribute also needs to be explicitly set to false at the end of AcceptEventActionActivation::fire. Otherwise, if an accept event action is not locally reentrant (which is the default), it will never be able to fire more than once. Resolution: Agreed. Revised Text: In Subclause 8.6.4.2.1 AcceptEventActionActivation, at the end of the fire operation, add: this.firing = false; Actions taken: February 25, 2010: received issue July 23, 2010: closed issue Discussion: End of Annotations:===== ubject: Modification to AcceptEventActionActivation Date: Thu, 25 Feb 2010 20:08:23 -0500 X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: Modification to AcceptEventActionActivation thread-index: Acq2gDEhTkCozixQTf+8a2qPeAju/g== From: "Ed Seidewitz" To: Specification: Semantics of a Foundational Subset for Executable UML Models Subclause: 8.6.4.2.1 AcceptEventActionActivation The revisions adopted to resolve Issue 14550 (Revise fUML to be based on UML 2.3) necessitate a change to AcceptEventActionActivation that was not included in the adopted resolution. The resolution to 14550 adds a .firing. attribute to ActionActivation, which is set to false at the end of the .fire. operation. However, AcceptEventActionActivation is a special case among the subclasses of ActionActivation in that it does not call its superclass .fire. operation. Therefore, the .firing. attribute also needs to be explicitly set to false at the end of AcceptEventActionActivation::fire. Otherwise, if an accept event action is not locally reentrant (which is the default), it will never be able to fire more than once.