Title :
A formal task model for flexible workflows systems
Author_Institution :
Inst. Super. des Technol. Medicales de Tunis (ISTMT), Tunis, Tunisia
Abstract :
In order to make the workflows systems more adaptable to the dynamic changes, we depict a task formal model which makes possible to define the various relations between the tasks and particularly to ensure the feasibility of the workflow execution and to provide solutions whenever any change is met during its running.
Keywords :
formal verification; task analysis; workflow management software; dynamic changes; flexible workflow systems; formal task model; workflow execution feasibility; Adaptation models; actor competences; coherence; models tasks; runability; workflow;
Conference_Titel :
Modeling, Simulation and Applied Optimization (ICMSAO), 2013 5th International Conference on
Conference_Location :
Hammamet
Print_ISBN :
978-1-4673-5812-5
DOI :
10.1109/ICMSAO.2013.6552712
