Paper Info
Title
Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams
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.
Year
DOI
Venue
2007
10.1109/ICSEA.2007.84
ICSEA
Keywords
Field
DocType
inconsistent life cycle,additional information,life cycle,extended uml activity diagrams,evidence life cycles,consistent sequence,uml activity diagram,evidence verification algorithm,activity diagram,formal verification,unified modeling language
Programming language,UML tool,Systems engineering,Computer science,Theoretical computer science,Communication diagram,Applications of UML,Systems Modeling Language,Workflow,Class diagram,Algorithm,Activity diagram,Formal verification
Conference
ISBN
Citations 
PageRank 
0-7695-2937-2
2
0.41
References 
Authors
0
5
Name
Order
Citations
PageRank
Osamu Takaki154.26
Takahiro Seino2294.49
Izumi Takeuti3164.73
Noriaki Izumi415528.38
Koichi Takahashi5386.30