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

Valmi Dufour-Lussier 1 Florence Le Ber 1, 2 Jean Lieber 1
1 ORPAILLEUR - Knowledge representation, reasonning
Inria Nancy - Grand Est, LORIA - NLPKD - Department of Natural Language Processing & Knowledge Discovery
Résumé : 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.
Type de document :
Communication dans un congrès
Sixièmes Journées de l'Intelligence Artificielle Fondamentale (JIAF), May 2012, Toulouse, France. pp.133-142, 2012, Sixièmes Journées de l'Intelligence Artificielle Fondamentale
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00712978
Contributeur : Valmi Dufour-Lussier <>
Soumis le : mardi 25 septembre 2012 - 15:00:52
Dernière modification le : jeudi 15 mars 2018 - 01:31:30
Document(s) archivé(s) le : jeudi 15 décembre 2016 - 19:06:01

Fichiers

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00712978, version 1
  • ARXIV : 1209.5664

Citation

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), May 2012, Toulouse, France. pp.133-142, 2012, Sixièmes Journées de l'Intelligence Artificielle Fondamentale. 〈hal-00712978〉

Partager

Métriques

Consultations de la notice

218

Téléchargements de fichiers

351