关键词: Petri网, 服务流程, 模型, 分割, 执行引擎

Abstract: To solve united process customization and dynamic service process model fragmentation problems for various organizations, dynamic service process models fragmentation approaches based on multiple Business Process Execution Language for Web Services(WS-BPEL or BPEL)execution engines were proposed. Firstly, horizontal fragmentation and vertical fragmentation approaches based on high-level Petri nets were proposed, and a whole BPEL model was partitioned into several self-contained implementation sub-chips which were assigned on multiple BPEL execution engines respectively according to their organizations and roles. Correctness of the proposed model fragmentation was also verified. Furthermore, a hybrid fragmentation approach of Petri nets and its architecture were presented, so as to increase throughput as well as reduce the cost for service response time. An example was presented to illustrate the feasibility of the proposed hybrid fragmentation approach for the process implementation. Finally, a prototype system of hybrid fragmentation was developed. Experiment results showed that hybrid fragmentation was more effective than horizontal fragmentation and vertical fragmentation approaches.

Key words: Petri nets, service process, models, fragmentation, execution engines