Skip to Main content Skip to Navigation
Journal articles

Opacité des artefacts d'un système workflow

Abstract : 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. Opacity has been studied in the context of discrete event dynamic systems where technique of control theory were designed to enforce opacity. To the best of our knowledge, this paper is the first attempt to formalize opacity of artifacts in data-centric workflow systems. We motivate this problem and give some assumptions that guarantee the decidability of opacity. Some techniques for enforcing opacity are indicated.
Document type :
Journal articles
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-00823005
Contributor : Coordination Episciences Iam Connect in order to contact the contributor
Submitted on : Friday, April 8, 2016 - 4:09:38 PM
Last modification on : Friday, October 8, 2021 - 6:50:20 PM
Long-term archiving on: : Monday, November 14, 2016 - 11:51:23 PM

File

Vol.17.pp.177-196.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-00823005, version 2

Citation

Eric Badouel, Mohamadou Lamine Diouf. Opacité des artefacts d'un système workflow. Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2014, 17, pp.117-196. ⟨hal-00823005v2⟩

Share

Metrics

Record views

870

Files downloads

1280