loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 International Symposium on Electronic Commerce and Security
Formalization and Verification of Inter-organizational Workflow Modeling for E-Commerce
August 03-August 05
ISBN: 978-0-7695-3258-5
ASCII Text
x 
 
Cui Jin-hong, Wang Xu, "Formalization and Verification of Inter-organizational Workflow Modeling for E-Commerce," Electronic Commerce and Security, International Symposium, pp. 862-865, 2008 International Symposium on Electronic Commerce and Security, 2008.
 
 
BibTex
x
 
@article{ 10.1109/ISECS.2008.164,
author = {Cui Jin-hong and Wang Xu},
title = {Formalization and Verification of Inter-organizational Workflow Modeling for E-Commerce},
journal ={Electronic Commerce and Security, International Symposium},
volume = {0},
year = {2008},
isbn = {978-0-7695-3258-5},
pages = {862-865},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISECS.2008.164},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Electronic Commerce and Security, International Symposium
TI - Formalization and Verification of Inter-organizational Workflow Modeling for E-Commerce
SN - 978-0-7695-3258-5
SP862
EP865
A1 - Cui Jin-hong,
A1 - Wang Xu,
PY - 2008
KW - null
VL - 0
JA - Electronic Commerce and Security, International Symposium
ER -
 
Reengineering and integration of inter-organizational workflow seems to be a necessity in order to survive and prosper in today’s E-commerce environment. In order to improve competitive capacity, an enterprise is confronted with workflow formalization and integration. This paper is devoted to formalization and verification of inter-organizational workflow modeling for E-commerce. A framework of Inter-organizational process management for E-commerce is proposed. An inter-organizational workflow model for E-commerce based on High-level Petri nets and the formative modelling methods are proposed. This modelling method is used to describe dynamic behaviours of inter-organizational workflows.
Citation:
Cui Jin-hong, Wang Xu, "Formalization and Verification of Inter-organizational Workflow Modeling for E-Commerce," isecs, pp.862-865, 2008 International Symposium on Electronic Commerce and Security, 2008
Usage of this product signifies your acceptance of the Terms of Use.