吴剑峰
- 作品数：2 被引量：1H指数：1
- 供职机构：苏州大学计算机科学与技术学院更多>>
- 发文基金：江苏省高校自然科学研究项目国家重点实验室开放基金国家大学生创新性实验计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于NuSMV的Web服务失配限界模型检测被引量：1
- 2011年
- 目前,Web服务组合已成为Web服务领域的研究热点,Web服务失配检测是保证服务正常组合的基础.当服务模型状态数较大时,现有的失配检测方法将面临状态空间爆炸问题,本文采用限界模型检测技术,提出一种基于NuSMV的Web服务失配检测方法.该方法能够有效地处理服务模型状态数较大时的情形,并且能够实现在异步通信模式下进行Web服务失配的自动化检测.最后通过实验说明了该方法的可行性.
- 陈圣标吴剑峰张广泉
- 关键词：WEB服务NUSMV
- 带时间约束的Web服务组合建模与分析
- 2012年
- 如何将现有的Web服务进行组合、实现服务的增值是目前服务计算领域的一个研究热点.针对目前服务组合研究中缺乏对时间属性分析的不足,提出了一种基于时间服务模型(TSM)的Web服务组合模型检测方法.该方法首先将BPEL描述的Web服务行为文档建模为TSM,并转化为UPPAAL规约,然后用分支时序逻辑CTL表示服务组合的性质,最后采用模型检测工具UPPAAL验证服务组合的性质,并结合实例分析了该方法的可行性.
- 吴剑峰朱稷涵张广泉
- 关键词：BPELUPPAAL
