基于Petri网的Web服务流程建模

Web服务流程模型的建立是实现Web服务集成的重要环节。研究了Web服务流程Petri网模型的建立及其正确性检验的方法，并给出了Petri模型中基本路由的BPEL4WS描述。     

基于优先级服务的排队系统模型的计算机模拟研究

基于TCP／IP协议的拥塞问题、Internet QoS分析都需考虑优先级服务的排队系统。讨论了服务规则为服从优先级服务的模拟模型，分别在串并联混合情形下建立四类模拟模型，最后给出模拟实例。     

基于Web Services的模型库系统设计方案

在对Web services技术进行简单总结的基础上，给出了基于Web services的可重用模型库体系结构的设计方案，以AHP模型为例，分析了模型的Web services表示、模型服务发布、发现、调用以及模型服务查询等问题。给出了一个应用实例，利用Web services技术建立了一个共享的模型库系统。     

一种Web服务合成的事务模型

随着互联网技术的飞速发展，一种新的基于网络的应用程序—Web服务也得到日益广泛的应用，而Web服务合成就是在自治的和异构的现存Web服务基础上被建立起来，本文介绍了一种web事务处理的模型，可帮助建立高效的Web服务合成，该模型是一种多层的体系结构，我们首先web事务处理作一般性介绍，其次，对该模型的各个组件分别加以说明，并举例说明其实现（使用扩展的WSDL）。     

用Petri网描述CORBA事件服务

CORBA为构建大规模分布式应用程序提供了一套公共对象服务规范．本文利用Petri网模型可表现系统分布、并发、异步等特性来描述CORBA事件服务，不仅能反映CORBA事件服务的静态行为，也反映其动态行为，为CORBA事件服务建立了形式化的模型．     

支持服务协作的工作流元模型和建模语言

当前支持Web服务的建模语言存在着复杂度高、互操作困难和缺乏对服务协作关系的有效支持等不足。结合面向服务工作流的服务协作需求，通过扩展工作流管理联盟的相关理论，定义了面向服务工作流的过程定义元模型，并建立了其形式化模型。通过扩展XPDL定义了一种互操作性好、支持服务协作的面向服务工作流建模语言（SoXPDL）。     

物联网智能物流系统容错服务组合建模与分析

针对物流领域的服务组合存在容错性差和服务不可靠等问题，提出一种基于π网的物联网智能物流系统物流服务容错组合模型。首先，在简单介绍物联网智能物流系统后，给出了物联网智能物流系统的容错服务组合框架；然后，基于π网建立了物联网智能物流系统物流服务容错组合模型，并对模型进行了容错正确性和拟合性分析；最后，对提出的模型进行了服务可靠性、服务故障容错可靠性实验，并与Petri网、QoS动态预测算法、模糊卡诺模型和改进粒子群优化的服务组合方法针对服务组合的执行时间、用户满意度、可靠性和最优度进行对比实验。实验结果表明，所提模型具有更高的服务可靠性和服务故障容错可靠性，同时在服务组合的执行时间、用户满意度、可靠性和最优度等方面也具有一定的优越性。     

分布式环境中模型服务实现中的若干关键技术

模型服务是综合集成模拟环境的重要组成部分，其采用分布式对象技术构建，因此所建立的模型服务机制是非常复杂的，其不仅需要考虑到模型服务系统与环境间的关系以及模型服务系统与模型的关系，同时还要考虑到基于网络采用C／S模式后所带来的各种问题。文中针对访问C／S结构模型过程中需要解决的若干关键技术进行讨论并给出解决方法。     

基于语义的Web服务注册联邦的研究

元模型互操作框架是一套元对象和元模型结构的集合．用于信息注册和信息资源库开发中元模型的建立．将元模型互操作框架MMFI与联邦信息管理技术结合．运用表体元建模方法，建立Web服务注册联邦的体系结构，以实现异构自治的Web服务注册问可扩展的语义互操作．提出表体对象建模理论和方法，指导Web服务注册联邦系统的开发设计，简化设计开发过程．介绍了一个依据上述方法建立的软构件注册平台的原型系统．     

系统容量有限的一类排队系统模型的计算机模拟

本文讨论了系统容量有限、服务时间与队长有关的一类排队系统模型的计算机模拟。由于系统容量有限，当队长超过某值时，到达系统的顾客要直接离开，不能进入系统接受服务，这将造成系统的某些损失，因此本文还讨论了严重影响系统信誉的损失率。在单服务台、串联和并联多服务台情形下建立六个模拟模型，这类模型在网络、通讯及生产和服务系统中都有较广泛的应用。本文最后给出模拟模型的计算实例。     

基于Petri网的语义Web服务自动组合方法

Web服务组合使得开发人员可以快速地创建自己的应用程序.但是,随着Internet上可用的Web服务数目的增加,Web服务组合是一项高度复杂的任务.针对语义Web服务的自动组合问题,提出了一种既考虑服务输入/输出又考虑服务行为约束的自动组合方法.首先,注册服务被转化为一组Horn子句形规则,用户的输入和输出请求分别被转化为Horn子句中的事实和目标,从而将寻找满足用户输入/输出请求的合成服务问题转化为Horn子句的逻辑推理问题;然后,用Petri网来为该Horn子句集建模,T-不变量技术被用来判定是否存在满足用户输入/输出请求的合成服务;最后给出了两种算法来获取既满足用户输入/输出请求又满足用户行为约束的合成服务的Petri网模型.     

