基于Petri网的Web服务组合时间验证分析

• 作者: 陈琨 韩燕波
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: Web服务 Web服务组合 库所含时间因素的Petri网 服务可用时间 时间限制一致性
• 年，卷（期）: 2007,（20）
• 所属期刊栏目: 网络与通信技术
• 页码范围: 4938-4942
• 页数: 5页
• 分类号: TP302.1
• 字数: 5692字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7024.2007.20.035

摘要

由于各服务的分散性和自治性,Web服务组合需要建立可靠的表达和分析方法.针对Web服务组合时间一致性上的限制,用库所含时间因素的Petri网对服务组合模型的基本逻辑结构进行分析,对服务组合模型的执行时间和各服务可用时间进行有效性验证,并给出了时间可达性的静态和动态分析与验证方法.通过实例验证了用这些规则可对复杂的服务组合模型进行逐步化简和分析,能有效地去除存在时间限制冲突的服务组合方案,减少了因执行不合理的服务组合方案所造成的Web服务资源浪费.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	韩燕波	中国科学院计算技术研究所	44	770	13.0	27.0
2	陈琨	山东科技大学信息科学与工程学院	3	11	2.0	3.0