|
 
|
[BH07] Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets
Conférence Internationale avec comité de lecture : CBP'07, International Workshop on Collaborative Business Processes, Brisbane, Australia, January 2007, pp.206-217, Series LNCS ,
motcle:
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.
For further information, please visit this web site.
BibTeX
| @inproceedings { | |||
| BH07, | |||
| title | = | "{Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets}", | |
| author | = | " K. Barkaoui and A. Hicheur ", | |
| booktitle | = | "{CBP'07, International Workshop on Collaborative Business Processes, Brisbane, Australia}", | |
| year | = | 2007, | |
| month | = | "January", | |
| series | = | "LNCS ", | |
| issue | = | 4928, | |
| pages | = | "206-217", | |
| } | |||
