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

Les flux operationnels (workflows) constituent un important langage de representation des connaissances sur les processus, mais sont egalement de plus en plus utilises pour raisonner sur ce type de connaissances. En revanche, ils sont limites pour l'expression de contraintes temporelles entre activites. Les algebres qualitatives d'intervalles peuvent representer des relations temporelles plus fines, mais elles sont incapables de reproduire toutes les structures de controle des flux. Cet article definit une semantique, fondee sur la theorie des modeles, commune aux flux operationnels et aux algebres d'intervalles, rendant possible l'inter-operabilite de systemes de raisonnement utilisant ces deux formalismes. Cela met egalement en evidence des proprietes et des possibilites d'inferences interessantes, a la fois pour les flux operationnels et pour les flux etendus par l'utilisation d'une algebre qualitative. Finalement, nous discutons de formalismes similaires, proposant egalement une base theorique au formalisme des flux et etendant ce dernier.