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
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.
Complete list of metadatas

Cited literature [29 references]  Display  Hide  Download

https://hal.inria.fr/hal-00712978
Contributor : Valmi Dufour-Lussier <>
Submitted on : Tuesday, September 25, 2012 - 3:00:52 PM
Last modification on : Friday, May 24, 2019 - 10:56:07 AM
Long-term archiving on : Thursday, December 15, 2016 - 7:06:01 PM

Files

main.pdf
Files produced by the author(s)

Identifiers

  • 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), Sébastien Konieczny, May 2012, Toulouse, France. pp.133-142. ⟨hal-00712978⟩

Share

Metrics

Record views

261

Files downloads

528