This development has drawn the interest of the Business Process Management (BPM) community [1]}, to which
smart contracts harbor the promise of integrity-protected decentralised automation of process execution. In this community, a process is commonly defined as a structured, measured set of activities designed to produce a specific output for a particular customer or market [2]}. In practice, e.g., products being traded and shipped in a supply chain and the treatment of a patient in a hospital, or a loan application process within a bank. The latter two of these examples are knowledge-intensive processes.
A key approach to formalising knowledge-intensive
processes is that of declarative process notations [3]},
which expresses the constraints a process must obey, as opposed to the exact
sequencing of admissible activity executions, akin to the difference between an LTL formula
and a Büchi automaton. In practice, declarative models tend to be more concise, and for processes subject to rules and regulations, easier to relate to those rules and regulations.
