OCL231 — oclIsInState()

Since you are working on the StateMachines chapter, it may be worth considering after the first submission adding an explanation about oclIsInState().
This query operation is unfortunately mispelled as oclInState(), see: http://www.omg.org/issues/ocl2-rtf.open.html#Issue15257
This query operation is confusingly listed as a predefined property and explained as an operation in OCL2.2, clause 7.5.9:

7.5.9 Predefined properties on All Objects
There are several properties that apply to all objects, and are predefined in OCL. These are:
oclIsTypeOf (t : Classifier) : Boolean
oclIsKindOf (t : Classifier) : Boolean
oclInState (s : OclState) : Boolean
oclIsNew () : Boolean
oclAsType (t : Classifier) : instance of OclType

....
The operation oclInState(s) results in true if the object is in the state s. Possible states for the operation oclInState(s) are all states of the statemachine that defines the classifier's behavior. For nested states the statenames can be combined using the double colon “::”.

I'm not sure that this correspondence on the UML RTF was really intended to be an OCL issue.
The specific oclIsInState typo is resolved by Issue 16260.
The more general discussion is appropriate for UML.
Disposition: See issue 16260 for disposition