基于RGPS服务本体交互建模分析与验证

• 作者: 何克清 李征 袁科 黄贻望 黄颖
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: RGOWL-S Pi演算 进程 RGPS
• 年，卷（期）: 2013,（3）
• 所属期刊栏目: 计算机软件与数据库技术
• 页码范围: 461-465
• 页数: 5页
• 分类号: TP311
• 字数: 4168字
• 语种: 中文

摘要

在动态、异构和自治的互联网服务环境中,对WEB服务组合的形式化分析与验证是保证按需服务应用的有效途径,寻找有效的形式化分析方法和工具是热点领域.针对现有研究主要是集中于服务组合流程和静态结构方面,而在动态反映用户需求的服务组合及支持服务的动态耦合存在不足.本文从服务本体的语义层面,通过对OWL-S进行RGPS属性扩充,研究SOA架构模型映射到Pi演算的进程模型,对动态耦合的按需服务组合进行形式化分析并用Pi演算验证工具MWB进行验证.实验结果表明方法的可行性,为按需动态服务组合的有效性分析提供了一种验证方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何克清	武汉大学软件工程国家重点实验室计算机学院	109	1270	18.0	32.0
2	黄颖	武汉大学软件工程国家重点实验室计算机学院	30	211	8.0	14.0
3	李征	武汉大学软件工程国家重点实验室计算机学院	6	23	2.0	4.0
4	袁科	南开大学信息技术科学学院	5	10	2.0	2.0