Incentive Alignment of Business Processes

Many definitions of business processes refer to business goals, value creation, profits, etc. Nevertheless, the focus of formal methods research on business processes lies on the correctness of the execution semantics of models w.r.t. properties like deadlock freedom, liveness, or completion guarantees. However, the question of whether participants are interested in working towards completion – or in participating in the process at all – has not been addressed as of yet.