Semantic web service composition testbed

A huge amount of web services are deployed on the Web, nowadays. These services can be used to fulfill online requests. Requests are getting more and more complicated over time. So, there exists a lot of frequent request that cannot be fulfilled using just one web service. For using web services, composing individual services to create the added-value composite web service to fulfill the user request is necessary in most cases. Web services can be composed manually but it is a too tedious and time consuming task. The ability of automatic web service composition to create a new composite web service is one of the key enabling features for the future for the semantic web. There are some successful methods for automatic web service composition, but the lack of standard, open, and lightweight test environment makes the comparison and evaluation of these composition methods impossible. In this paper we propose an architecture for a light weight and scalable testbed to execute, test and evaluate automatic web service composition algorithms. The architecture provides mandatory components for implementing and evaluation of automatic web service composition algorithms. Also, this architecture provides some extension mechanisms to extend its default functionalities. We have also given reference implementations for web service matchmaking and composition. Also, some scenarios for testing and evaluating the testbed are given. We have found that the performance of the composition method will dramatically decrease as the number of web services increases.     

语义Web在Web服务中的应用

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

Web服务组合的可靠性动态评估模型*

为了合理、高效、动态地评估Web服务组合的可靠性,为服务请求者提供高质量的组合服务,提出了一个Web服务组合的可靠性动态评估模型。该模型对服务提供者发布至UDDI注册中心的Web服务进行语义预先处理,根据语义Web服务间的逻辑组合关系,基于预推理技术构造Web服务的自动组合框架,提出了Web服务的自动组合算法,建立Web服务组合方案的路径结构;利用随机Petri网对满足服务请求者需求的服务组合路径结构进行可靠性建模,结合在线获取的Web服务可靠性信息,对Web服务组合的可靠性进行动态评估。实验示例结果分析表明,提出的模型能确保Web服务组合方案的有效性和提高服务组合的效率,对Web服务组合的可靠性评估具有较强动态性和灵活适应性。     

基于Petri网的Web服务自动组合研究

根据Web服务中消息和行为的关系,Web服务被描述为面向消息的基于行为Petri网模型(Moap)．该模型包括消息域和服务过程,前者是服务协同以及和用户通信的通道,后者是基于Petri网的Web服务行为过程描述．Moap支持组合服务的重用,可以很好地描述可用服务的并行调用,另外元消息机制也有利于服务的自动组合．在Moap基础上,定义了服务组合系统和服务的协同;给出了服务自动组合规则,并证明了其有效性和完备性．最后,通过一个实例直观描述了服务组合系统的工作方式．     

基于本体的服务网络平台及其构建方法

在基于语义关系的大规模Web服务组织结构：服务网络模型的基础上,构建了服务网络系统平台。提供了对Web服务和服务关系的描述,使得Web服务的自动化处理成为可能。设计了可动态优化的服务网络系统内核,实现了服务网络的数据存储、网络优化和关系挖掘;设计和实现了系统创建维护工具、系统服务增长工具、可视化工具等一整套核心工具;给出了服务关系构成建的基本方法和流程,完善了网络结构。最后,一些基于服务网络的应用证明了该系统的有效性和广泛适用性。     

基于任务本体的地理信息Web服务组合研究

讨论基于特定任务本体的地理信息Web服务自动组合问题.通过特定任务本体概念间的语义关系对Web服务进行匹配,给出了服务组合执行匹配度的定义及计算表达式,详细地探讨了地理信息Web服务自动组合算法推导步骤,能够满足用户在已有的Web服务中自动地找出能满足需要的所有服务组合方案,并通过服务组合执行匹配度的比较,求解出最佳服务组合方案.该研究对人机之间、机器和机器之间的语义理解具有一定的实用价值.     

基于图规划的语义Web服务自动组合方法

由于单个的Web服务功能有限,难以满足日益增长和不断变化的用户需求.如何根据服务请求者的特定需求进行服务的自动组合来满足用户的需要,就成为了一个迫切需要解决的问题.提出了一种基于图规划的语义Web服务自动组合方法,该方法在建立前驱与后继执行关系知识库的基础上,利用图规划的前向扩张思想和图规划解搜索思想,可实现从服务库中自动地找到满足用户需求的服务组合方案.该方法综合考虑了服务语义和服务组合的效率等因素,在保证Web服务组合质量的前提下,可根据服务请求实现服务的自动组合.最后用仿真实验从服务组合的成功率、效率和组合解质量三方面验证了该方法的有效性和可行性.     

Building 3D anatomical scenes on the Web

We propose a new service for building user‐defined 3D anatomical structures on the Web. The Web server is connected to a database storing more than 1000 3D anatomical models reconstructed from the Visible Human. Users may combine existing models as well as planar oblique slices in order to create their own structured anatomical scenes. Furthermore, they may record sequences of scene construction and visualization actions. These actions enable the server to construct high‐quality video animations, downloadable by the user. Professionals and students in anatomy, medicine and related disciplines are invited to use the server and create their own anatomical scenes. Copyright © 2002 John Wiley & Sons, Ltd.