时间感知Web服务交互行为建模与失配检测方法研究

作者：张广泉; 戎玫; 王昇

来源：电子学报, 2011, (11): 2568-2575.

• 时间感知Web服务
• 时间服务协议
• 时间服务交互
• 模型检测
• 失配检测 time-aware web services
• timed service protocol
• timed service interaction
• model checking
• mismatch checking

针对现有Web服务组合过程中存在时间感知力弱、服务利用率低、组合可靠性差等问题,通过将定量时间属性引入Web服务交互适配框架中,研究时间感知Web服务交互行为的形式化建模与交互行为失配的自动检测问题.提出了用于表达单个时间感知Web服务交互行为的时间服务协议(TSP)模型和用于表达多个时间感知Web服务并发组合的时间服务协议网络(TSPN)模型;将时间感知Web服务交互失配检测问题转化为TSP模型之间的兼容性判定问题,定义了从时间感知Web服务描述至TSP模型和从TSP模型至UPPAAL规约的映射规则,给出了TSP模型兼容性性质的CTL公式表示,基于模型检测工具UPPAAL实现时间感知Web服...

• 单位
  中国科学院; 计算机科学国家重点实验室; 苏州大学; 暨南大学深圳旅游学院