During the last two decades, the decentralized execution of business processes has been one of the main research topics in Business Process Management. Several models (languages) for processes' specification in order to facilitate their distributed execution, have been proposed. LSAWfP is among the most recent in this area: it helps to specify administrative processes with grammatical models indicating, in addition to their fundamental elements, the permissions (reading, writing and execution) of each actor in relation to each of their tasks. In this paper, we present a model for a completely decentralized and artifact-centric execution of administrative processes specified using LSAWfP. The presented model puts particular emphasis on actors' views: it then allows the confidential execution of certain tasks by ensuring that, each actor potentially has only a partial perception of the processes' global execution states. To accomplish this, the model is based on three projection algorithms allowing to partially replicate the processes' global execution states at a given moment, to consistently update the obtained partial states and to deduce new coherent global states. The proposal of these three algorithms, the proof of underlying mathematical tools' stability and a proposal of their implementation, are this paper's main contributions.

中文翻译：

---

强调参与者观点的行政程序分布式执行的投影稳定语法模型

在过去的二十年中，业务流程的分散执行一直是业务流程管理中的主要研究主题之一。为了促进过程的分布式执行，已经提出了几种用于过程规范的模型（语言）。LSAWfP是该领域中最新的版本：它有助于指定带有语法模型的管理过程，该语法模型除了说明其基本要素外，还指示每个参与者相对于其每个任务的权限（读取，写入和执行）。在本文中，我们为使用LSAWfP指定的管理流程的完全分散和以工件为中心的执行提供了一个模型。提出的模型特别强调了参与者的观点：然后，通过确保执行，每个参与者可能只对流程的全局执行状态有部分了解。为此，该模型基于三种投影算法，可以在给定的时刻部分复制流程的全局执行状态，以一致地更新所获得的部分状态并推断出新的一致全局状态。这三种算法的建议，基础数学工具的稳定性的证明以及其实现的建议是本文的主要贡献。以一致地更新所获得的部分状态并推断出新的相干全局状态。这三种算法的建议，基础数学工具的稳定性的证明以及其实现的建议是本文的主要贡献。以一致地更新所获得的部分状态并推断出新的相干全局状态。这三种算法的建议，基础数学工具的稳定性的证明以及其实现的建议是本文的主要贡献。