论文部分内容阅读
为了解决基于中介器服务组合方法的状态爆炸和不能自动生成BPEL（business process execution language）的问题，提出了一种基于Petri网模块化可达图的服务组合验证方法．服务组合的Petri网模型通过中介变迁进行模型分割，分别对各个部分构建可达图，再对模块化可达图进行服务组合可行性分析．采用模块化可达图可以大量节省空间开销，有效避免空间爆炸问题．在验证服务组合可行的情况下提出了基于ECA规则形式的BPEL过程代码自动生成方法，也就是将服务组合Petri网模型的中介变迁以及每