|
 
|
[BH08] Modeling Time-Constrained Collaborative Workflows Based on Timed Recursive ECATNets
Conférence Internationale avec comité de lecture : ECEC'08, 15th European Concurrent Engineering Conference, ECEC 2008, Porto, Portugal, January 2008, pp.95-99, Series IEEE,
motcle:
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.
BibTeX
| @inproceedings { | |||
| BH08, | |||
| title | = | "{Modeling Time-Constrained Collaborative Workflows Based on Timed Recursive ECATNets}", | |
| author | = | " K. Barkaoui and A. Hicheur ", | |
| booktitle | = | "{ECEC'08, 15th European Concurrent Engineering Conference, ECEC 2008, Porto, Portugal}", | |
| year | = | 2008, | |
| month | = | "January", | |
| series | = | "IEEE", | |
| issue | = | 15, | |
| pages | = | "95-99", | |
| } | |||
