基于OWL-S的Web服务组合的验证研究

• 作者: 李增智 滕星全
• 来源期刊: 微电子学与计算机
• 关键词: Web服务组合的验证 OWL-S 三层体系结构思想 GA模型 Promela模型
• 年，卷（期）: 2007,（12）
• 页码范围: 62-65,69
• 页数: 5页
• 分类号: TP393
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2007.12.017

摘要

为保证基于OWL-S的Web服务组合的正确性和可靠性,验证组合服务的交互协议,采用一种三层体系结构思想,即以OWL-S来组合服务,以GA模型为中间模型,以Promela模型为验证模型,设计和实现了服务组合模型到GA模型的转化,并将GA模型转化为Promela模型,最后利用SPIN工具完成验证.由于采用了中间模型,该方法具有极好的灵活性和可扩展性.并且较好地解决了Web服务的特征给模型验证带来挑战的问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李增智	西安交通大学计算机系统结构与网络研究所	243	2855	25.0	43.0
2	滕星全	西安交通大学计算机系统结构与网络研究所	1	8	1.0	1.0