基于Petri网的动态服务流程模型分割

Dynamic service process models fragmentation based on Petri nets

为解决不同组织之间的统一流程定制和动态服务流程模型分割问题,提出了基于多个业务流程执行引擎支持的动态服务流程模型分割方法。首先提出基于高级Petri网的水平分割和垂直分割方法,将一个全局的BPEL模型分割为若干个完备的执行分片,然后根据组织的不同,分别放置在多个BPEL行语言引擎上执行,在此基础上进行了模型分割的正确性验证;为进一步提高多个BPEL引擎共同执行的性能,提出了混合分割方法及其体系结构,从而提高了其吞吐率,减少了服务响应时间的花费,并通过示例验证了BPEL流程模型混合分割执行的可行性。最后给出了支持模型混合分割的原型系统,实验结果表明,该模型的混合分割比水平分割和垂直分割更有效。

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.