一种Web服务组合模型合理性验证方法 |
| |
引用本文: | 胡晓静,刘士喜,王涛.一种Web服务组合模型合理性验证方法[J].孝感学院学报,2015(3):16-20. |
| |
作者姓名: | 胡晓静 刘士喜 王涛 |
| |
作者单位: | 滁州学院计算机与信息工程学院 |
| |
基金项目: | 安徽省高校省级科学研究项目(KJ2012Z282);滁州学院自然科学基金资助项目(2011kj008B);滁州学院科研启动基金项目(2012qd09);安徽省自然科学基金项目(1508085MF123) |
| |
摘 要: | 为了更加有效地对Web服务组合进行分析验证,设计BPEL到PNML语言的文件转换规则,实现Web服务组合流程的Petri网建模。针对Web服务组合流程设计中可能存在死锁及不正确的流程,在不破坏原Petri网模型结构性质与系统行为的基础上,将其调整映射为自由选择网。在自由选择Petri网理论基础上,设计了一种Web服务组合Petri网模型的合理性验证规则,能在多项式时间内分析网模型的结构活性与有界性,从而避免采用传统的可达树等分析方法出现的状态空间爆炸问题。最后,使用两个具体的Web服务组合Petri网模型证明了本文方法的有效性。
|
关 键 词: | Web服务 Petri网 合理性验证 自由选择网 |
本文献已被 CNKI 等数据库收录! |
|