Formal expressions belong to the execution design level and are not considered in the 1st 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 respective BPMN elements (object types and connection types).