基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法

针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析。结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网的变迁和触发规则,使Web服务本体描述语言的原子过程、组合过程和数据流等核心元素能够等价映射到过程模型网。将过程模型网的可靠性分析问题分解为冲突消解和过程模型网剥离网可靠性问题,并采用传统Petri网分析工具(可覆盖性树)和原理,分析剥离网的可靠性,从而实现Web服务本体描述语言过程语义一致性分析,为Web服务本体描述语言本体演化、语义Web服务组合和验证提供了合理的理论基础。

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

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

基于业务流程执行语言的Web服务整合研究

业务流程执行语言(BPEL4WS)是整合Web服务的标准,其作用是将一组现有的服务整合起来,从而定义一个新的Web服务。首先介绍了业务流、工作流、以及BPEL4WS在Web服务建模方面的基本概念,建立了BPEL4WS整合Web服务模型,提出了组合服务的方法和过程。最后通过实例证明了BPEL4WS服务整合的实用性。

服务交互过程模型的业务流程执行语言描述方法

为了解决目前各种流程建模技术与建模语言之间差异所造成的服务交互过程模型集成和交互的困难,更好地实现以数据为中心的体系结构开发策略,提出了一种指挥自动化系统体系结构服务视图的业务流程执行语言建模的实现方法。该方法依据国际国防企业体系结构规范的建模基础,构建了C4ISR体系结构服务视图的元模型;以模型驱动体系结构思想为基础,基于元对象设施的四层元建模架构,研究了指挥自动化系统体系结构服务视图元模型到业务流程执行语言的转换方法;基于建模原语—模式方法研究了指挥自动化系统体系结构服务视图中主要服务交互模式到业务流程执行语言描述的映射规则。

Web服务环境中的业务过程建模语言比较框架

基于Web服务的价值链集成越来越受到人们的重视,相应的业务过程建模语言成为研究的焦点,各具特色的业务过程建模语言不断出现,对语言的研究、分析和比较已经成为基于Web服务的信息系统集成研究和开发中的一个重要问题。该文在分析Web服务环境下系统集成的体系结构模型基础上,提出了一个Web服务环境下业务过程建模语言比较框架,作为验证,对常见的建模语言进行了比较分析和评述。

基于业务流程执行语言的WEB服务整合的探讨

首先介绍了Web服务业务流程执行语言(webservicebusinessprocessexecutionlanguage,WS-BPEL)的相关概念及关键技术,并给出了基于BPEL的业务流程管理系统的框架,提出了组合服务的方法和过程。最后,提出了WS-BPEL技术目前还存在的问题以及今后的研究方向。

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

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

Web服务组合事务处理研究与实现

通过重用已有的服务进行服务组合来实现应用集成;而保证服务组合的事务特性是实现服务组合的关键。文中提出一个Web服务组合事务处理模型,将BPEL(Business Process Execution Language,业务流程执行语言)的流程设计与WS-C/T(Web Services Coordination/Transaction,Web服务协调/事务)规范结合。该模型主要由客户端、BPEL执行引擎、事务协调器和参与者四个部分组成。客户端发起请求,BPEL执行引擎响应请求并开启事务,事务协调器和参与者根据事务协调算法完成事务协调。

基于策略部署的Web服务事务管理机制的研究

为了解决BPEL语言对横切关注点建模的缺乏和动态演化方面的不足,提出一种基于策略方法实现Web服务事务管理机制的设计方案,把协调策略附加到BPEL伙伴链接和作用域上,在部署时对参与业务过程事务的伙伴服务支持的协调类型进行验证,保证业务过程需要的协调类型被参与者支持.同时,引入了面向方面编程(Aspect Oriented Programming,AOP)的思想,分离事务需求横切关注点,通过利用现有的支持动态织入的BPEL引擎等相关技术,使得事务管理需求能够在运行时动态地织入,并且能够在伙伴服务或者是业务过程改变时实现动态的修改.

一种基于Web服务的工作流过程模型

工作流管理系统实施是提高企业核心竞争力的有力措施,而工作流过程模型是整个工作流管理系统的基础,在Web服务的基础上提出了一种分层的过程模型,同时在过程模型中增加新的元素事务活动和事务节点,增加了模型对工作流管理系统的分布异构环境以及事务特性的支持。

基于WS-BPEL过程的Web服务依赖关系分析

构件和服务等软件实体的动态更新是支撑软件系统在线演化的关键技术,该技术可以在不中断系统运行的前提下对软件系统的结构或行为进行调整。然而,为保证更新前后系统行为的一致性,只有当软件实体处于安全状态时方可进行更新。以基于WS-BPEL(Web Service Business Process Execution Language)的软件系统为例,通过分析WS-BPEL过程与其成员服务间的依赖关系,提出了一种可预判成员服务是否动态更新的算法。实验结果表明,依赖分析算法可以有效预判成员服务可动态更新的时机,从而在不影响系统行为一致性的前提下有效减少动态更新所引起的服务中断。

