Issue 2337:  Associate a predicate with a state (uml2-superstructure-ftf)
Source:  (, )
Nature:  Enhancement
Severity:  Significant
Summary: Summary: Related to the previously submitted issue regarding the declarative specification of
 the effects of transitions, I would like to suggest that it be possible to associate
 a predicate with a state.
 
 Such a predicate (e.g. written in OCL) would appear within the state box in the
 notation, just below the name of the state.
 
 Rather than extend the notation directly, I suggest this be a predefined property,
 e.g. {predicate = boolean-expression}.
 

Resolution: 
Revised Text: 
Actions taken:
January 22, 1999: received issue
March 9, 2005: closed issue
Discussion: 
In UML 2.0, there is now an association between State and Constraint with a role
name of “stateInvariant” that models this feature. The invariant can be expressed
in any language that is used for constraints, including OCL. The notation is to
include the predicate in an expression between square brackets following the
state name (see Figure 391 in the FAS).
End of Annotations:=====
Date: Fri, 22 Jan 1999 15:14:44 -0500 (EST)
From: gwdaughe@collins.rockwell.com
To: juergen@omg.org, web-incoming@omg.org
Subject: Issue Report

Name: Gary Daugherty
Company: Rockwell
mailFrom: gwdaughe@collins.rockwell.com
Notification: Yes
Specification: UML Notation Guide
Section: 9
Formal #: UML Notation Guide
Version: 1.1
Revision_Date: 9/1/97
Page: 
Nature: Enhancement
Severity: Significant
full_desc: Related to the previously submitted issue regarding the
declarative specification of
the effects of transitions, I would like to suggest that it be
possible to associate
a predicate with a state.

Such a predicate (e.g. written in OCL) would appear within the state
box in the
notation, just below the name of the state.

Rather than extend the notation directly, I suggest this be a
predefined property,
e.g. {predicate = boolean-expression}.

submit: Submit Issue Report

Date: Mon, 12 Apr 1999 18:35:46 +0200
From: Alain Le Guennec <Alain.Le_Guennec@irisa.fr>
Organization: INRIA  - RENNES
X-Accept-Language: en, fr
To: issues@omg.org
Subject: Issue 2337


UML Issue #2337 was about the possibility of associating a predicate
to
a state.
Actually, I think this is already (indirectly) possible, as one can
associate
an <<invariant>> constraint to a ClassifierInState corresponding to
that
state.

Regards,

-- 
Alain Le Guennec, not speaking for IRISA.