Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets - Archive ouverte HAL Access content directly
Conference Papers Year : 2007

Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets

Abstract

In this paper we define a model, namely the recursive ECATNets (or "RECATNets") allowing the modeling, in a concise way, of the dynamic reconfiguration mechanisms of flexible workflow processes. The descriptive power of this model is also well-suited in modeling collaborative workflows. Recursive ECATNets are based on a sound combination of ECATNets (Extended Concurrent Algebraic Term Nets) and recursive Petri nets. Moreover, since their semantics is defined in the conditional rewriting logic framework, the use of model checking techniques to prove liveness and safety properties becomes possible. For further information, please visit this web site.
No file

Dates and versions

hal-01125421 , version 1 (06-03-2015)

Identifiers

  • HAL Id : hal-01125421 , version 1

Cite

Kamel Barkaoui, Awatef Hicheur. Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets. CBP'07, International Workshop on Collaborative Business Processes, Brisbane, Australia, Jan 2007, X, France. pp.206-217. ⟨hal-01125421⟩

Collections

CNAM CEDRIC-CNAM
44 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More