Legacy Issue Number: 4934
Source: NIST ( Conrad Bock)
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.
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".
Reported: ALF 1.0a — Tue, 5 Mar 2002 05:00 GMT
Disposition: Resolved — ALF 1.0b1
Updated: Fri, 6 Mar 2015 20:57 GMT