一种Web服务环境下的事务保障框架

Web服务环境下的业务流程需要事务机制来保障其运行的可靠性和结果的一致性。本文分析了Web服务环境下事务的特点及挑战性问题,介绍了针对这些问题进行的相关工作。在综合这些工作的基础上提出了一个事务保障参考框架,并通过一个应用实例展现该框架如何支持业务流程的可靠运行。

业务过程执行语言流程语义标注方法研究

为提高工作流模型在分布式执行过程中的自动化程度,解决语义异构问题,提出了一种基于本体的业务过程执行语言语义标注方法,构建了业务工程执行语言流程树和Web本体描述语言领域本体树。针对业务工程执行语言流程中的每个概念,分别从三个角度计算其与Web本体描述语言领域本体中所有概念之间的语义相似度,并选取与该概念复合相似度最大的概念建立映射关系。通过语义消歧过程,消除业务工程执行语言流程中存在的语义异构,并生成语义消歧树,进而基于一系列映射规则,将语义消歧树转化为Web服务本体描述语言描述的语义工作流模型。最后给出应用实例,并采用F1-measure对所提出的语义消歧方法进行评估。

基于过程本体的语义Web服务过程模型的研究

针对Web服务本体语言(OWL-S)过程模型存在Web服务发现时对过程信息和QoS属性表达能力不足的问题,本文提出了一种基于过程本体的语义Web服务(SWS)过程模型的建立方法。首先,采用循环递进、逐步求精的本体建模方法建立过程本体,并且在过程本体中考虑QoS属性;其次,对其进行形式化定义,得到语义Web服务过程模型;最后,设计了一种转换算法,利用该算法将语义Web服务过程模型转换为过程图,并检测转换后的过程图的正确性。本文最终通过实验验证了语义Web服务过程模型的可用性和有效性。

基于WS-BPEL的可信Web服务架构的设计与分析

随着Web服务在商业服务中广泛应用,服务的可信性要求也越来越高。提出一个基于设计多样化和WSBPEL的可信Web服务解决方案,实现了一个灵活、适用的可信Web服务架构,并且使用Petri网模型分析了该架构的可信性质。

基于BPEL的Web服务快速组合框架

针对当前Web服务组合语言以及Web服务组合过程的复杂性,提出基于业务流程执行语言(BPEL)的Web服务快速组合框架。该框架用有向无环图(DAG)表示服务组合逻辑,通过对DAG解析自动生成发布工作流所需要的各种文档。对原型系统的验证结果表明,该框架能将BPEL的复杂性隐藏起来,达到Web服务快速组合的目的。

基于Pi-演算的BPEL4 WS Web服务组合形式化模型

Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型来可以用来检查、验证Web服务组合以保证组合的正确性。Pi-演算是一种适合于Web服务组合建模的进程代数。本文介绍了Pi-演算的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范-Web服务商业流程执行语言(Business Process Execution Language for Web Services,BPEL4WS),定义了Pi-演算和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于Pi-演算的形式化模型,最后通过一个案例给出了模型验证的方法。

基于ESB的企业内部构件与Web服务的集成

利用ESB可以快速搭建并实施应用系统,传统的ESB所集成的系统是由Web服务组成的,随着用户需求的不断增加及复杂,在效率和安全方面很难满足需求。利用远程方法调用(RMI)技术和接口定义语言(IDL)为构件提供一个与Web服务一致的接口描述,并将其与UDDI放置在ESB的服务路由目录中,以便动态发现和调用。该方法提高了系统的灵活性和可伸缩性,便于应用系统的快速搭建。

基于Web服务的协同制造研究

产品的复杂性决定了产品制造过程的复杂性,需要设计、工艺、生产等部门在各个环节以及不同制造原料和生产人员协同完成,网络以及网络化制造的发展为分布式协同制造提供了实现环境,Web Services技术的成熟化为实现协同制造提供了技术支持,各个系统通过Web Services以及可扩展标记语言实现异构信息的共享及制造过程协同。研究了基于Web Ser-vices的协同制造,提出了面向服务的协同制造管理框架,并分析了框架的实现。最后将协同制造管理框架应用到车间管理信息系统,并使CAD、PDM、CAPP、设备、人事、生产信息等协同到制造过程,实现制造过程集成管理。

Web服务运行时的监控和性能数据动态采集

为保证Web服务业务流程及时、准确地获得所调用服务的性能状况,提出了一种轻量级的Web服务运行时的监控和性能数据动态采集框架。该框架采用面向方面的编程,将方面代码植入业务流程执行语言的Web服务消息调用处,以收集服务实例执行状态、时间、事件信息,据此进一步计算出服务性能指标。监控独立于流程本身的运行,实现了服务调用逻辑与监控逻辑的分离。通过实验验证了该方法的可行性,表明监控代价是可以接受的。