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

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