邱田
- 作品数：3 被引量：49H指数：3
- 供职机构：中国科学院研究生院更多>>
- 发文基金：国家高技术研究发展计划中国科学院知识创新工程国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于OWL-S的服务发现语义匹配机制被引量：24
- 2010年
- 本文提出一种基于OWL-S的语义web服务匹配系统的机制,将语义元素引入UDDI系统中,从而在UD-DI中保存语义信息.系统通过语义服务匹配算法提高web服务匹配的准确度和召回率,并通过数据映射机制保证模型对于当前的服务发现标准UDDI基础架构的兼容以及UDDI标准操作接口的透明性.系统使用本体概念的索引机制提高服务发现的效率.而且,系统在建立和维护索引的过程、或服务的匹配过程中使用近似概念搜寻算法进一步提高本体概念搜寻和服务匹配的效率.
- 邱田胡晓惠李鹏飞马恒太
- 关键词：WEB服务发现
- 一个基于概念语义近似度的Web服务匹配算法被引量：24
- 2009年
- 随着web服务的迅速发展和广泛应用,高效的服务发现逐渐成为一个关键问题.目前的web服务发现标准UDDI(Universal Description,Discovery,and Integration),存在不支持语义推理的局限性,而且无法根据服务的能力和属性进行搜索,限制了服务发现的效能.针对这个问题可以采用在服务发现中引入OWL-S的方法.本文提出了一个基于概念语义近似度的web服务语义匹配算法,通过对服务的不同属性进行语义匹配计算,从而提高服务发现的查准率和查全率.算法基于一个关键的语义近似度度量函数,用以计算本体实体概念的语义近似度值.测试算法的实验结果显示了算法的有效性.
- 邱田李鹏飞林品
- 关键词：WEB服务发现UDDIOWL-S
- 移动代理完整性协议形式化分析方法研究被引量：3
- 2009年
- 本文给出了移动代理协议数据完整性属性的定义,指出了采用传统认证性属性来分析移动代理数据完整性属性的不足,从而给出了移动代理完整性证明的两个形式化规约:数据完整性规约和序列完整性规约.在此基础上,针对典型协议实例进行CPS建模,并采用阶函数的方法证明了其完整性,验证了完整性规约的正确性和有效性.
- 李鹏飞马恒太侯玉文邱田
- 关键词：移动代理数据完整性形式化方法
