检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]同济大学计算机科学与工程系
出 处:《计算机学报》2008年第8期1340-1353,共14页Chinese Journal of Computers
基 金:国家“八六三”高技术研究发展计划项目“可靠的服务组合方法及其验证技术研究”(2007AA01Z136);国家“九七三”重点基础研究发展规划项目“语义网格的过程语义及其验证理论与服务集成技术”(2003CB316902)资助~~
摘 要:如何快速、准确和高效地发现满足用户需求的Web服务是现阶段急需解决的关键问题之一.文中针对现有的Web服务发现机制中存在的效率低下和查准率不高的两个问题,提出了一个新的语义Web服务发现框架.在该框架下,采用Petri网作为Web服务过程描述的形式化工具.首先,利用聚类技术,从服务的功能相似和过程相似两个层面对服务进行聚类预处理,从而在很大程度上降低服务的查找空间,提高服务的查找效率.进一步,针对服务请求中可能潜在的行为约束,建立基于Petri网的过程需求模型,将其与候选服务的过程模型进行比较,对满足功能需求的可行服务进一步筛选,从而提高查找的精确度.最后,利用仿真实验对所提出的方法进行验证.The discovery of suitable Web services for a given user requirement is one of the central operations in Service-oriented Architectures. With the popularization of Web services, researches on minimizing the discovery duration and improving precision ration are getting more important. This paper proposes a mechanism to support semantic Web service discovery. Petri net is adopted as a modeling language for the specification of service process model. On the one hand, the methodology of service clustering groups similar services according to the functional similarity and process similarity. The utilization of service clustering can potentially enable service matchmaker to significantly reduce the overhead, deploy the discovery of candidate services quickly. On the other hand, for a service request, a service matchmaker compares the functionality compatibility and process consistency with the candidate services. It is an extension of previous functionality-driving service matchmaking approaches, thus leading to more accurate matchmaking. In the end, some simulation results are demonstrated to show the effectiveness of the proposed method.
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.227