Complexité de l'algorithme de l'opacité dans les systèmes Workflows centrés sur les documents - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Revue Africaine de Recherche en Informatique et Mathématiques Appliquées Année : 2016

Complexity of Opacity algorithm in data-centric workflow system

Complexité de l'algorithme de l'opacité dans les systèmes Workflows centrés sur les documents

Résumé

A property (of an object) is opaque to an observer when he or she cannot deduce the property from its set of observations. If each observer is attached to a given set of properties (the so-called secrets), then the system is said to be opaque if each secret is opaque to the corresponding observer. We study in this paper, the complexity of opacity algorithm in data-centric workflows systems. We show that the complexity of this algorithm is EXPTIME-complete. Using the reduction problem, whe show that we can reduce the complexity of opacity problem to wellknow problem, the intersection of nonemptyness problem of Tree automata in polynomial time.
Une propriété d'un objet est dit opaque pour un observateur si celui-ci ne peut déduire que la propriété est satisfaite sur la base de l'observation qu'il a de cet objet. Supposons qu'un certain de nombre de propriétés (appelées secrets) soient attachées à chaque intervenant d'un système, nous dirons alors que le systéme lui-même est opaque si chaque secret d'un observateur lui est opaque: il ne peut percer aucun des secrets qui lui ont été attachés. Dans ce papier, on se propose d'étudier la complexité du problème de l'opacité des artefacts d'un système à flots de tâches(système workflow). Nous présentons une formalisation optimale du prob-lème de l'opacité dans ces systèmes workflows. Nous étudions ensuite la complexité de l'algorithme de l'opacité pour ces systèmes.
Fichier principal
Vignette du fichier
ARIMA-Vol25-Diouf (1).pdf (1.06 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01351970 , version 1 (05-08-2016)
hal-01351970 , version 2 (24-11-2016)

Identifiants

Citer

Mohamadou Lamine Diouf, Sophie Pinchinat. Complexité de l'algorithme de l'opacité dans les systèmes Workflows centrés sur les documents. Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2016, Volume 25 - 2016 - Special issue CNRIA 2015, ⟨10.46298/arima.1479⟩. ⟨hal-01351970v2⟩
319 Consultations
916 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More