Issue 17168: Spurious comment on operation PinActivation::fire (fuml-rtf) 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 (fUML), v1.0 (formal/11-02-01) Subclause: 8.6.2.2.8 PinActivation The operation PinActivation::fire includes the comment “[Note that a pin will consume all tokens offered to it, even if this is more than the multiplicity upper bound, but will only offer tokens up to that upper bound.]” However, this is not true in fUML as finalized. The incoming tokens passed to the fire operation are determined using the takeOfferedTokens operation, which is defined to “Take only a number of tokens only up to the limit allowed by the multiplicity upper bound of the pin for this activation.” Resolution: agreed Revised Text: In Subclause 8.6.2.2.8, in the fire operation, remove the comment “[Note that a pin will consume all tokens offered to it, even if this is more than the multiplicity upper bound, but will only offer tokens up to that upper bound.]”. Actions taken: February 23, 2012: received issue January 7, 2013: closed issue Discussion: End of Annotations:===== m: Ed Seidewitz To: "issues@omg.org" Subject: Spurious comment on operation PinActivation::fire Specification: Semantics of a Foundational Subset for Executable UML Models (fUML), v1.0 (formal/11-02-01) Subclause: 8.6.2.2.8 PinActivation The operation PinActivation::fire includes the comment .[Note that a pin will consume all tokens offered to it, even if this is more than the multiplicity upper bound, but will only offer tokens up to that upper bound.]. However, this is not true in fUML as finalized. The incoming tokens passed to the fire operation are determined using the takeOfferedTokens operation, which is defined to .Take only a number of tokens only up to the limit allowed by the multiplicity upper bound of the pin for this activation..