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

fYear

2008

fDate

26-31 Oct. 2008

Firstpage

478

Lastpage

487

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICSEA.2008.46

Filename

4668149