DocumentCode
3144547
Title
Semi-automated Workflow Synthesis
Author
Fernandes, Abilio ; Breitman, Karin K. ; Vieira, Tatiana A S C ; Casanova, Marco A. ; Furtado, Antonio L.
Author_Institution
Pontificia Univ., Rio de Janeiro
fYear
2006
fDate
15-19 Nov. 2006
Firstpage
332
Lastpage
334
Abstract
Workflow management systems usually interpret a workflow definition rigidly. However, there are real life situations where users should be allowed to deviate from the prescribed static workflow definition for various reasons, including lack of information, unavailability of the required resources and unanticipated situations. Furthermore, workflow complexity may grow exponentially if all possible combinations of anticipated scenarios must be compiled into the workflow definition. To flexibilize workflow execution and help reduce workflow complexity, this paper proposes a dual strategy that combines a library of predefined typical workflows, of manageable complexity, with a planner mechanism capable of synthesizing more complex workflows, at execution time, tuned to the scenario in question. This dual strategy is motivated by the difficulty of designing emergency plans, modeled as workflows, which account for real life complex crisis or accident scenarios..
Keywords
workflow management software; planner mechanism; semiautomated workflow synthesis; workflow management systems; Accidents; Cleaning; Crisis management; Disaster management; Fires; Libraries; Petroleum; Sea measurements; Strategic planning; Workflow management software;
fLanguage
English
Publisher
ieee
Conference_Titel
Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on
Conference_Location
Paphos
Print_ISBN
978-0-7695-3071-0
Type
conf
DOI
10.1109/ISoLA.2006.32
Filename
4463732
Link To Document