Issue 6103: Pin/parameter matching 1 (uml2-superstructure-ftf)
Source: NIST (Dr. Conrad Bock, conrad.bock(at)nist.gov)
Nature: Revision
Severity: Significant
Summary: How are pins matched to parameters for invocation actions when there is
only one parameter list for behaviors and two for actions?  There should
be a general action-pin association specialized for inputs and outputs.

Resolution: see above
Revised Text: 
Actions taken:
August 30, 2003: received issue
March 8, 2005: closed issue
Discussion: 
Insert the following text as the first paragraph in the Semantics section of CallAction,
p224:
Parameters on behaviors and operations are totally ordered lists. To match
parameters to pins on call actions, select the sublist of that list that corresponds to
in and inout parameters (i.e., Behavior.formalParameter). The input pins on
Action.input are matched in order against these parameters in the sublist order.
Then take the sublist of the parameter list that corresponds to out, inout, and
return parameters (i.e., Behavior.returnResult). The output pins on Action.output
are matched in order against these parameters in sublist order.
Delete the derivation indicator in figure 178 on p. 270 and in the metaclass entry for
Action, Associations section, p 280, under “input” and “output".
In the metaclass entry for Action, Associations section, p 280, under “input”, delete the
sentence “These are among the total set of inputs (other inputs represent constant
values).” It is left over from when value pins were not input pins.
End of Annotations:=====
Name: Conrad Bock
Company: NIST
mailFrom: conrad.bock@nist.gov
Nature: Revision
Severity: Significant
Subject: Pin/parameter matching 1


How are pins matched to parameters for invocation actions when there is
only one parameter list for behaviors and two for actions?  There should
be a general action-pin association specialized for inputs and outputs.



Discussion:
Behavior.parameter is a totally ordered list. Select the subset of that list that corresponds to in and inout parameters (i.e., Behavior.formalParameter). The input pins on Action.input are matched against these parameters. Then take the subset of the parameter list that corresponds to out, inout, and return parameters (i.e., Behavior.returnResult). The output pins on Action.output are matched against these parameters.

For reasons unclear to me, Action.input and Action.output are shown as derived in figure 178 on p. 270 and in the corresponding class specification, but it is not given how they would possibly be derived. The derivation indicator should be deleted. 
Disposition:	Resolved



OMG Issue No: 6103
Title:	Pin/parameter matching 1
Source:
Kabira Technologies, Inc.NIST (Mr. Conrad Bock, conrad.bock@nist.gov)
Summary:
How are pins matched to parameters for invocation actions when there is only one parameter list for behaviors and two for actions?  There should be a general action-pin association specialized for inputs and outputs.
Discussion:
Insert the following text in the Semantics section of CallAction, p224:

Behavior.pParameters on behaviors and operations being called are is a totally ordered lists.  To match parameters to pins, Sselect the subset sublist of that list that corresponds to in and inout parameters (i.e., Behavior.formalParameter). The input pins on Action.input are matched in order against these parameters in the sublist order. Then take the subset sublist of the parameter list that corresponds to out, inout, and return parameters (i.e., Behavior.returnResult). The output pins on Action.output are matched in order against these parameters in sublist order.

For reasons unclear to me, Action.input and Action.output are shown as derived in figure 178 on p. 270 and in the corresponding class specification, but it is not given how they would possibly be derived.

 Delete Tthe derivation indicator should be deleted in figure 178 on p. 270 and in the metaclass entry for Action, Associations section, p 280, under "input" and "output". 

In the metaclass entry for Action, Associations section, p 280, under "input", delete the sentence "These are among the total set of inputs (other inputs represent constant values)." It is left over from when value pins were not input pins.

Disposition:	Resolved