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

• 作者: 张广泉 戎玫 王昇
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 时间感知Web服务 时间服务协议 时间服务交互 模型检测 失配检测
• 年，卷（期）: 2011,（11）
• 所属期刊栏目: 学术论文
• 页码范围: 2568-2575
• 分类号: TP311
• 字数: 6881字
• 语种: 中文

摘要

针对现有Web服务组合过程中存在时间感知力弱、服务利用率低、组合可靠性差等问题,通过将定量时间属性引入Web服务交互适配框架中,研究时间感知Web服务交互行为的形式化建模与交互行为失配的自动检测问题.提出了用于表达单个时间感知Web服务交互行为的时间服务协议(TSP)模型和用于表达多个时间感知Web服务并发组合的时间服务协议网络(TSPN)模型;将时间感知Web服务交互失配检测问题转化为TSP模型之间的兼容性判定问题,定义了从时间感知Web服务描述至TSP模型和从TSP模型至UPPAAL规约的映射规则,给出了TSP模型兼容性性质的CTL公式表示,基于模型检测工具UPPAAL实现时间感知Web服务交互失配的自动化检测,其检测结果作为下一步是否需要构造适配器的判断依据;最后通过实例分析进一步阐述了上述方法的可行性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张广泉	苏州大学计算机科学与技术学院	147	1056	16.0	25.0
5	戎玫	暨南大学深圳旅游学院	48	418	12.0	18.0
6	王昇	苏州大学计算机科学与技术学院	5	28	2.0	5.0