陈圣标
- 作品数：3 被引量：1H指数：1
- 供职机构：苏州大学计算机科学与技术学院更多>>
- 发文基金：江苏省高校自然科学研究项目国家重点实验室开放基金江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于BMC的Web服务失配检测方法研究
- 面向服务的体系结构(SOA)作为一种新的软件开发范型，正逐步成为未来软件发展的趋势之一，而其主流的实现方式Web服务技术也得到了快速的发展与应用。由于单个Web服务提供的功能有限，有必要将多个服务组装成一个价值增值的、粒...
- 陈圣标
- 关键词：WEB服务软件开发形式化验证
- 基于NuSMV的Web服务失配限界模型检测被引量：1
- 2011年
- 目前,Web服务组合已成为Web服务领域的研究热点,Web服务失配检测是保证服务正常组合的基础.当服务模型状态数较大时,现有的失配检测方法将面临状态空间爆炸问题,本文采用限界模型检测技术,提出一种基于NuSMV的Web服务失配检测方法.该方法能够有效地处理服务模型状态数较大时的情形,并且能够实现在异步通信模式下进行Web服务失配的自动化检测.最后通过实验说明了该方法的可行性.
- 陈圣标吴剑峰张广泉
- 关键词：WEB服务NUSMV
- 基于限界模型检查的Web服务行为失配检测
- 2012年
- 在Web服务组合过程中,常因交互协议不一致等导致服务失配;Web服务失配检测可准确捕捉失配点,为实现服务的有效组合奠定基础。采用限界模型检查技术,提出一种基于可满足性模理论(SMT)的Web服务行为失配检测方法。该方法首先将服务失配检测问题转化为逻辑公式的可满足性判定问题,然后利用Yices工具实现Web服务行为失配检测,最后通过实例进一步阐述该方法的有效性。
- 戎玫陈圣标张广泉
- 关键词：WEB服务
