Home // International Journal On Advances in Software, volume 1, number 1, 2008 // View article

Verification of Evidence Life Cycles in Workflow Diagrams with Passback Flows

Authors:
Osamu Takaki
Takahiro Seino
Izumi Takeuti
Noriaki Izumi
Koichi Takahashi

Keywords: workflow diagram, verification, evidece life cycle

Abstract:
We introduce the Evidence Verification Algorithm (EVA) in this paper, which verifies consistency of life cycles of evidences (evidence documents) in workflow diagrams. We used the AIST Workflow Language (AWL) as the syntax for workflow diagrams, which has additional information about evidences. A workflow diagram of AWL is essentially the same as a Unified Modeling Language (UML) activity diagram. EVA verifies the existence of consistent sequences of flows between the occurrences of evidences in a workflow diagram. It is important to verify consistency of life cycles of evidences, since some defects in the workflow diagram itself can be found by checking inconsistent life cycles of evidences in a workflow diagram.

Pages: 14 to 25

Copyright: Copyright (c) to authors, 2008. Used with permission.

Publication date: February 24, 2009

Published in: journal

ISSN: 1942-2628