基于着色Petri网的最小代价服务合成方法

如何动态地把现存的各种Web服务整合起来以形成新的、满足不同用户需求的服务已成为新的应用需求和研究热点.针对现有服务合成中服务选择技术的不足,提出了一种基于着色Petri网的最小代价服务合成方法。该方法主要思想是根据候选服务输入输出之间的逻辑关系建立有色Petri网,从而找出所有合成方案,然后根据原子服务的服务质量(quality of service, QOS)参数选择具有最小代价的合成方案,通过服务实例验证,基于着色Petri网服务合成方法能够获得最小代价的组合方式。     

基于XYZPADL 的Web 服务体系结构形式描述

在对时序逻辑语言XYZ/E进行扩展的基础上,对服务、合成服务、面向服务的体系结构以及系统的活性、正确性以及安全性等核心概念进行了形式定义,并对整个Web服务体系结构进行了形式化的描述与实现过程的分解与逐步求精,指出了在该体系结构框架下,系统的活性、正确性以及安全性存在的与服务求精过程中所具有的语义的可组合特性,这一组合特性在服务的状态转换变迁模型下得到了证明,从而为服务的合成与重用机制提供了形式化的理论指导.     

城市三维地理信息网络服务研究

城市三维地理信息系统建设仍然面临着成本过高.共享不足、以及重复建设等问题,如何利用Web服务解决以上问题是研究的重点.通过对比分析基于Web服务的三维地理信息系统,基于W3DS服务草案,设计和实现城市三雏地理信息Web服务的应用框架,体系结构以及服务接口.     

基于Web服务的分布式RTI设计与实现

采用HLA(High Level Architecture)的技术标准,可以将单个仿真应用或者模型连接起来组成一个大型的仿真应用.RTI(Run-Time Infrastructure)是HLA的程序实现.现有的RTI大多采用集中式的管理结构,当仿真节点数量增加、节点间进行频繁的数据交换时,仿真性能可能不具备容错能力.提出基于Web服务(Web Services)的RTI设计思想,设计策略中不仅解决了上述问题,而且解决了Web服务额外带来的管理和调度问题,并对一些关键问题提供了解决方案.最后通过实际测试证明了这种方案的可行性.     

基于Petri网的Web服务组合模型描述和验证

Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向.分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、安全性、有界性与活性等特性进行验证分析.最后是对一个具体的业务流程的建模和验证分析.由分析可知,该建模方法具有一定的表达和验证Web服务组合模型的能力.     

一种基于Globus工具箱的HLA RTI Web服务化方法

高层体系结构(HLA)能够简化各种仿真组件之间以及仿真组件与指挥控制系统的互操作,Web服务具有平台中立和松散耦合等优势,结合HLA与Web服务,实现HLARTI的Web服务化能够扩展HLA技术在广域网范围的应用.提出了一种用以实现HLARTI Web服务化的方法,给出了基于Globus工具箱的实现.该方法通过一个RTI工厂服务为联邦成员创建RTI服务,RTI服务作为有状态的Web服务实现,将RTI功能作为Web服务提供给联邦成员使用.实验显示,在不对防火强进行额外的配置的条件下,该方法能够顺利的实现联邦成员和RTI在广域网范围跨越防火器的通信.同时,方法简化了联邦成员迁移机制的实现,仿真系统负载平衡更容易实现.     

Web使能RTI关键技术研究

HLA由于缺乏与商业技术的融合等阻碍了它在商业系统中的应用,Web服务具有平台中立等良好特性,Web使能的RTI将能够促进HLA和Web服务的融合。基于互操作性分析,介绍了Web使能的RTI,设计了Web使能RTI的体系结构,分析了具体的技术问题及解决方案,实现了原型系统。实验显示,系统能够初步实现Web使能的RTI。     

语义Web服务自动组合的有色网验证模型

