Issue 18022: Interactions p 607 (uml25-ftf)
Source: Lockheed Martin (Mr. Michael Jesse Chonoles, michael_chonoles2(at)omg.org)
Nature: Revision
Severity: Minor
Summary: Current text:
The invalid set of traces is associated only with the use of a Negative CombinedInteraction. For simplicity we describe only valid traces for all other constructs 

This is not quite true
1) An assert declares all non-compliant traces as invalid
2) It may also be possible to use consider on normal trace where the message to be considered is not in the trace to indicate that if it occurs it is invalid. 
3) It is also possible to declare invalid traces with state invariants. For example, imagine a constraint such as {1=2}
Source: Michael Jesse Chonoles

Resolution: 
Revised Text: 
Actions taken:
September 27, 2012: received issue
Discussion: 

End of Annotations:=====
s is issue # 18022

Problem: 17.002

Severity: Minor                                                                                                                    
Level: Consistency
Location: Interactions p 607
Detail:
Current text:
The invalid set of traces is associated only with the use of a Negative CombinedInteraction. For simplicity we describe only valid traces for all other constructs 
 
This is not quite true
1) An assert declares all non-compliant traces as invalid
2) It may also be possible to use consider on normal trace where the message to be considered is not in the trace to indicate that if it occurs it is invalid. 
3) It is also possible to declare invalid traces with state invariants. For example, imagine a constraint such as {1=2}
Source: Michael Jesse Chonoles