基于Petri网的OWL-S流程模型的验证与分析

广泛研究使用的OWL-S Web服务交互规范作为一种半形式化的描述语言,在服务组合的验证上存在缺陷。而Petri网作为一种模型描述语言,尤其适合并发系统的描述。因此,使用Petri网对OWL-S流程模型进行建模,通过将工作流信息转化为Petri网描述,从而对OWL-S流程模型进行安全性(safeness)和活性(liveness)检验,是一个非常有意义的尝试。此外,对Petri网的分析与优化,能够反作用于OWL-S流程模型,消除原有模型的冗余并提高流程模型的合理性。     

基于OWL-S的动态工作流模型

结合Web服务的特点,将Web服务组合视为Web服务的工作流,根据BPEL过程模型将OWL-S/UDDI协调器应用到Web服务的工作流的构造当中.基于本体论提出了一种OWL-S的动态工作流模型,该模型有机地将Web服务和动态工作流结合在一起,不仅增强了模型的灵活性、适应性,同时也使其具有较强的扩展性.在此基础上以一个申请银行贷款为例表明了该模型的可行性.     

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

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

基于工作流的服务组合研究

Web服务技术通过基于XML的开放性标准和协议,实现了信息交互和远程调用。Web服务组合技术通过将单一功能的Web服务松耦合集成,以实现具体的业务流程。本文提出一种基于动态工作流的Web服务组合方法．可以对服务进行简单可靠的组合执行。     

面向动态工作流的Web服务组合模型研究

把Web服务与工作流相结合,将Web服务作为工作流中的各项任务,通过Web服务的动态组合技术,建立面向动态工作流的服务组合模型。对Web服务描述进行了扩展,提出了一个基于层次结构的服务发现模型,支持Web服务开发与部署的分离,并通过Web服务的动态查找,对符合要求的可用服务器,引入服务评价函数,根据服务器服务份额、价格策略以及信任度等因素对服务器进行综合评定,实现复合服务在运行时的动态部署与绑定。并通过工作流引擎对各项子任务的交互与完成进行相应控制,最终实现Web服务的动态绑定模型的执行框架。     

基于领域本体和OWL-S的Web服务组合方法

针对Web服务普遍存在服务描述的语义异构问题,提出基于领域本体和OWL-S的语义Web服务组合方法。该方法采用本体概念实现Web服务的语义标注,在OWL-S语言基础上,通过定制组合过程,实现语义Web服务的组合。实例采用Protégé及OWL-S Editor工具,结果证明领域本体和OWL-S能够实现优势互补。     

面向动态工作流的Web服务组合模型研究

把Web服务与工作流相结合,将Web服务作为工作流中的各项任务,通过Web服务的动态组合技术,建立面向动态工作流的服务组合模型.对Web服务描述进行了扩展,提出了一个基于层次结构的服务发现模型,支持Web服务开发与部署的分离,并通过Web服务的动态查找,对符合要求的可用服务器,引入服务评价函数,根据服务器服务份额、价格策略以及信任度等因素对服务器进行综合评定,实现复合服务在运行时的动态部署与绑定.并通过工作流引擎对各项子任务的交互与完成进行相应控制,最终实现Web服务的动态绑定模型的执行框架.     

Web服务组合工作流中扩展UDDI的设计与实现

将多个Web服务组合起来,并按照一定的工作流程顺序执行从而形成Web服务组合工作流,是目前Web服务及工作流发展的趋势.然而如何描述Web服务来提高Web服务工作流的执行效率成为一个非常迫切的问题.提出了一个Web服务的语义表示模型,并且在此基础上提出一个Web服务组合工作流系统模型,然后详细描述了此模型中扩展UDDI的设计与实现.     

基于中文分词的OWL—S/UDDI语义Web服务检索模型

目前中文搜索引擎尚不能进行语义检索,经OWL-S语义扩展后的语义Web服务检索也未充分考虑中文词语之间无空格的特点.基于语义Web服务技术与中文分词技术,提出基于中文分词的OWL-S/UDDI语义Web服务检索模型.该模型对中文检索请求语句进行中文分词并附加语义,所生成的服务请求OWL-S文档与语义扩展UDDI中的OWL-S服务描述进行匹配,进而实现Web服务的动态查找与组合.实验结果表明,语义Web服务检索可提高Web服务发现的质量.     

P2P环境下基于语义的Web服务组合研究

利用OWL-S语言描述Web服务,在组合操作中加入语义信息,实现了Web服务组合的自动化。为了提高Web服务的搜索速度,采用Chord路由算法。构建了一个P2P环境下基于Chord网络的Web服务组合模型,在其上实现了基于语义的Web服务组合,最后通过实例给出了语义Web服务自动组合过程。     

Dynamic discovery and coordination of agent-based semantic Web services

