Title :
Incremental Verification of Large ScaleWorkflows Based on Extended Correctness
Author :
Takaki, Osamu ; Takeuti, Izumi ; Seino, Takahiro ; Izumi, Noriaki ; Takahashi, Koichi
Author_Institution :
Center for Service Res., Nat. Inst. of Adv. Ind. Sci. & Technol., Tokyo
Abstract :
Correctness of workflows is one of the most important properties for quality improvement of workflows. It is a consistency property of workflows on the control flow perspective. In this paper, we extend correctness property of acyclic workflows to that of acyclic workflows with multiple starts and/or ends. The extended correctness is a natural extension of the original correctness property. It is preserved in "vertical\´\´ composition of workflows and "vertical\´\´ division of them. Moreover, we explain how to apply the extend correctness and its properties above to incremental verification of very large workflows on the control flow perspective.
Keywords :
workflow management software; acyclic workflows; extended correctness; incremental verification; large scale workflows; workflows quality improvement; Computer industry; Information analysis; Information systems; Information technology; Large-scale systems; Shape; Software engineering; Sufficient conditions; correctness; incremental approach; verification; workflow;
Conference_Titel :
Software Engineering Advances, 2008. ICSEA '08. The Third International Conference on
Conference_Location :
Sliema
Print_ISBN :
978-1-4244-3218-9
Electronic_ISBN :
978-0-7695-3372-8
DOI :
10.1109/ICSEA.2008.46
