Extension du formalisme des flux opérationnels par une algèbre temporelle - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Extension du formalisme des flux opérationnels par une algèbre temporelle

Abstract

Workflows constitute an important language to represent knowledge about processes, but also increasingly to reason on such knowledge. On the other hand, there is a limit to which time constraints between activities can be expressed. Qualitative interval algebras can model processes using finer temporal relations, but they cannot reproduce all workflow patterns. This paper defines a common ground model-theoretical semantics for both workflows and interval algebras, making it possible for reasoning systems working with either to interoperate. Thanks to this, interesting properties and inferences can be defined, both on workflows and on an extended formalism combining workflows with interval algebras. Finally, similar formalisms proposing a sound formal basis for workflows and extending them are discussed.
Les flux opérationnels (workflows) constituent un important langage de représentation des connaissances sur les processus, mais sont également de plus en plus utilisés pour raisonner sur ce type de connaissances. En revanche, ils sont limités pour l'expression de contraintes temporelles entre activités. Les algèbres qualitatives d'intervalles peuvent représenter des relations temporelles plus fines, mais elles sont incapables de reproduire toutes les structures de contrôle des flux. Cet article définit une sémantique, fondée sur la théorie des modèles, commune aux flux opérationnels et aux algèbres d'intervalles, rendant possible l'inter-opérabilité de systèmes de raisonnement utilisant ces deux formalismes. Cela met également en évidence des propriétés et des possibilités d'inférences intéressantes, à la fois pour les flux opérationnels et pour les flux étendus par l'utilisation d'une algèbre qualitative. Finalement, nous discutons de formalismes similaires, proposant également une base théorique au formalisme des flux et étendant ce dernier.
Fichier principal
Vignette du fichier
main.pdf (392.48 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00712978 , version 1 (25-09-2012)

Identifiers

Cite

Valmi Dufour-Lussier, Florence Le Ber, Jean Lieber. Extension du formalisme des flux opérationnels par une algèbre temporelle. Sixièmes Journées de l'Intelligence Artificielle Fondamentale (JIAF), Sébastien Konieczny, May 2012, Toulouse, France. pp.133-142. ⟨hal-00712978⟩
155 View
293 Download

Altmetric

Share

Gmail Facebook X LinkedIn More