基于BPEL-PN的服务组合流程合理性验证研究  

作　　者：胡晓静[1] 刘士喜[1] 

机构地区：[1]滁州学院计算机与信息工程学院,安徽滁州239000

出　　处：《湖北工程学院学报》2018年第3期75-79,共5页Journal of Hubei Engineering University

基　　金：安徽省自然科学基金资助项目(180805MF170);滁州学院科研启动基金资助项目(2016qd10);滁州学院课程综合改革项目(2017kcgg010;2016jy024);安徽省教学研究项目(2017jyxm1240)

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

关 键 词：BPEL-PN 自由选择网 服务组合流程 合理性 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]