Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01125421 , version 1

Citer

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
53 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More