We describe about dynamic discovery and coordination of agent-based semantic Web services. Matchmaking and brokering are multiagent coordination mechanisms for Web services. Both have performance trade-offs, but the Web Ontology Language for Semantic Web Services (OWL-S) can handle extensions that address some of the shortcomings. We focus on the broker, analyzing both its interaction protocol and reasoning tasks. We also describe OWL-S's exec extensions, detail their implementation's basic features, and explain how these features address the broker's reasoning problems.     

模型驱动架构的语义组合Web服务的验证

针对语义Web服务的组合与验证问题,提出了基于模型驱动架构（MDA）的组合方法与基于语义匹配度的匹配方法。组合方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模。在建模过程中使用基于语义匹配度的匹配方法,选择可用的子Web服务确定最合适的组合Web服务,并将该组合UML模型转化为可验证的Promela语言,使用SPIN工具进行验证,通过验证的UML模型作为模板保存于本体的知识库中以便使用。该模型提高了开发语义Web服务的效率,保证了组合过程的正确性,还能利用模板与语义匹配度实时发现与选择可用的Web服务。     

基于任务依赖信息的Web服务自动合成

随着Web服务的大量出现,Web服务的合成成为当前的一个研究热点.然而,目前大多数的合成语言规范,例如BPEL4WS和WSCI,都需要人工预先设计一个固定的执行流程,难以充分发挥Web服务自适应的特点.通过形式化描述单一的Web服务,建立了通过任务间依赖规范实施合成的方法,提出了一种具有柔性和自适应能力的工作流模型,实现Web服务的自动合成.同时,设计了合成的正确性验证算法以及动态补偿机制使提出的模型易于实用.     

基于JXTA和OWL-S上的Web Services发现的研究

本文提出基于JXTA协议上的Web服务的新计算模型,利用OWL-S对Web服务功能和特性进行描述,在P2P网络中的Web服务发现时,通过服务功能描述寻找服务,根据服务功能匹配而寻找定位最佳服务。     

基于语义的企业资源服务封装模型

为实现企业应用集成和交互,引入企业资源的概念。通过对企业资源进行识别并用OWL语言来描述,构建领域本体资源库。将企业内部的业务功能封装成Web服务,在模型的架构下对服务的各个方面进行描述,与领域本体资源建立映射。使用OWL-S语言实现企业资源的服务封装模型,并通过实现原型系统对模型的可行性和正确性进行验证。     

工作流管理系统的Web Services协议分析

工作流管理系统是实现业务过程管理的重要工具。工作流系统以Web Services方式运行,需要有语义清晰的WebServices协议支持。文中从分析Web Services的技术层次入手,详细讨论了Wf-XML协议的技术基础及其特点。最后总结了Wf-XML作为工作流系统的Web Services协议的优势和不足之处。     

一种基于随机PETRI网的OWL-S量化描述模型

OWL-S是一种面向领域本体的语义Web服务组合描述语言,也是一种可自动机器解释的语义标记语言,同时实现了Web服务功能和服务间互操作、互调用、互协作的语义化描述,是目前最重要的服务组合标准之一。提出了一种基于非马尔科夫随机PETRI网(NMSPN)的概率模型,对OWL-S描述的Web服务的控制流进行了建模和描述,并在NMSPN流程模型基础上建立了一系列的概率分析方法,实现了对语义Web服务的量化可信性的分析。     

A probabilistic approach to modeling and estimating the QoS of web-services-based workflows

Web services promise to become a key enabling technology for B2B e-commerce. One of the most-touted features of Web services is their capability to recursively construct a Web service as a workflow of other existing Web services. The quality of service (QoS) of Web-services-based workflows may be an essential determinant when selecting constituent Web services and determining the service-level agreement with users. To make such a selection possible, it is essential to estimate the QoS of a WS workflow based on the QoSs of its constituent WSs. In the context of WS workflow, this estimation can be made by a method called QoS aggregation. While most of the existing work on QoS aggregation treats the QoS as a deterministic value, we argue that due to some uncertainty related to a WS, it is more realistic to model its QoS as a random variable, and estimate the QoS of a WS workflow probabilistically. In this paper, we identify a set of QoS metrics in the context of WS workflows, and propose a unified probabilistic model for describing QoS values of a broader spectrum of atomic and composite Web services. Emulation data are used to demonstrate the efficiency and accuracy of the proposed approach.     

基于答案集的Web服务组合验证

语义Web服务组合的形式化描述和验证,是保证组合服务能正确运行的重要前提基拙。首先描述基于答案集编程(Answer Set Programming)的OWL-S建模方法,并分析基于答案集编程建模的优势。然后给出OWL-S流程模型中几种控制结构到中间模型Petri网的映射,并提出由Petri网生成答案集编程的算法。同时将时态约束引入到 组合服务验证中,利用时态约束表达待验证性质,将验证问题转换为求解逻辑程序的答案集。最后通过一个具体的实例说明该方法的有效性。