论文部分内容阅读
针对服务组合流程中可能存在的死锁及不正确流程,采用BPEL流程描述语言,设计服务组合流程Petri网(BPEL-PN),在不破坏原网模型结构性质的基础上,将其调整映射为(扩充)自由选择网。根据BPEL-PN模型的流程合理性验证方法,分析网模型的结构活性与有界性,判断该网模型是否合理。最后以具体的服务组合流程模型进行验证研究,证明该方法的有效性。