Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams

Authors:
Osamu Takaki;Takahiro Seino;Izumi Takeuti;Noriaki Izumi;Koichi Takahashi
Affiliations:
National Institute of Advanced Industrial Science and Technology, Osaka, Japan;National Institute of Advanced Industrial Science and Technology,Tokyo, Japan;National Institute of Advanced Industrial Science and Technology,Tokyo, Japan;National Institute of Advanced Industrial Science and Technology,Tokyo, Japan;National Institute of Advanced Industrial Science and Technology, Osaka, Japan
Venue:
ICSEA '07 Proceedings of the International Conference on Software Engineering Advances
Year:
2007

Citing 0
Cited 1

Workflow Diagrams Based on Evidence Life Cycles

Proceedings of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.