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

Analysis and Verification of Interactive Model Based on RGPS Service Ontology

作　　者：黄贻望[1,2] 何克清[1] 李征[1] 黄颖[1] 袁科[3] 

机构地区：[1]武汉大学软件工程国家重点实验室计算机学院,武汉430072 [2]铜仁学院数学与计算机科学系,贵阳铜仁550025 [3]南开大学信息技术科学学院,天津300071

出　　处：《小型微型计算机系统》2013年第3期461-465,共5页Journal of Chinese Computer Systems

基　　金：国家科技支撑计划项目(2012BAH07B01)资助;国家自然科学基金项目(60970017)资助;金蝶项目国家云计算示范工程资助;中央高校基本科研业务费专项资金项目(201121102020004;2012211020201)资助;江西省教育厅项目(GJJ11216)资助;贵州省科学技术厅;铜仁市科学技术局;铜仁学院联合基金项目(黔科合J字LKT[2012]04号)资助;铜仁学院科研启动基金项目(TS10013)资助

摘　　要：在动态、异构和自治的互联网服务环境中,对WEB服务组合的形式化分析与验证是保证按需服务应用的有效途径,寻找有效的形式化分析方法和工具是热点领域.针对现有研究主要是集中于服务组合流程和静态结构方面,而在动态反映用户需求的服务组合及支持服务的动态耦合存在不足.本文从服务本体的语义层面,通过对OWL-S进行RGPS属性扩充,研究SOA架构模型映射到Pi演算的进程模型,对动态耦合的按需服务组合进行形式化分析并用Pi演算验证工具MWB进行验证.实验结果表明方法的可行性,为按需动态服务组合的有效性分析提供了一种验证方法.In the Internet environment of dynamic and autonomy,it is a validity approach to ensure the reliability and real-time for the software application of oriented-service computing with formal analysis and checking to WEB service.It is a hot field to seek formal method and tools,the current research focus on the composite flow and static structure of service,but it is not enough to support use′s requirement and dynamic couple of service composite.This paper use the extend OWL-S with the RGPS from the top-level service ontology,then transform the SOA model into PI calculus model,and analyze the dependency and dynamic coupling of service composite and verified the model with MWB,show the result is availability,and provide a method for the dynamical couple systems.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]