Extension du formalisme des flux opérationnels par une algèbre temporelle
Résumé
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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...