FormalExpressions belong to the execution design level and are not included in the current version of the BPMN 2.0 implementation.

However, natural-language expressions are used to allow the modeler to specify conditions. They are described in the context of the corresponding BPMN elements (object types and connection types).