A Projection-Stable Grammatical Model to Specify Workflows for their P2P and Artifact-Centric Execution
Un modèle grammatical stable par projection pour la spécification des workflows en vue de leur exécution P2P et centrée sur l'artefact
Résumé
In this manuscript, we are interested in the specification and decentralized execution of administrative workflows. We present a grammatical model to specify such processes by indicating, in addition to their fundamental elements, the permissions (reading, writing and execution) of each actor in relation to each of the tasks that compose them. We then present a decentralized and artifact-centric execution model of these processes, on a Peer to Peer (P2P) Workflow Management System (WfMS). Our execution model allows the confidential execution of certain tasks by ensuring that, each actor potentially has only a partial perception of the overall process execution status. In our approach, we propose various stable projection algorithms, making it possible to obtain, to verify the coherence and to guarantee the convergence of the various potentially partial perceptions. Our algorithms are then coded and tested using a graphical tool to simulate the decentralized execution of administrative processes.
Dans ce manuscrit, nous nous intéressons à la spécification et à l'exécution décentralisée des processus workflows administratifs. Nous présentons un modèle grammatical permettant de spécifier de tels processus en précisant en plus de leurs éléments fondamentaux, les permissions (lecture, écriture et exécution) de chaque acteur relativement à chacune des tâches qui les composent. Nous présentons ensuite un modèle d'exécution décentralisée et centré-artefact de ces processus, sur un Système de Gestion de Workflows (SGWf) Pair à Pair (P2P). Notre modèle d'exécution autorise l'exécution confidentielle de certaines tâches en permettant à chaque acteur, de n'avoir potentiellement qu'une perception partielle de l'état d'exécution global du processus. Dans notre démarche, nous proposons divers algorithmes de projection stables, permettant d'obtenir, de vérifier la cohérence et de garantir la convergence des diverses perceptions potentiellement partielles. Nos algorithmes sont ensuite codés et expérimentés à l'aide d'un outil graphique de simulation d'exécution décentralisée des processus administratifs.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...