Issue 6130: No-token activity termination clarification (uml2-superstructure-ftf)
Source: NIST (Dr. Conrad Bock, conrad.bock(at)nist.gov)
Nature: Clarification
Severity: Significant
Summary: Clarify that activities terminate if there are no tokens in it,
including tokens inside actions.  The semantics of Parameter only states
the necessary conditions now.

Resolution: see above
Revised Text: 
Actions taken:
August 30, 2003: received issue
March 8, 2005: closed issue
Discussion: 
In Parameter class, Semantics section, in the last bullet (modified per resolution
of issue 6121), at the end, add:
"An activity finishes when all its tokens are in its output parameter nodes.
If some output parameter nodes are empty at that time, they are assigned
the null token (see Activity), and the activity terminates."
End of Annotations:=====
Name: Conrad Bock
Company: NIST
mailFrom: conrad.bock@nist.gov
Nature: Clarfication
Severity: Significant
Subject: No-token activity termination clarification


Clarify that activities terminate if there are no tokens in it,
including tokens inside actions.  The semantics of Parameter only states
the necessary conditions now

=====================================================

OMG Issue No: 6130
Title:	No-token activity termination clarification
Source:
Kabira Technologies, Inc. (Mr. Conrad Bock, conrad.bock@nist.gov)
Summary:
Clarify that activities terminate if there are no tokens in it, including tokens inside actions.  The semantics of Parameter only states the necessary conditions now.
Discussion:
In Parameter class, Semantics section, in the last bullet (modified per resolution of issue 6121), at the end, add:
"An activity finishes when all its tokens are in its output parameter nodes.  If some output parameter nodes are empty at that time, they are assigned the null token (see Activity), and the activity terminates."
Disposition:	Resolved