Abstract

http://ssrn.com/abstract=1561292
 
 

References (12)



 


 



Verification of Inter-Organizational Workflow Models in Supply Chain Management


Henry H. Bi


Willamette University - Atkinson Graduate School of Management

Arie Segev


University of California, Berkeley - Economic Analysis & Policy Group

J. Leon Zhao


affiliation not provided to SSRN

2003

Proceedings of the Second Workshop on e-Business (WeB 2003), pp. 213-224, Seattle, WA, USA, December 13-14, 2003

Abstract:     
Inter-organizational workflows play an important role in supply chain management. The deployment of correctly designed workflow models helps avoid higher costs of breakdown, debugging, and fixing during runtime. The issue of workflow verification is even more critical in supply chain management as its workflow is comprised of a global workflow and the private workflows of all organizations involved. Furthermore, the autonomous requirement makes it difficult to verify all parts of the supply chain workflow as a single step. That is, organizations in a supply chain usually have no information about the processes of other organizations, and each organization can change its processes so long as such changes do not violate the public processes. As a result, an inter-organizational workflow cannot be simply treated as a single workflow for the purpose of verification. In this paper, we extend our logic-based workflow verification approach to supply chain management. We propose a two-level technique in which we isolate private processes by splitting public activities, verify each private process, and then verify the global process. We demonstrate the validity of the two-level approach in the context of supply chain management.

Number of Pages in PDF File: 12

Keywords: inter-organizational workflow verification, supply chain management, workflow verification

JEL Classification: M1

working papers series





Download This Paper

Date posted: March 1, 2010  

Suggested Citation

Bi, Henry H. and Segev, Arie and Zhao, J. Leon, Verification of Inter-Organizational Workflow Models in Supply Chain Management (2003). Proceedings of the Second Workshop on e-Business (WeB 2003), pp. 213-224, Seattle, WA, USA, December 13-14, 2003. Available at SSRN: http://ssrn.com/abstract=1561292 or http://dx.doi.org/10.2139/ssrn.1561292

Contact Information

Henry H. Bi (Contact Author)
Willamette University - Atkinson Graduate School of Management ( email )
900 State Street
Salem, OR 97301
United States
503-370-6225 (Phone)
HOME PAGE: http://www.willamette.edu/agsm/faculty_directory/bi.htm
Arie Segev
University of California, Berkeley - Economic Analysis & Policy Group ( email )
Berkeley, CA 94720
United States
510-642-4731 (Phone)
510-642-2826 (Fax)
J. Leon Zhao
affiliation not provided to SSRN ( email )
No Address Available
Feedback to SSRN


Paper statistics
Abstract Views: 392
Downloads: 101
Download Rank: 161,666
References:  12

© 2014 Social Science Electronic Publishing, Inc. All Rights Reserved.  FAQ   Terms of Use   Privacy Policy   Copyright   Contact Us
This page was processed by apollo5 in 0.313 seconds