Eric Badouel ; Mohamadou Lamine Diouf - Opacité des artefacts d'un système workflow

arima:1973 - Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, August 9, 2014, Volume 17 - 2014 - Special issue CARI'12 -
Opacité des artefacts d'un système workflowArticle

Authors: Eric Badouel 1,2; Mohamadou Lamine Diouf 3,2

  • 1 SUpervision of large MOdular and distributed systems
  • 2 Laboratoire International de Recherche en Informatique et Mathématiques Appliquées
  • 3 Département de Mathématiques et Informatique, Faculté des Sciences et Techniques

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.

Volume: Volume 17 - 2014 - Special issue CARI'12
Published on: August 9, 2014
Submitted on: January 16, 2014
Keywords: artifact, data-centric workflow systems,Opacity, structured documents.,[INFO] Computer Science [cs],[MATH] Mathematics [math]

Consultation statistics

This page has been seen 260 times.
This article's PDF has been downloaded 269 times.