Issue 17904: Location: 9.6.3 Operations p 127 Undefined ? (uml25-ftf)
Source: Soluta.net (Dr. Adriano Comai, acomai(at)soluta.net)
Nature: Clarification
Severity: Minor
Summary: this sounds peculiar. 
Intentionally undefined by the modeler, or by the authors of the specification. 
In think this should say
The behavior of an invocation of an Operation when a precondition is not satisfied is not defined in UML

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

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

Problem 9.038

Severity: Minor
Type: Clarifications
Location: 9.6.3 Operations p 127
Title: Undefined ?
Summary:
this sounds peculiar. 
Intentionally undefined by the modeler, or by the authors of the specification. 
In think this should say
The behavior of an invocation of an Operation when a precondition is not satisfied is not defined in UML
Source: Adriano Comai