 listed. The required
properties must be selected to form a precondition for the activation
of the process. The corresponding transition node <b><i>must</i></b>
have defined a property change for the selected boolean properties.
negating the current value of the property.
<h3>OclPlus in the Predicate Editor</h3>
The Predicate editor allows a predicate to be defined as a fluent.<br>
<img src="plusFluents2.jpg" alt="" border="0" height="497" width="760"><br>
In the above screen shot we see the predicate edito