Issue 18158: Not clear if “else” keyword is defined for State Machines (uml25-ftf)
Source: Simula Research Laboratory (Mr. Bran Selic, selic(at)acm.org)
Nature: Uncategorized Issue
Severity: Minor
Summary: Category: Minor




The 2.5 spec says: 

“As a way of avoiding this situation in some cases, it is possible to associate a predefined guard denoted as “else” with at most one outgoing Transition”

The formal specification of the “else” keyword is not given (presumably maps to a Constraint that is the conjunctive negation of all the other Constraints)


Resolution: 
Revised Text: 
Actions taken:
October 10, 2012: received issue
Discussion: 

End of Annotations:=====
s is issue # 18158	From: Bran Selic <selic@acm.org>

Issue: Not clear if .else. keyword is defined for State Machines

Category: Minor


The 2.5 spec says: 

.As a way of avoiding this situation in some cases, it is possible to associate a predefined guard denoted as .else. with at most one outgoing Transition.

The formal specification of the .else. keyword is not given (presumably maps to a Constraint that is the conjunctive negation of all the other Constraints)