基于语义描述的分布式Web服务发布与发现

结合P2P与Web服务语义描述技术,提出了一种基于分布式哈希表的非集中式Web服务发布与发现方法。通过定义服务供求双方共同遵守的领域本体,实现具有同样语义概念的两种不同描述的统一,提高服务发现的效率和准确度。利用类别本体对领域本体的组织,提出了层次式Web服务目录系统。基于该系统,服务的发布与发现是在特定应用领域范围内进行,因此减少了服务搜索空间,提高了服务发现的效率。

基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法

针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析。结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网的变迁和触发规则,使Web服务本体描述语言的原子过程、组合过程和数据流等核心元素能够等价映射到过程模型网。将过程模型网的可靠性分析问题分解为冲突消解和过程模型网剥离网可靠性问题,并采用传统Petri网分析工具(可覆盖性树)和原理,分析剥离网的可靠性,从而实现Web服务本体描述语言过程语义一致性分析,为Web服务本体描述语言本体演化、语义Web服务组合和验证提供了合理的理论基础。

Web服务编排描述语言WS-CDL的形式化模型框架

Web服务编排描述语言WS-CDL从全局的角度定义了一组Web服务之间的协作和交互必须遵守的规则。作为一个基于XML的描述性规范语言,WS-CDL缺乏形式化的模型和验证机制,难以保证协作和交互的正确性。本文针对WS-CDL规范提出了一个基于全局的形式化模型框架Abstract WS-CDL,包括语法、同构关系和操作语义,同时定义了一套从该模型框架到基于Pi-演算描述的局部模型的映射规则,最后通过案例分析给出了全局和局部2个层次的模型验证方法。

基于时序描述逻辑的Web服务本体语言过程模型语义

针对Web服务本体语言(OWL-S)过程模型存在动态交互和时序特征表达能力不足的问题,提出一种基于时序描述逻辑的过程模型形式化方法。通过对OWL-S过程模型的原子过程和组合过程语义进行形式化的描述,得到了OWL-S的过程模型的动态语义,最终实现了对OWL-S过程模型的形式化建模。实例结果验证了所提方法的可行性,为进一步的分析和验证提供了基础。

一种基于接口匹配的组合Web服务描述语言

从基于WSDL的服务接口描述语言入手,分析了Web服务组合的类型和消息依赖关系。将服务组合分为顺序组合、替换组合、混合式组合三种类型;结合这些类型,将组合服务中的消息依赖定义为消息映射依赖、消息合成依赖和消息分解依赖三种关系。在此基础上,提出了一种轻量级的组合服务描述语言(CWSDL)。

面向Web服务自动集成的目标描述语言

提出了目标驱动的Web服务自动集成协议栈来实现过程的自动建模;基于本体描述语言OWL,开发了位于集成协议栈最高一层的目标描述语言,来描述需要实现的目标、目标之间的关系以及实现目标的各种约束,并提出在目标描述中不一致的检测方法。目标描述语言是实现Web服务自动集成的第一步工作。

WSC/ADL:Web Services组合系统体系结构描述语言

Webservices组合是Webservices领域的研究热点,虽然已经提出了很多组合的方法,但从体系结构方面去研究Webservices组合,则是一个新的研究角度.BPEL4WS是当前工业界主流的Webservices组合描述语言.给出了基于BPEL4WS的Webservices组合系统体系结构风格,并针对这种风格设计了体系结构描述语言WSC/ADL(Webservicescomposition/architecturedescriptionlanguage),WSC/ADL是基于体系结构的、自顶向下的Webservices组合开发的研究基础,其组成包含描述Webservices的服务构件、描述Webservices之间交互的连接件以及建立服务构件和连接件实例联系的配置.给出了WSC/ADL的详细分析介绍和实例说明,并与相关工作进行了比较.

一种基于体系结构的Web服务组合描述方法

Web服务组合能够快速开发复杂的Web服务,以促进Web服务的增值。在分析并比较现有的Web服务组合方法的基础上,提出了一种形式化和工业化方法相结合的Web服务组合描述方法。针对Web服务及其组合的特点,研究了基于体系结构的Web服务组合描述方法,采用扩展的XYZ/ADL定义Web服务及描述其交互的连接件,最后结合一个实例描述Web服务组合的工作方式。

基于Web服务和GML的空间数据发布

针对当前信息共享存在的问题,提出Web服务和GML解决问题的思路,并讨论在基于Web服务和GML的空间数据发布中采用的关键技术。

GBPEL:一种合成网格服务和Web服务的工作流语言

网格工作流是实现网格计算的一种重要的中间件,与传统的工作流相比,网格工作流有自己新的特征。论文分析了网格服务和网格应用的新特性,对工作流描述语言BPEL4WS进行扩充和修改,提出了一种网格工作流描述语言GBPEL。

基于Web服务和GML的空间数据发布

针对当前信息共享存在的问题,指出Web服务和GML是解决问题的理想技术,并讨论了在基于Web服务和GML的空间数据发布中使用的关键技术。

基于XYZ/ADL的Web服务组合形式化描述

组合现有的Web服务是为了能快速地开发复杂的Web服务。介绍了几种常见的Web服务组合方法,并根据4种关键需求(连通性、非功能服务质量属性、正确性、可伸缩性)对它们加以比较。提出了一种基于软件体系结构描述语言XYZ/ADL的Web服务组合形式化描述方法,由XYZ/ADL定义描述Web服务的组件、组件之间交互的连接件以及建立组件和连接件实例联系的配置,最后结合一个实例描述Web服务组合的工作方式。

一种支持流程服务集成及协作的工作流描述语言PS-XPDL

在面向服务体系结构和Web服务技术快速发展的条件下,对封装成服务的业务过程集成和协作的支持成为工作流描述语言的发展趋势。通过对流程协作的层次模型和场景模型的分析,提出了一种基于WfMC工作流元模型的扩展元模型,并根据该元模型对XPDL进行了相关元素扩展,得到一种支持流程集成和协作的工作流语言PS-XPDL。该语言对流程服务的协作关系及数据同步具有完备、准确的表达,同时其基于执行支持层标准协议的扩展也使得流程服务的集成及协作易于实现。

基于Web服务技术的仿真组件模型发布机制

在复杂产品虚拟样机工程中,如何对仿真组件模型进行开发和有效发布,实现产品设计人员对分布在网络化协同制造环境的仿真资源的有效查询和访问,一直是复杂产品协同仿真技术面临的一个主要问题.为了解决这个问题,以国家863/CIMS主题的科研项目为背景,在分析协同仿真平台COSIM及其支持的仿真模型组件技术的基础上,研究采用Web服务技术开发仿真组件模型,提出为仿真组件模型建立面向对象的发布数据模型,并在企业私有UDDI服务器上实现仿真组件模型的有效发布,最后阐述对基于Web服务的仿真组件模型在网络化协同制造环境中进行查询和调用的机制,实现仿真组件模型的互操作性和可重用性,达到促进复杂产品虚拟样机协同仿真的目的.

Web服务语义描述研究综述

随着Internet的普及和延伸,跨平台、跨语言和松耦合的Web服务技术应运而生.它将具有执行任务能力的资源封装成Internet上的Web服务,并通过发布其形式化描述使服务能被外界发现和调用,因而服务描述是构建Web服务的基石.语义Web服务是Web服务的发展方向,实现这发展方向的落脚点则是赋予服务描述足够的语义信息.将Web服务的语义划分为静态和动态两个层次,并根据这两个层次综述了基于本体描述语言、逻辑语言和过程模型的服务语义描述方法.最后对比分析了这忖些研究成果,并展望了服务语义描述研究的未来前景.

语义Web服务描述框架研究综述

语义Web服务的研究是为了解决现有Web服务发现、集成的低精确性问题。提供一个有效的语义Web服务描述框架是进行语义Web服务研究的基础。研究了目前最流行的两种语义Web服务描述框架:ESSI组织提出的Web服务模型本体框架(WSMO)和Darpa组织提出的Web本体语言描述服务框架(OWL-S)。通过对两种描述框架的比较得出结论:由于OWL-S对Web服务领域标准和语义Web领域标准的兼容性较好并且具有开放灵活的定义方式,将逐渐成为语义Web服务描述框架的推荐标准。

云制造环境下外协加工资源集成服务模式及语义描述

针对云制造环境下外协加工服务资源和服务需求信息的属性构成及分散性、异构性、动态性和组合性等特点,提出并建立了一种能促进云制造环境下外协加工资源快速共享和高效利用的、具有广域集成和分散服务特点的集成服务模式。对基于Web服务建模本体的外协加工资源语义描述总体实现框架、外协加工资源本体建模、外协加工资源Web服务交互与组合机制,以及外协加工资源Web服务异构兼容调解等关键技术进行了研究,有效解决了异构外协加工资源组合和互操作问题,实现了外协加工资源供需双方的动态匹配。最后通过应用实例对以上服务模式及实现关键技术进行了试验验证。

Web服务组合中基于服务质量的服务选择算法

为了提供满足客户服务质量(QoS)需求的组合Web服务,提出了一种支持QoS属性描述的Web服务描述模型.通过在原有的Web服务描述语言的tport元素中添加operationInst属性来描述QoS属性,从而获得了一种可扩展的Web服务描述语言.在此基础上给出了基于多目标决策理论和分形理论的服务选择算法,该算法考虑了QoS属性之间的不可公度性和独立性,同时给出了QoS驱动的服务组合框架(E-WsFrames)和具体实现方法.实验结果分析表明,E-WsFrame可以综合考虑服务组合的功能和QoS的要求,并可根据服务请求自动地实现组合服务.

CORBA与Web服务的比较与集成

CORBA作为成熟的分布式计算标准,主要用来构造企业内部事务紧急的应用,Web Services是近年来提出的一种新的面向服务的体系结构,主要用来开发基于Internet的服务。针对CORBA在Internet环境下数据共享和应用集成的局限性,提出了CORBA与Web Services集成的方案,设计了集成网关并研究了集成中的关键问题:接口映射转换、消息类型转换和CORBA对象的动态调用。

语义Web服务基础技术研究综述

语义Web服务的提出是为了解决现有Web服务发现和组合等低性能和低效率问题,从而有效提高信息集成的自动化能力。主要对语义Web服务相关研究的基础——服务的描述语言进行综述。叙述了语义Web服务的研究背景,详细地讨论了5种语义Web服务的描述语言,并给出了语义Web服务的集中式和非集中式两种发布模型架构,列举了语义Web服务的几种开发工具,对语义Web服务技术进行了总结和展望,为以后的深入研究提供参考借鉴。