• 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