检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]国防科学技术大学计算机学院,长沙410073
出 处:《小型微型计算机系统》2013年第12期2696-2701,共6页Journal of Chinese Computer Systems
摘 要:现有的基于网的服务适配方法主要存在三个问题:需要借助Petri网的状态可达图来产生或验证服务适配器,这可能导致状态空间爆炸问题;都没有综合考虑语义层上的适配问题,仅能半自动地生成服务适配器;都没有涉及服务的可适配性分析问题,难以将这些方法应用到动态服务适配领域.针对上述问题,提出一种基于语义服务流网的Web服务适配方法.该方法基于语义服务流网的语义信息和规范化结构,实现了跨语义层和行为层的高效的可适配性分析和全自动的适配器生成.There are three main challenges in current Petri net-based methods: firstly these methods achieve adaptation or adapter veri- fications by means of the reachability graphs of Petri nets, which may result in state explosion problems ; secondly these methods do not consider adaptations at semantic level yet and just semi-automatically generate service adapters ; finally these methods do not con- sider service adaptability analysis yet and are difficult to be applied in dynamic service adaptation. Faced with all these problems, we in this paper present a formal approach to service adaptation based on semantic service flow nets. Our approach achieves efficient service adaptability analysis and full automatic adapter generation across semantic and behavior levels by exploiting the regular struc- ture and semantic information of semantic service flow nets.
关 键 词:服务适配 适配器 语义服务流网 类PI算子 WEB服务
分 类 号:TP393[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.7