Issue 18049: Location: 18.1.3 Semantics Use Cases and Actors	P. 686 - Or Pre-conditions appears limiting (uml25-ftf)
Source: Soluta.net (Dr. Adriano Comai, acomai(at)soluta.net)
Nature: Clarification
Severity: Minor
Summary: current text: “The behaviors of a UseCase can be described by a set of Behaviors (through its ownedBehavior relationship), such as Interactions, Activities, and StateMachines, or by pre-conditions and post-conditions...”

[AC] The “or” in “ or by pre-conditions and post-conditions” is ambiguous, because it can be interpreted as an XOR, while it is not exclusive. In fact, but several lines below, it is correctly stated that “These descriptions can be combined”. I suggest to remove the “or”.

Resolution: 
Revised Text: 
Actions taken:
September 28, 2012: received issue
Discussion: 
For a more complete correction, try the following:
“The behaviors of a UseCase can be described by a set of Behaviors (through its ownedBehavior relationship), such as Interactions, Activities, and StateMachines, or by pre-conditions, and post-conditions...”
This puts the “and” at the correct part of the sentence and include the comma.

Michael Jesse Chonoles

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

Problem: 18.009

Severity: Minor
Type: Clarification 
Location: 18.1.3 Semantics             Use Cases and Actors     P. 686
Title: Or Pre-conditions appears limiting
 
Description:
 
current text: .The behaviors of a UseCase can be described by a set of Behaviors (through its ownedBehavior relationship), such as Interactions, Activities, and StateMachines, or by pre-conditions and post-conditions....
 
[AC] The .or. in . or by pre-conditions and post-conditions. is ambiguous, because it can be interpreted as an XOR, while it is not exclusive. In fact, but several lines below, it is correctly stated that .These descriptions can be combined.. I suggest to remove the .or..
Source: Adriano Comai
 
Discussion: 
 
For a more complete correction, try the following:
.The behaviors of a UseCase can be described by a set of Behaviors (through its ownedBehavior relationship), such as Interactions, Activities, and StateMachines, or by pre-conditions, and post-conditions....
This puts the .and. at the correct part of the sentence and include the comma.
 
Michael Jesse Chonoles