Modeling Time-Constrained Collaborative Workflows Based on Timed Recursive ECATNets - Archive ouverte HAL
Communication Dans Un Congrès Année : 2008

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

Dates et versions

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

Identifiants

  • HAL Id : hal-01125509 , version 1

Citer

Kamel Barkaoui, Awatef Hicheur. Modeling Time-Constrained Collaborative Workflows Based on Timed Recursive ECATNets. ECEC'08, 15th European Concurrent Engineering Conference, ECEC 2008, Porto, Portugal, Jan 2008, X, France. pp.95-99. ⟨hal-01125509⟩

Collections

CNAM CEDRIC-CNAM
36 Consultations
0 Téléchargements

Partager

More