Formalization and Verification of Inter-organizational Workflow Modeling for E-Commerce

Reengineering and integration of inter-organizational workflow seems to be a necessity in order to survive and prosper in todaypsilas 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.