vix.ing · top · new · best · stats · spec

A Projection-Stable Grammatical Model for the Distributed Execution of\n Administrative Processes with Emphasis on Actors' Views

2021/02/21 by Milliam Maxime Zekeng Ndadji, Maurice Tchoupé Tchendji, Ndadji, Milliam Maxime Zekeng +5
Business, Management and Accounting · Computer Science · Social Sciences · #Access Control and Trust #Business Process Modeling and Analysis #Distributed #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Parallel #Service-Oriented Architecture and Web Services #Software Engineering (cs.SE) #and Cluster Computing (cs.DC)

paper · pdf · doi:10.48550/arxiv.2102.10566

openalex publication_date 2021/02/21 · openalex created_date 2022/07/25 · openalex updated_date 2026/07/28

Abstract

During the last two decades, the decentralized execution of business\nprocesses has been one of the main research topics in Business Process\nManagement. Several models (languages) for processes' specification in order to\nfacilitate their distributed execution, have been proposed. LSAWfP is among the\nmost recent in this area: it helps to specify administrative processes with\ngrammatical models indicating, in addition to their fundamental elements, the\npermissions (reading, writing and execution) of each actor in relation to each\nof their tasks. In this paper, we present a model for a completely\ndecentralized and artifact-centric execution of administrative processes\nspecified using LSAWfP. The presented model puts particular emphasis on actors'\nviews: it then allows the confidential execution of certain tasks by ensuring\nthat, each actor potentially has only a partial perception of the processes'\nglobal execution states. The model thus solves a very important problem in\nbusiness process execution, which is often sidelined in existing approaches. To\naccomplish this, the model rely on three projection algorithms allowing to\npartially replicate the processes' global execution states at a given moment,\nto consistently update the obtained partial states and to deduce new coherent\nglobal states. The proposal of these three algorithms, the proof of underlying\nmathematical tools' stability and a proposal of their implementation, are this\npaper's main contributions.\n

Related