模型驱动架构的语义组合Web服务的验证

• 作者: 朱正东 李增智 王勇 蓝荣贵
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 语义web服务 组合验证模型 模型驱动架构(MDA) 语义匹配度
• 年，卷（期）: 2011,（8）
• 所属期刊栏目: 网络、通信、安全
• 页码范围: 51-55
• 分类号: TP311
• 字数: 4154字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2011.08.016

摘要

针对语义Web服务的组合与验证问题,提出了基于模型驱动架构(MDA)的组合方法与基于语义匹配度的匹配方法.组合方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模.在建模过程中使用基于语义匹配度的匹配方法,选择可用的子Web服务确定最合适的组合Web服务,并将该组合UML模型转化为可验证的Promela语言,使用SPLN工具进行验证,通过验证的UML模型作为模板保存于本体的知识库中以便使用.该模型提高了开发语义Web服务的效率,保证了组合过程的正确性,还能利用模板与语义匹配度实时发现与选择可用的Web服务.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李增智	西安交通大学计算机系	243	2855	25.0	43.0
2	朱正东	西安交通大学计算机系	23	95	6.0	8.0
3	王勇		9	16	2.0	4.0
4	蓝荣贵	西安交通大学计算机系	2	1	1.0	1.0