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

作     者：胡晓静 刘士喜 

作者机构：滁州学院计算机与信息工程学院安徽滁州239000 

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

出 版 物：《湖北工程学院学报》 (Journal of Hubei Engineering University)

年 卷 期：2018年第38卷第3期

页      码：75-79页

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

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.2095-4824.2018.03.015

馆 藏 号：203293103...