シーケンスフローに定義する条件式(Condition Expression)のタイプとして、BPMN仕様で明示されている「FormalExpression」とは何を指すか。

FormalExpressionは、プロセスエンジンが自動的にTrue/Falseを判定できる形式(機械可読)で記述された式を指す。