Web服务组合是面向服务的计算模式下应用构造的主要方式,而现有的组合方法与实施框架缺乏有效的验证机制,从而产生大量无效的组合结果.针对这一问题,提出一种具有正确性分析与验证功能的Web服务自动组合系统框架.其核心是利用有色Petri网对基于OWL-S的服务组合系统进行形式化建模,通过对组合模型的模拟执行及对其动态性能的全面分析,预测组合服务的执行结果,从而提高组合的可靠性.另外,该框架采用智能Agent技术,可有效实现组合过程的自动化.     

基于Petri网的Web个性化服务

Web站点的个性化服务功能,可以帮助用户快速找到其所需的信息。基于推荐系统是当前实现个性化服务的主要方法。这种个性化服务方法存在显示不直观和重复计算的缺点。本文给出了基于Petri网的Web个性化服务方法,克服了基于推荐方法的缺点,并讨论了进一步的研究工作。     

基于Petri网的Web服务的创建与描述

为了更好的支持Web服务组合的Petri网系统的自动生成,提出了在发布Web服务的时候即建立该服务的PNML(Petri Net Markup Language)+OWL(Ontology Web Language)的方法,在建立Web服务领域本体的基础上,通过创建Web服务的Petri网模型,为Petri网中库所元素添加相应的语义标记,得到Web服务的类似OWL-S(Ontology Web Language for Services)的服务描述,不仅提高了对Web服务操作语义描述的能力,同时为Web服务组合的Petri网系统的自动生成奠定了基础。     

SERVICE VALUE NETWORKS： VALUE, PERFORMANCE AND STRATEGY FOR THE SERVICES INDUSTRY

1. Introduction The services industry provides services notgoods (Hughes and Mitchell et al., 1993). Thisindustry is moving towards globalization(Kathawala and Abdou, 2003). In 1870 theservice sector employed slightly more than 20%of the U.S.…     

基于Web服务和HLA的分布式建模与仿真环境

HLA为分布式建模仿真提供了技术支持,但只限于局域网的仿真应用.Web服务提供了一种新的分布式计算模式,支持跨平台、互操作性和重用性.融合Web服务和HLA/RTI仿真技术,可以实现Internet环境下复杂系统的多学科协同建模和仿真应用.本文分析了下一代分布式建模仿真技术的特点,提出了一种基于Web服务和HLA的复杂系统协同建模仿真的框架,研究了基于Web服务的仿真引擎封装、学科邦元适配器、仿真系统集成等问题,设计了系统的总体结构,基于该框架的原型系统正在实现阶段.     

基于信任和推荐关系的可信服务发现

随着基于开放Web的服务网络中服务数量的急剧增长, 快速、准确地发现可信服务是面向服务计算的一个关键问题. 针对开放网络环境下可信服务发现工作量大、效率低等问题, 基于模拟现实世界的网络小世界特性, 设计了基于信任和推荐关系的可信服务发现方法. 首先, 提出一种开放的具有信任和推荐关系的服务网络模型, 给出该模型的形式化定义和两种关系的计算策略; 接着, 在具有信任和推荐关系的服务网络模型之上, 给出一种动态的可信服务发现算法, 该算法能有效减少服务的搜索路径, 在较短的时间搜索到可信服务; 最后, 仿真实验表明, 该方法能快速返回可信服务, 具有较高的效率和满意度.     

基于主体的语义Web服务的Petri网模拟方法

语义web上的服务在执行时可以将其视为一个智能主体的行为执行的过程，并且能够通过智能主体管理语义web上的服务。将语义web上存在的主体分为用户主体，媒介主体和服务主体三类。当一个用户主体需要多个不同的web服务来完成其目标时，这些服务将被组装为一个组合服务。对组合服务的动态执行进行准确的模拟和全面的分析是保证用户目标实现的关键问题，利用Petri网的方法对组合语义web服务进行模拟和动态执行分析是关于此问题的一种实用并且有效的方法。