RGPS服务本体交互演化模型的分析与验证

摘要：

　　在动态、异构和自治的互联网环境中，对WEB服务组合的形式化分析与验证是保证面向服务计算软件应用实时可性的有效途径，寻找有效的形式化分析的方法和工具是热点领域。现有研究主要是集中在服务组合流程和静态结构方面，在动态反映用户需求的服务组合及服务的动态耦合支持不够。本文从服务本体语义的层次，通过对OWL-S进行RGPS属性扩充，然后将其应用SOA架构模型映射到PI演算模型，对服务组合的动态耦合和可靠性进行分析并用PI演算验证工具MWB进行验证，结果表明方法的可行性，为动态服务组合的可靠和安全分析提供有效方法。

关键词： RGOWL-S Pi演算 进程 RGPS

作者: 黄贻望 何克清 李征 黄颖 袁科

作者单位: 武汉大学软件工程国家重点实验室 武汉大学计算机学院 武汉 430072;铜仁学院 数学与计算机科学系 铜仁 550025 武汉大学软件工程国家重点实验室 武汉大学计算机学院 武汉 430072 南开大学 信息技术科学学院 天津 300071

会议类型: 国内会议

会议名称: 2012年第三届中国计算机学会服务计算学术会议

会议地点: 西安

会议语种:中文

页码: 1-14

在线出版日期: 2012-08-16（万方平台首次上网日期，不代表论文的发表时间）