【摘 要】
：
语义Web和Web服务是当前热门的应用技术，而两者的结合——语义Web服务将在未来几年具有极大的应用前景。语义使得Web服务的自动发现和自动组装变得非常容易、高效，但是随之而来
论文部分内容阅读
语义Web和Web服务是当前热门的应用技术，而两者的结合——语义Web服务将在未来几年具有极大的应用前景。语义使得Web服务的自动发现和自动组装变得非常容易、高效，但是随之而来的问题是如何确保自动组装的Web服务组合在本体知识库的状态下是一致的，并且在执行过程中也始终保持一致。
本文介绍了一种基于路径的语义Web服务组合验证方案，通过对服务组合中的单个Web服务进行输入、输出、前置条件和执行效果(IOPE)进行语义标注，旨在找出组合执行过程中在任何结点处可能存在的不一致性。文章定义了显式不一致性和隐式不一致性，首先提出了语义Web服务前置条件和执行效果的正规化表示方法，然后介绍了顺序和并发执行的多个Web服务之执行效果自动化累积算法，接下来给出了基于路径的一致性验证算法。文章还给出了实现该验证方案的平台架构，给出了相关实验过程和结果。
文章还完整地介绍了中科院某研究所本体的构造和扩充过程，定义了研究生毕业申请服务组合，并介绍了服务的IOPE标注，最后运用验证方案对该组合进行验证，给出了验证结果。
其他文献
随着互联网的日益发展和普及,其传播内容的健康性和安全性问题日益突出,这些问题严重地影响了社会的稳定,危害了人们的身心健康。对互联网上的信息内容进行必要的监管,已经成
近年来,随着网络接入技术的高速发展以及计算机硬件技术的成熟和提升,越来越多的主机具备了多个网络接口独立通信的能力。为了能够向不同的会话提供足够的资源,当接入不同网
JEFC义务教育新材料,强调教学以学生的发展为宗旨,重视学生的听、说、读、写综合素质的培养,强调对学生的素质教育。而师生间的情感是英语素质教育中的一个重要组成部分。它
实时功能磁共振可以通过采集BOLD信号快速获取和分析脑功能图像。实时功能磁共振成像的特点就是即时处理已获得的数据从而达到在线分析。作为脑-机接口的一种形式,通过它可以
为了改变教学习题配置的滞后性,走出数学解题教学的低效状态,有关教育专家纷纷呼吁“解决问题”配置考题,以问题解决为主导,引领学生经过分析、讨论将实际问题建成数学模型,
数列是高中数学的重要内容之一,也是高考的考查重点.而数列的通项公式,是研究数列的第一个环节,也是最重要的一个环节.有了数列的通项,问题研究起来就方便多了.数列通项公式
城市公共交通是与人民群众生产生活息息相关的重要基础设施。从我国人口密集、用地紧缺的国情出发,优先发展客运效率最高的公共交通是我国城市客运交通的主要发展方向,是解决
《普通高中课程标准实验教科书数学(A版)》已试行两个循环,深受好评.新教材紧跟时代发展,以生动活泼的呈现方式,激发学生学习兴趣,以恰当的问题引领、培养学生问题意识和探索
记者:目前,许多报刊出现了“滑坡”现象,听说(《资料卡片》今年的发行量却上升了,请介绍一下详情。郝耀华(《资料卡片》杂志社总编辑):《资料卡片》是一份资料性文摘半月刊,
本文介绍了一种新型舱体式防渔拖海床基,可布放在200m以浅海域进行长期、定点、连续、综合观测。该型海床基由坐底平台、浮体仪器舱和释放器等配件组成,可以搭载多种观测传感