Modeling Workflows with Recursive ECATNets

Awatef Hicheur (1) , Kamel Barkaoui (1) , Noura Boudiaf (1)

1 CEDRIC - Centre d'études et de recherche en informatique et communications

A major limitation of current workflow management systems appears in (1) their lack of support for flexible workflows whose structures can be modified dynamically during the execution and (2) in their failure in dealing, efficiently, with the most advanced workflow patterns. In this paper, we propose a new model which we call recursive ECATNets (RECATNets) to model workflow processes with dynamic structure and, particularly, to handle the most complex workflow patterns, in a concise way. The RECATNets extend classical ECATNets (Extended Concurrent Algebraic Term Nets) with the recursion concept firstly introduced in the recursive Petri nets. We define the semantics of RECATNets in the conditional rewriting logic framework. Rewriting logic is a true concurrency and operational semantics which allows rapid prototyping using rewriting techniques and the system Maude in particular. For further information, please visit this web site.

Domaines: Informatique [cs]; Calcul parallèle, distribué et partagé [cs.DC]

Awatef Hicheur, Kamel Barkaoui, Noura Boudiaf. Modeling Workflows with Recursive ECATNets. SYNASC'06, 8th IEEE Int. Symp. on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, Jan 2006, X, France. pp.389-398. ⟨hal-01125424⟩