基于着色Petri网的语义Web服务组合形式化验证

为了对语义Web服务组合进行形式化验证,提出一种语义Web服务组合模型到着色Petri网组合模型的转换方法,定义了语义Web服务着色Petri网(SWS-net)。转换后的模型不仅能清晰表示服务组合中各子过程之间的逻辑关系,而且能用着色Petri网的形式化方法进行服务组合正确性验证。给出了组合服务的语义一致性验证算法,最后以一个协同设计过程为例对组合服务流程进行仿真验证并在工作流引擎中部署执行。仿真及执行结果表明,服务组合后的流程无死锁并且能够顺利执行。     

基于SPIN的BPEL4WS建模与验证研究

Web服务组合研究领域的一个重要问题是如何形式化描述Web服务组合,验证服务组合的正确性,Web服务组合的形式化模型可以用来检查和验证Web服务组合以保证组合的正确性.文章使用模型检查工具SPIN对目前普遍使用的Web服务组合规范BPEL4WS (Business Process Execution Language for Web Services,Web服务业务流程执行语言)模型进行了验证,给出了BPEL4WS语法到Promela形式化模型的转换方法,最后通过一个实例对BPEL4WS表示的服务组合模型的安全性、活性和有界性等特性进行了验证分析,从而给出了基于SPIN的BPEL4WS表示的Web服务组合模型验证的方法.     

基于社会网络的语义Web服务协同

服务协同是多个服务在服务组合中的协同合作,通过动态组合实现大粒度的服务任务。服务社会网络基于服务社交关系的构建与维护,更好地为服务协同提供支持。服务匹配是服务社会网络构建的重要基础。文章提出了一个新的语义Web服务相似度比较算法,同时引入了深度及局部密度对服务本体语义相似度的影响,从而实现了高效的服务匹配,并达到高效的服务协同。     

基于领域本体的Web服务组合的消息处理

目的在Web服务应用中,研究将多个服务组合成一个能完成复杂任务的组合服务技术。方法探讨一种基于领域本体的Web服务组合的消息处理方法,用它来处理信息并生成优化的服务组合图,在此基础上给出一个高效的服务组合算法。结果该算法综合考虑了服务的语义、服务组合的质量和服务组合的效率,能够自动地根据服务请求实现服务组合,方便灵活地实现消息处理,可以解决复杂的信息处理需求。结论基于领域本体的W eb服务组合的消息处理方法有较好的性能并且提高了处理消息的效率。     

基于概率方法的QoS感知Web服务组合

针对Web服务的服务质量(QoS)的随机本质,提出了一个基于概率QoS感知的Web服务组合方法,实现传统方法难以描述的QoS需求.在概率QoS模型的基础上,定义QoS目标以及组合方案与QoS目标之间的距离函数.通过将服务组合问题转化为组合优化问题,应用Rollout算法作为求解问题的计算框架,对一个具体问题设计了相应的启发函数.以跨国旅游方案提供商作为具体案例演示基于概率方法的QoS感知服务组合.该方法很好地解决了概率QoS模型难以应用到动态服务组合中的问题.理论分析和实验数据表明该方法可以很好地满足用户对于组合服务的QoS需求.     

一种面向用户的Web服务设计策略

提出了一个适用于计算网格资源包装的Web服务模型,采用工厂/实例模式、以用户为单位管理资源,把局域计算系统的全部资源作为一个整体,按照其为应用领域提供的功能,抽象成若干个符合WSDM规范的可管理资源.它们分别以一个工厂服务的形式,为远程用户管理、访问局域计算系统提供一致的Web界面.工厂动态创建的每个实例分别是应某个用户的要求而配置的专用执行环境,用一个符合WSRF规范的WS资源表示,可以执行任意数量的任务.该Web服务模型在计算网格协同平台Harmonia中被采用,以支持需要循环调用遗留程序的任务流.     

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

