loading...
Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams
Cap Esterel, France August 25-August 31
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICSEA.2007.84International Conference on Software ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi, "Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams," Software Engineering Advances, International Conference on, pp. 9, International Conference on Software Engineering Advances (ICSEA 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/ICSEA.2007.84,
author = {Osamu Takaki and Takahiro Seino and Izumi Takeuti and Noriaki Izumi and Koichi Takahashi},
title = {Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams},
journal ={Software Engineering Advances, International Conference on},
volume = {0},
year = {2007},
isbn = {0-7695-2937-2},
pages = {9},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICSEA.2007.84},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering Advances, International Conference on
TI - Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams
SN - 0-7695-2937-2
SP
EP
A1 - Osamu Takaki,
A1 - Takahiro Seino,
A1 - Izumi Takeuti,
A1 - Noriaki Izumi,
A1 - Koichi Takahashi,
PY - 2007
KW - null
VL - 0
JA - Software Engineering Advances, International Conference on
ER -
 
Osamu Takaki, National Institute of Advanced Industrial Science and Technology, Osaka, Japan
Takahiro Seino, National Institute of Advanced Industrial Science and Technology,Tokyo, Japan
Izumi Takeuti, National Institute of Advanced Industrial Science and Technology,Tokyo, Japan
Noriaki Izumi, National Institute of Advanced Industrial Science and Technology,Tokyo, Japan
Koichi Takahashi, National Institute of Advanced Industrial Science and Technology, Osaka, Japan
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.
Citation:
Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi, "Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams," icsea, pp.9, International Conference on Software Engineering Advances (ICSEA 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions