共查询到17条相似文献,搜索用时 484 毫秒
1.
2.
3.
4.
语义Web服务组合的形式化描述与验证研究 总被引:1,自引:0,他引:1
Web服务组合是Web服务的主要研究方向之一,对语义Web服务组合进行形式化描述并进行分析和验证是组合服务正确运行的保证.本文首先给出了基于有色Petri网的语义Web服务形式化模型,形式化描述了OWL-S的ServiceModel中8种基本的Web服务组合模式,利用这些组合模式可以构造出满足需求的组合Web服务.然后,对服务组合形式化模型的正确性分析和验证进行研究后,给出了组合模型语法正确性、可达性、活性和有界性的算法.最后,通过一个具体的建模实例展示了Web服务组合的Petri网建模. 相似文献
5.
Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型可以用来检查、验证Web服务组合以保证组合的正确性。针对目前最主要的一种语义Web服务组合的规范WEB本体论语言(Ontology Web Langage-Semantic,简称OWL-S),给出基于Pi演算的形式化描述,定义了Pi演算和OWl-S之间的概念映射,并给出了OWl-S的基于Pi演算的形式化模型,最后通过一个案例给出了模型验证的方法。 相似文献
6.
基于语义WEB的动态服务组合技术研究 总被引:3,自引:0,他引:3
本文描述了我们对动态服务组合技术的研究成果。本文首先对Web服务组合进行介绍;然后对Web服务组合给出形式化的定义,并对语义Web和OWL-S进行了分析;接着给出了一个基于语义Web的动态服务组合模型;最后讨论了存在的问题。 相似文献
7.
针对语义Web服务的组合与验证问题,提出了基于模型驱动架构(MDA)的组合方法与基于语义匹配度的匹配方法。组合方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模。在建模过程中使用基于语义匹配度的匹配方法,选择可用的子Web服务确定最合适的组合Web服务,并将该组合UML模型转化为可验证的Promela语言,使用SPIN工具进行验证,通过验证的UML模型作为模板保存于本体的知识库中以便使用。该模型提高了开发语义Web服务的效率,保证了组合过程的正确性,还能利用模板与语义匹配度实时发现与选择可用的Web服务。 相似文献
8.
9.
语义Web服务的OWL—S描述及其应用 总被引:1,自引:0,他引:1
实现语义Web服务的关键是对Web服务进行语义描述及其在语义检索模型中的应用.国外学术界提出的语义Web服务的OWL-S框架并没有充分考虑检索请求的中西语言表达的差异,因此该框架的实际应用必须对中文查询请求进行中文分词处理.语义Web服务的OWL-S检索模型,首先对中文检索请求语句进行中文分词,然后通过本体进行语义标注生成Web服务请求的OWL-S文档,继而在OWL-S语义扩展后的UDDI中实施语义检索匹配.该模型在中文分词的基础上,结合语义Web服务技术实现Web服务的动态查找与组合,可提高Web服务的查全率和查准率. 相似文献
10.
基于扩展CPN的OWL-S过程语义建模及分析方法研究 总被引:1,自引:0,他引:1
OWL-S过程语义的建模与分析是语义Web服务相关领域需要重点研究的问题。分析了目前OWL-S过程语义研究中存在的问题,提出了一种扩展的着色Petri网PM_ net(过程模型网,Process Model net)来对OWL-S的过程语义进行转化与分析。结合OWL-S过程模型元素的特点,PM_ nct对基本着色Pctri网的变迁和触发规则进行了扩展,使OWL-S的原子过程、组合过程和数据流等核心元素能够等价映射到PM net。同时说明了如何基于PM_ net对OWL-S的过程语义一致性进行分析,为OWL-S本体演化、语义Web服务组合和验证提供了合理的理论基础。 相似文献
11.
HTN planning for Web Service composition using SHOP2 总被引:25,自引:0,他引:25
12.
OWL-S的形式语义 总被引:1,自引:1,他引:0
本文分析了目前语义Web服务的研究现状和存在的问题,特别是语义web服务描述本体OWL-S的形式语义研究中存在的问题,在Srini Narayanan等人研究的基础上,用情景演算理论进一步研完了OWL—S中组合服务描述的形式语义,从而完善了OWL—S的形式语义,为语义Web服务提供了合理的理论基础。 相似文献
13.
Web服务组合研究是Web服务领域一个研究热点。本文利用0WL-S语言对Web服务进行描述,提高Web服务的机器可理解性,并利用语义信息进行Web服务组合操作。文中提出一个在JXTA环境中实现Web服务组合的模型,在其上实现了一个基于语义的Web服务组合方法,并通过一个简单的实例说明语义Web服务组合的具体过程。 相似文献
14.
OWL-S是一种面向领域本体的语义Web服务组合描述语言,也是一种可自动机器解释的语义标记语言,同时实现了Web服务功能和服务间互操作、互调用、互协作的语义化描述,是目前最重要的服务组合标准之一。提出了一种基于非马尔科夫随机PETRI网(NMSPN)的概率模型,对OWL-S描述的Web服务的控制流进行了建模和描述,并在NMSPN流程模型基础上建立了一系列的概率分析方法,实现了对语义Web服务的量化可信性的分析。 相似文献
15.
亮 《数字社区&智能家居》2007,3(7):95-96
Camtasia Studio 4是Tech Smith公司开发的一款专门捕捉屏幕音影的工具软件。它能在任何颜色模式下轻松地记录屏幕动作,包括影像、音效、鼠标移动的轨迹,解说声音等等。是制作抓取屏幕制作演示型课件首先软件之一。另外,它还具有及时播放和编辑压缩的功能,可以对视频片段进行剪接、添加转场效果。输出的文件格式很多,有常用的AVI及GIF格式,还可输出为Flash、RM、WMV及MOV格式,用起来非常顺手。同时它还是一款视频编辑软件,可以将多种格式的图像,视频剪辑连接成电影,输出格式可是GIF动画、AVI、RM等,并可将电影文件打包成EXE文件,在没有播放器的机器上也可以进行播放,同时还附带一个功能强大的屏幕动画抓取工具,内置一个简单的媒体播放器。[编者按] 相似文献
16.