Modeling Time-Constrained Collaborative Workflows Based on Timed Recursive ECATNets
Résumé
In this paper, the Timed Recursive ECATNets (T-RECATNets) are introduced for the modelling and the analysis of time constrained flexible and collaborative workflows. The concurrent semantics of this model is expressed in terms of rewriting logics by means of real time rewrite theories. So, we can benefit from the use of the Real-Time Maude Tool as a simulation environment for the T-RECATNets.