Web服务的自动组合是一个具有挑战性的任务,因为独立开发的Web服务相互组合并不都是兼容的。为了解决Web服务之间的异质性和提高Web服务组合的质量,文中提出了一个基于语义Web服务组合的的新途径,它广泛应用Petri网和本体。文中构建一个语义Web服务组合框架,该框架中扩展其本体内知识领域和建立了交互式Web服务的Petri网模型,该模型并结合本体配有调解能力。最后用一个具体实例验证Web服务组合的办法是可行的。     

基于扩展投影时序逻辑的组合Web服务描述与验证

针对编制方式生成的组合Web服务需要用一个工作流引擎执行这个特征,对投影时序逻辑进行了扩展,并用扩展投影时序逻辑描述和验证组合Web服务.将组合Web服务视为一个基于过程的工作流,将工作流引擎与组合Web服务组成部分的一次不可分割的消息交互抽象为一个原子过程.用扩展投影时序逻辑公式描述原子过程,用扩展投影时序逻辑操作符定义过程组合规则、连接过程描述公式,得到组合Web服务描述公式.通过模拟组合Web执行,可验证组合Web服务满足系统的需求和性质,为提高组合Web服务设计的可靠性提供了依据.     

面向服务的云制造协同设计平台

为支持复杂的、大规模的协同设计,实现制造资源、制造能力的高度共享,探讨了云制造的概念以及云制造模式下的协同设计平台的特点,基于面向服务架构理念以及Web服务技术,搭建了一个面向服务的、松散的、开放式的云制造协同设计平台框架,并采用五维视图对其进行描述与分析,还对平台所涉及的关键技术,如面向服务架构、资源管理、资源服务智...     

Web服务组合的层次化建模

目的形式化地描述Web服务组合流程,为更好地使用工具和现有方法验证以及测试Web服务组合奠定基础。方法用有色Petri网对BPEL的每种活动建模,分析BPEL中、、和几种活动的共同作用,分析BPEL流程的错误处理机制和补偿机制;从网资源流动的角度完善现有的层次化有色Petri网定义,将BPEL流程的层次关系映射成层次化有色Petri网的层次关系。结果完善了层次化有色Petri网定义,提出了Web服务组合的层次化建模方法。结论层次化构建Web服务组合模型是一种可以用于大型BPEL流程的方法,所构建的模型有利于从抽象层面和细节上分析Web服务组合。     

基于动态Web服务组合的虚拟企业系统集成构建

针对虚拟企业业务过程动态组合的特点,在面向服务的框架体系下,对Web服务描述进行扩展,从而实现Web服务的开发与部署完全分离,在面向动态工作流的Web服务组合过程中,根据实际的应用需求,实现Web服务的动态组合与执行。在此基础上,构建了基于动态Web服务组合的虚拟企业系统集成模型。     

一种面向组合服务的语义Web服务发现方法

在分析单一服务的发现方法和多个服务的动态组合方法基础上,提出一种面向组合服务的语义Web服务发现方法,能对语义Web服务进行形式化描述,实现了面向组合服务的语义Web服务注册结构及相应的数据维护算法;并设计一种面向组合服务的Web服务发现算法,该算法可以实现对单个服务的语义检索及对已有组合服务进行快速搜索,从而查找出满足要求的组合服务或组合服务片断,实现对已有组合服务的重用和快速检索.     

基于时间自动机的动态服务组合方法研究

动态网络环境下,Web服务资源具有高度自治性和动态性,如何根据运行时具体的用户需求完成动态的服务组合是一个重要问题.时间自动机是一种形式化的实时并发系统模型,它为实时系统的行为描述提供了较好的分析方法.本文通过引入基于时间自动机的二部图表示可以实现对动态服务组合的建模与控制.     

基于概率时间自动机Web服务质量的形式化建模分析

