通信学报

• • 上一篇    下一篇

基于可信链模型的Web服务组合研究

高洪皓,李 莹,张渊源   

  • 出版日期:2011-09-30 发布日期:2011-09-16

  • Online:2011-09-30 Published:2011-09-16

摘要: 针对Web服务组合的可靠性检验问题,结合定理证明方法,改进了模型检验框架,提出了一种基于可信链模型的Web服务组合方法。采用扩展的标签迁移系统(ELTS)模型描述Web服务组合行为和交互协议,为每个服务状态和迁移行为分别标识可信集和迁移约束,使得服务组合过程转化为可信集演算过程。引入谓词变换函数WP(Q,R)推导服务组合的最弱前置条件,通过检验可信集和最弱前置条件的蕴含关系,证明组合的正确性。给出了3种基于可信链模型的大粒度服务可信组合方法,随后通过对比实验验证所提方法的有效性。

No Suggested Reading articles found!