OWL-S的形式语义

本文分析了目前语义Web服务的研究现状和存在的问题,特别是语义web服务描述本体OWL-S的形式语义研究中存在的问题,在Srini Narayanan等人研究的基础上,用情景演算理论进一步研完了OWL—S中组合服务描述的形式语义,从而完善了OWL—S的形式语义,为语义Web服务提供了合理的理论基础。     

扩展UML在语义Web建模中的应用研究

随着语义Web的研究与发展,语义Web的建模很可能成为主要的瓶颈。近年来,作为概念建模语言的UML为语义Web建模,已经成为一个重要的研究主题。简要分析了统一建模语言（UML）和本体论Web语言（OWL）的目标、原理和语义,对相似部分采用了直接的映射,对于不兼容部分,通过扩展UML,达到对OWL建模的目的。     

基于UML的本体建模研究

详细对比分析了OWL（Web Ontology Language）特性元素和UML特性元素及本体开发，在讨论OWL本体通过UML类图向面向对象语言转换方法的基础上，通过具体的示例进一步提出了一般多值域OWL属性本体建模的方法，并且说明使用该方法能够直观、清晰地进行本体建模，为下一步研究开发较成熟的软件产品奠定了良好的基础。     

语义Web在Web服务中的应用

在分析了现有的Web服务标准和语义Web的基础上，介绍了一种把二者结合起来的语义Web服务（SwS）。它可以实现在不需要人的参与下，Web服务的自动发现、自动调用和自动组合。对于语义Web服务的开发有3种方法，文中重点介绍了实现SWS的一种基于本体的面向代理的OWL—S开发方法。     

ORM模型转换为OWL 2公理的映射规则

对象角色建模方法ORM目前已发展成为一种本体工程方法。需要将ORM表达的领域知识发布到语义Web上,以供不同应用系统共享和交换。OWL 2是W3C推荐使用的语义Web本体语言。探讨了将ORM模型映射为OWL 2公理的方法,通过模型等价变换和引入新的公理,给出了所有可行的模型映射规则。     

基于UML活动图的Web服务合成动态行为建模方法研究

描述了利用UML进行Web服务合成的建模方法,包括静态结构建模和动态行为建模两个方面,针对Web服务合成的动态行为建模部分,详细说明了利用UML活动图进行建模时需要注意的问题,如活动图的控制流模式与Web服务合成控制流模式的语义对应关系,所支持的数据模式,以及为了方便模型转换对活动图actions元素的概念扩展,给出了动态行为建模方法,并给出了基于OCL的转换规则以及UML活动图元素到BPEL4WS元素的映射关系,最后通过订单管理案例对所述方法进行验证,为Web服务合成提供了新的思路。     

基于OWL共享本体的动态Web服务组合

在自动的动态Web服务组合中，如何提高匹配成功率是个很重要的课题。本文认为，通过结合语义Web服务本体语言OWL-S和Web本体语言OWL，将语义引入Web服务组合，可以提高服务发现和匹配的效率，并可以方便地实现Web服务组合的自动化。本文给出了一个基于Java的实现平台，并在服务匹配过程中实现了基于OWL共享本体的服务匹配。     

过程建模中UML与OWL_S的比较研究

目前,OWL_S广泛用于实现自动发现、调用、组合Web服务。Web服务的描述与过程建模有诸多相似之处。文章通过分析比较UML和OWL_S的建模元素,规范了两者之间的映射关系,并在此基础上,结合一个具体实例说明了从UML生成OWL_SWeb服务的方法。该方法有助于提高建立直观的、清晰的、计算机可处理的过程模型的效率。     

基于语义的Web服务发现核心技术研究

在研究Web服务本体描述语言OWL S缺乏对服务质量的明确刻画的基础上，引入服务质量本体QoSOn对OWL S规范进行扩展。其次，提出了“两阶段”匹配模型，该算法首先经过基于服务分类的匹配剔除不相关的服务，然后引入服务相似度来度量候选广告服务和请求服务之间的相似程度；候选服务和请求服务之间的相似度是通过OWL S Profile的功能相似度和QoSOn本体的服务质量相似度两个方面进行综合评估的。最后，通过对比实验证明了该匹配算法的可行性和有效性。     

