搜索结果: 1-3 共查到“邮电通信管理工程 Web”相关记录3条 . 查询时间(0.078 秒)
基于可信链模型的Web服务组合研究
可信链模型 Web服务 最弱前置条件 迁移约束
2011/7/5
针对Web服务组合的可靠性检验问题，结合定理证明方法，改进了模型检验框架，提出了一种基于可信链模型的Web服务组合方法。采用扩展的标签迁移系统（ELTS）模型描述Web服务组合行为和交互协议，为每个服务状态和迁移行为分别标识可信集和迁移约束，使得服务组合过程转化为可信集演算过程。引入谓词变换函数WP(Q,R)推导服务组合的最弱前置条件，通过检验可信集和最弱前置条件的蕴含关系，证明组合的正确性。给出...
增强Web服务可信性的服务选择方法
Web服务 可信性 服务选择 博弈论
2010/10/10
应用博弈论方法，建立了基于纳什讨价还价解的服务选择模型，提出了一种增强Web服务可信性的服务选择方法。设计了完全理性的服务双方的讨价还价算法，对服务的价格进行调整，以达到服务请求者与服务提供者双方效用最大化，从而提高交易的成功率和服务的可信性。实验结果表明，在服务提供者与请求者之间就服务质量、信誉、安全等属性进行博弈的基础上作服务选择，能够促进可信服务计算环境的建立，增强服务的可信性。