Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams

In this paper, we introduce an algorithm called "EVA" (Evidence Verification Algorithm), which verifies consistency of life cycles of evidence-documents in workflows. As syntax of workflows, we use extended UML activity diagrams, which have additional information about evidence-documents. EVA verifies the existence of consistent sequences of flows between occurrences of evidence-documents in a workflow. It is significant to verify consistency of life cycles of evidence-documents, since one can find some defects of a workflow itself by checking inconsistent life cycles of evidence-documents in the workflow.