arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2006.06504cs.GT
收藏

业务流程的激励一致性:一种博弈论方法

Incentive Alignment of Business Processes: a game theoretic approach

Tobias Heindel, Ingo Weber

摘要:

业务流程的许多定义都涉及业务目标、价值创造或各种利润/收益。然而,商业过程形式化方法研究的焦点,如著名的可靠性属性,在于关于建模语言的执行语义的正确性。其中,可靠性要求正确完成流程实例。然而,参与者是否有兴趣努力完成(或参与这一进程)的问题尚未得到解决。在这项工作中,我们调查是否组织间的业务流程给参与者激励实现共同的业务目标-简而言之,激励措施是否与流程一致。特别是,公平的行为应该得到回报,高效完成任务应该得到奖励。我们提出了一个博弈论的方法,依赖于解决随机游戏的算法,从机器学习社区。我们描述了一种方法,用于检查激励对齐的过程模型与效用注释的任务,它可以用于先验分析组织间的业务流程。最后但并非最不重要的是,我们表明,稳健性属性对应于一个特殊的情况下,激励对齐。

英文摘要:

Many definitions of business processes refer to business goals, value creation, or profits/gains of sorts. Nevertheless, the focus of formal methods research on business processes, like the well-known soundness property, lies on correctness with regards to execution semantics of modeling languages. Among others, soundness requires proper completion of process instances. However, the question of whether participants have any interest in working towards completion (or in participating in the process) has not been addressed as of yet. In this work, we investigate whether inter-organizational business processes give participants incentives for achieving the common business goals---in short, whether incentives are aligned with the process. In particular, fair behavior should pay off and efficient completion of tasks should be rewarded. We propose a game-theoretic approach that relies on algorithms for solving stochastic games from the machine learning community. We describe a method for checking incentive alignment of process models with utility annotations for tasks, which can be used for a priori analysis of inter-organizational business processes. Last but not least, we show that the soundness property corresponds to a special case of incentive alignment.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