Web服务组合的Petri网自动生成方法

针对Petri网理论与方法在服务计算中的应用,从Web服务执行的角度,在定义Web服务组合的Petri网的基础上,给出Web服务组合的Petri网的自动生成方法.首先对Web服务的Petri网描述,通过利用Web服务的输入、输出等元素的本体定义为Petri网中相应库所元素添加语义标签,得到Web服务的Petri网的PNML(Petri net Markup Language)+OWL(Ontology Web Language)描述,其中PNML部分描述Petri网的网结构,OWL部分描述Petri网中各库所元素的语义标记;进一步,在已得到Web服务组合中各子Web服务之间输入/输出关联元素的基础上,确定各子Web服务的Petri网之间的可融合库所,通过执行可融合库所之间的库所融合操作,将各子Web服务的Petri网合并得到Web服务组合的Petri网,为Petri网相关理论与方法在服务计算中得到实际应用提供了必要的前提.     

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

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

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

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

基于工作流模式的OWL-S过程模型分析及其应用

确定OWL-S过程模型描述Web服务之间交互协议的能力和缺陷，为组合Web服务执行提供有效支持。将组合web服务视为基于Web服务的工作流，利用OWL-S过程模型的控制结构给出工作流模式的实现方案，分析出OWL-S描述web服务之间交互协议的能力及缺陷；在此基础上，设计并实现基于OWL-S的组合web服务执行工具，通过验证Web服务调用的有效性及Web服务之间交互协议的有效性，提高组合Web服务执行的健壮性。     

基于Petri网的动态Web服务组合建模

基于广义随机Petri网,提出了一种动态Web服务组合建模的方法.利用广义随机Petri网(GSPN)以及OWL-S组合过程对Web服务组合过程构建动态组合模型,实现Web服务的动态组合.并通过一个实例证明该方法的可行性.与现有的方法相比,该方法可以更有效地描述动态Web服务组合.     

OPM vs. UML--Experimenting with Comprehension and Construction of Web Application Models

Object-Process Methodology (OPM), which is a holistic approach to modeling and evolving systems, views objects and processes as two equally important entities that describe the system's structure and behavior in a single model. Unified Modeling Language (UML), which is the standard object-oriented modeling language for software systems, separates the system model into various aspects, each of which is represented in a different view (diagram type).The exponential growth of the Web and the progress of Internet-based architectures have set the stage for the proliferation of a variety of Web applications, which are classified as hybrids between hypermedia and information systems. Such applications require a modeling approach that is capable of clearly specifying aspects of their architecture, communication, and distributive nature. Since UML and OPM are two candidates for this task, this study has been designed to establish the level of comprehension and the quality of the constructed Web application models using each one of these two approaches.In the experiment we carried out, third year undergraduate information systems engineering students were asked to respond to comprehension and construction questions about two representative Web application models. The comprehension questions related to the system's structure, dynamics, and distribution aspects. The results suggest that OPM is better than UML in modeling the dynamics aspect of the Web applications. In specifying structure and distribution aspects, there were no significant differences. The results further suggest that the quality of the OPM models students built in the construction part was superior to that of the corresponding UML models.     

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

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

一种P2P环境中基于语义的Web服务组合方法

Web服务组合研究是Web服务领域一个研究热点。本文利用0WL-S语言对Web服务进行描述，提高Web服务的机器可理解性，并利用语义信息进行Web服务组合操作。文中提出一个在JXTA环境中实现Web服务组合的模型，在其上实现了一个基于语义的Web服务组合方法，并通过一个简单的实例说明语义Web服务组合的具体过程。     

基于OWL-S过程模型的Web服务发现方法

现有Web服务发现方法未考虑过程行为的相关信息,导致所发现的服务不能较好地满足用户需求且查准率较低。针对该问题,提出一种基于OWL-S过程模型的Web服务发现方法。将OWL-S过程模型转化为过程图,根据两过程图的相似度,判断两服务过程的匹配程度。实验结果表明,该方法能准确地匹配两服务的过程模型,具有较高的执行效率和较好的匹配效果。     

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

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