针对拓展的Web服务体系结构, 利用概率时间自动机（probabilistic timed automata, PTA）对Web服务组合进行形式化建模, 将Web服务组合的过程理解为一个实时系统的运行过程, 进而对Web服务组合的整体服务质量（quality of service, QoS）进行定量分析, 从而克服了已有Web服务质量研究方式主要集中在对单个Web服务分析评估上的局限性, 在整个分析过程中充分考虑Web服务组合执行过程所具有的随机性和不确定性, 具有较高的可信度. 通过实验说明了建模分析方法的可行性, 并证明了采取相应的服务选择策略有助于提高Web服务组合的成功率.     

基于XYZ/ADL的Web服务组合精化检验

Web服务组合的正确性验证在Web服务组合过程中至关重要.从软件体系结构角度考虑Web服务组合,可以从整体上把握系统布局.采用体系结构描述语言XYZ/ADL描述Web服务组合,并将XYZ/ADL中的XYZ/RE程序映射至时间自动机,使用精化检验方法验证Web服务组合的正确性.     

面向语义的制造服务构建技术

为了支持网络化协同制造过程中制造服务的匹配、选择和组合,同时提高服务的查全率和查准率,提出了基于语义的制造服务形成方法.首先,从制造服务的基本信息、服务类别、功能、资源构成、关联制造任务、访问、状态及服务质量等方面对制造服务进行了形式化定义和案例说明.其次,利用XML文档对标准OWL-S(Web服务本体语言)进行了扩展以传达服务的动态信息.然后,采用扩展后的OWL-S对制造服务模型进行了描述实现.最后,给出了协同制造平台原型与运行流程,通过某纺织机械制造企业的生产实例进行了原型系统的验证和应用.     

基于空间分析服务的模型组装平台的设计与实践

GIS应用日趋广泛,但目前单独一个GIS系统难以满足多种应用模型的需要,利用Web服务将空间分析功能共享与组合是一种可行的快速解决办法.本文借鉴面向服务架构概念和Web服务技术,将空间分析功能封装为空间分析服务,对GIS空间分析服务间的几种基本逻辑关系进行了抽象与总结,提出了利用Web服务组合构建空间分析模型的思想,并以GIS中水文分析模型为例对模型构建过程中的空间分析服务封装、组合以及模型构建几个阶段进行了研究和实践,实现了在Web环境下水文分析模型的平台构建.     

一种支持QoS约束的Web服务质量模型

为了满足在组合Web服务中提供服务质量支持，提供有保证的QoS（Quality of Service）的需要，以及针对目前在组合服务中，很少提供对服务质量支持的问题，建立了一个Web服务质量的模型．该模型为所有服务建立了一系列的质量指标，并对它们进行量化，得到量化值．最后在此模型的基础之上，在组合服务中建立了一个服务质量驱动的服务选择机制，从而可以实现所有在组合服务中的服务都是最优的．已经基于Microsoft．NET实现了一个原型系统．     

基于上下文的Web服务推荐模型

传统的Web服务推荐模型仅仅考虑到Web服务层的质量特性,如QoS,随着Web服务的普及,服务交易的广泛使用,如何组合Web服务来完成一个操作流程满足用户的需求是一个新的挑战.提出了一个新的基于上下文的组合服务推荐模型,该模型不仅考虑到服务层和业务层的质量特征,而且进一步考虑了服务的上下文信息,包括用户兴趣、喜好等等,能够更好地对Web服务进行推荐.     

基于流演算的语义Web服务组合研究

针对现有语义Web服务组合方法未考虑到互联网环境的动态性及Web服务的随机性问题,提出采用流演算理论对语义Web服务组合进行研究.首先将Web服务的输入、输出、前提和效应映射为基于流演算的动作形式化描述; 然后定义将OWL-S中的原子过程和复合过程向流演算转换的规则; 再根据提供的Web服务组合目标,利用形式化地推理来得出Web服务的组合序列,从而能动态地形成正确有效的Web服务组合方案.最后,通过一个会议安排实例验证上述理论,结果表明该方法是可行的.