首页|基于符号模型检测的Web服务组合形式化验证

基于符号模型检测的Web服务组合形式化验证

扫码查看
原文链接
  • 国家科技期刊平台
  • NETL
  • NSTL
  • 万方数据
  • 维普
随着经济的发展和市场竞争的加剧,企业必须能够快速且准确地满足市场和用户的各种需求.Web服务组合正是由于单个Web服务不能满足企业及用户的需求而产生的一种技术,而如何确保组合的正确性来实现服务增值是一个尚未完全解决的问题.针对此问题,提出了一种基于符号模型检测器NuSMV对Web服务组合进行验证的方法,并提出了基于消息会话的Web服务有限状态自动机的形式化定义.最后实例验证了Web服务组合交互的正确性和有无死锁状态现象,进一步证明了方法的可行性.
Formal Verification of Web Service Composition Based on Symbolic Model Checking

张世杰、徐鹏、刘沛瑶

展开 >

西南交通大学数学学院 成都 610031

系统可信性自动验证国家地方联合工程实验室 成都 610031

Web服务组合 符号模型检测 有限状态自动机 形式化定义 NuSMV

国家自然科学基金四川省教育厅项目

6167332018ZB0589

2021

10.3969/j.issn.1672-9722.2021.03.015

计算机与数字工程
中国船舶重工集团公司第七0九研究所

计算机与数字工程

CSTPCD
影响因子：0.355
ISSN：1672-9722
年,卷(期)：2021.49(3)
  • 1
  • 6