DocumentCode
614887
Title
A formal task model for flexible workflows systems
Author
Hachicha, Rim
Author_Institution
Inst. Super. des Technol. Medicales de Tunis (ISTMT), Tunis, Tunisia
fYear
2013
fDate
28-30 April 2013
Firstpage
1
Lastpage
7
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Modeling, Simulation and Applied Optimization (ICMSAO), 2013 5th International Conference on
Conference_Location
Hammamet
Print_ISBN
978-1-4673-5812-5
Type
conf
DOI
10.1109/ICMSAO.2013.6552712
Filename
6552712
Link To Document