Issue 4934: More Typos                                                                                                                                                                                              (action-semantics-ftf)
Source: NIST (Mr. Conrad Bock, conrad.bock@nist.gov conradb@cme.nist.gov)
Nature: Uncategorized Issue
Severity: 
Summary: [Conrad Bock]

Search for:

  A signal send symbol maps into a SendSignalAction on the incoming
  transition between it and the previous state.

and insert "procedure containing a" before SendSignalAction.

Search for:

  An expression string maps to an Expression element (possibly a
  particular subclass of Expression, such as BooleanExpression or
  TimeExpression). If an analyzer yields a procedure for calculating the
  value of the expression, then the body association from Expression to
  Procedure is used to record this.

and replace "body association" with "procedure association".



Resolution: accept
Revised Text: Section 3.91.2, activity notation, notation mapping for signal receipt
  and sending says: 

     A signal send symbol maps into a SendSignalAction on the incoming
     transition between it and the previous state.
 
  Inserted "procedure containing a" before SendSignalAction.

Actions taken:
March 5, 2002: received issue
December 11, 2002: closed issue
Discussion: 

End of Annotations:=====
Summary: Typos

Text: 

[Conrad Bock]

Search for:

  A signal send symbol maps into a SendSignalAction on the incoming
  transition between it and the previous state.

and insert "procedure containing a" before SendSignalAction.

Search for:

  An expression string maps to an Expression element (possibly a
  particular subclass of Expression, such as BooleanExpression or
  TimeExpression). If an analyzer yields a procedure for calculating
  the
  value of the expression, then the body association from Expression
  to
  Procedure is used to record this.

and replace "body association" with "procedure association".