Résumé
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.