当前位置:
X-MOL 学术
›
arXiv.cs.FL
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
A Projection-Stable Grammatical Model for the Distributed Execution of Administrative Processes with Emphasis on Actors' Views
arXiv - CS - Formal Languages and Automata Theory Pub Date : 2021-02-21 , DOI: arxiv-2102.10566 Milliam Maxime Zekeng Ndadji, Maurice Tchoupé Tchendji, Clémentin Tayou Djamegni, Didier Parigot
arXiv - CS - Formal Languages and Automata Theory Pub Date : 2021-02-21 , DOI: arxiv-2102.10566 Milliam Maxime Zekeng Ndadji, Maurice Tchoupé Tchendji, Clémentin Tayou Djamegni, Didier Parigot
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指定的管理流程的完全分散和以工件为中心的执行提供了一个模型。提出的模型特别强调了参与者的观点:然后,通过确保执行,每个参与者可能只对流程的全局执行状态有部分了解。为此,该模型基于三种投影算法,可以在给定的时刻部分复制流程的全局执行状态,以一致地更新所获得的部分状态并推断出新的一致全局状态。这三种算法的建议,基础数学工具的稳定性的证明以及其实现的建议是本文的主要贡献。以一致地更新所获得的部分状态并推断出新的相干全局状态。这三种算法的建议,基础数学工具的稳定性的证明以及其实现的建议是本文的主要贡献。以一致地更新所获得的部分状态并推断出新的相干全局状态。这三种算法的建议,基础数学工具的稳定性的证明以及其实现的建议是本文的主要贡献。
更新日期:2021-02-23
中文翻译:
强调参与者观点的行政程序分布式执行的投影稳定语法模型
在过去的二十年中,业务流程的分散执行一直是业务流程管理中的主要研究主题之一。为了促进过程的分布式执行,已经提出了几种用于过程规范的模型(语言)。LSAWfP是该领域中最新的版本:它有助于指定带有语法模型的管理过程,该语法模型除了说明其基本要素外,还指示每个参与者相对于其每个任务的权限(读取,写入和执行)。在本文中,我们为使用LSAWfP指定的管理流程的完全分散和以工件为中心的执行提供了一个模型。提出的模型特别强调了参与者的观点:然后,通过确保执行,每个参与者可能只对流程的全局执行状态有部分了解。为此,该模型基于三种投影算法,可以在给定的时刻部分复制流程的全局执行状态,以一致地更新所获得的部分状态并推断出新的一致全局状态。这三种算法的建议,基础数学工具的稳定性的证明以及其实现的建议是本文的主要贡献。以一致地更新所获得的部分状态并推断出新的相干全局状态。这三种算法的建议,基础数学工具的稳定性的证明以及其实现的建议是本文的主要贡献。以一致地更新所获得的部分状态并推断出新的相干全局状态。这三种算法的建议,基础数学工具的稳定性的证明以及其实现的建议是本文的主要贡献。