UML14 — States of an object not referenceable from OCL expression

Summary: The states of an object, as specified in its state machine, are not
directly referenceablle from within
an OCL expression. In many cases it is very useful to be able to use them
in invariants, and especially
in pre- and postconditions.
Currently, we can define a so-called state attribue, which enumerates the
states, or alternatively we can
define a boolean attribute for each state. This allows one to reference
states, but this is specific for
the chosen implementation of states. This is undesireable. Being able to
directly refer to the abstract
states from the state machine is much easier, since it allows specifying
constraints independent of
the implementation of states.
Proposal
Define an extra standard OCL operation on OclAny called "oclIsInState", or
"oclInState" which takes a state name as
a parameter, and results in true if the object is within the specified
state. This solution adds the
desired functionality without altering the syntax of OCL.

Fixed in UML 1.3.