通信学报
• • 上一篇 下一篇
高洪皓,李 莹,张渊源
出版日期:
发布日期:
Online:
Published:
摘要: 针对Web服务组合的可靠性检验问题,结合定理证明方法,改进了模型检验框架,提出了一种基于可信链模型的Web服务组合方法。采用扩展的标签迁移系统(ELTS)模型描述Web服务组合行为和交互协议,为每个服务状态和迁移行为分别标识可信集和迁移约束,使得服务组合过程转化为可信集演算过程。引入谓词变换函数WP(Q,R)推导服务组合的最弱前置条件,通过检验可信集和最弱前置条件的蕴含关系,证明组合的正确性。给出了3种基于可信链模型的大粒度服务可信组合方法,随后通过对比实验验证所提方法的有效性。
高洪皓,李 莹,张渊源. 基于可信链模型的Web服务组合研究[J]. 通信学报.
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.infocomm-journal.com/txxb/CN/
https://www.infocomm-journal.com/txxb/CN/Y2011/V32/I9A/12