基于Petri网的Web服务流程建模方法研究

随着网络应用的蓬勃发展,Web服务越来越普及。在实际应用中,往往需要对已有Web服务进行集成。目前通常的企业Web服务集成过程,都是先根据企业的业务流程建立相应的Web服务流程模型,再由此建立应用系统。而目前已有的建模手段的共同问题是：无法确保模型的正确性和与具体业务的紧密吻合。该文提出一种基于Petri网的Web服务流程建模方法。该建模方法通过将Petri网引入建模过程弥补了原建模过程中无法直观感受模型的不足,通过建立一套完备的形式化定义保证了建立模型的正确性,通过将紧同步随机Petri网引入建模过程可以更好的描述实际业务。通过使用该方法, 可以很好地解决现在Web流程建模过程中存在的问题。此方法也为其他领域中的流程建模仿真提供了一种很好的解决问题的方法和思路。     

Web服务合成平台研究

Web服务之间的交互是面向服务的架构（SOA）中的关键问题。该文分析了Web服务合成的研究现状并提出了服务合成平台WSCP的设计方案。给出了WSCP的总体结构，描述了其中的关键技术，包括流程模板库定义，服务发现，流程设计、分析、执行和监控等。     

基于多层chord的web服务工作流构建①

针对传统的集中式的服务发布、服务发现存在的问题以及服务工作流只能在流程定义阶段静态绑定服务的问题,提出了采用基于服务分类的三层chord来组织web服务的方法和逻辑工作流与资源层交互的模型。首先介绍了web服务分类模型,然后对结构化p2p资源层进行建模,并提出了逻辑工作流的定义方谣,最后设计了流程匹配、服务发现、服务选择和服务绑定四个功能模块来实现逻辑工作流到可执行工作流的映射。     

基于Petri网的工作流模型的研究

介绍了一般Petri网及工作流网的基本定义,在基本的工作流网系统定义的基础上,引入面向对象技术及分层技术,提出了一种面向对象的工作流网的模型,以提高模型的可读性和重用性,实现流程的分层建模,降低建模复杂度.通过一个具体实例阐述了如何建立扩展工作流网模型,并通过简化技术和可达树分析方法,验证了模型的活性.     

基于工作流的Web 服务组合模型设计与实现

单个Web服务无法满足企业的应用需求,对多个Web服务进行组合的研究尤为必要。本文提出了一种基于 工作流模板的服务组合模型,旨在通过定义和发布静态的Web服务,搭建基于工作流的Web 服务业务流程组合模型,实现在 工作流流程中调用静态的服务组合。     

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

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

一种基于ECA规则的Web Service工作流模型的研究

工作流技术的深入应用要求工作流管理系统增强Web服务功能,基于Petri网工作流过程模型存在无法表述状态变迁过程或状态变迁边缘时刻事件的缺陷.给出了基于ECA规则Web Service工作流模型形式化定义,基于ECA规则的过程模型以事件推动工作流实例的执行,通过严格定义事件的语义来保证工作流的正确执行和监控并支持工作流在运行中修改实例.     

基于Web的工作流技术在测绘管理中的应用研究

随着计算机技术的发展和应用,工作流技术在现代组织管理中发挥的作用越来越大。将基于Web的工作流技术引入测绘管理领域,是为了实现测绘部门的业务流程自动化、协同化和信息的充分共享。给出了工作流应用系统框架结构,提出了工作流系统模型,此模型由组织机构模型、流程定义模型和流程执行模型组成,并给出了具体的应用实例。     

基于Web的工作流技术在测绘管理中的应用研究

随着计算机技术的发展和应用,工作流技术在现代组织管理中发挥的作用越来越大。将基于Web的工作流技术引入测绘管理领域,是为了实现测绘部门的业务流程自动化、协同化和信息的充分共享。给出了工作流应用系统框架结构,提出了工作流系统模型,此模型由组织机构模型、流程定义模型和流程执行模型组成,并给出了具体的应用实例。     

基于REST风格的资源化工作流引擎的研究

为了提高工作流引擎的复用性和对云端Web服务的适应力,设计了一种面向资源的,以REST服务为框架的工作流引擎.首先将工作流要素抽象为实体资源,根据要素关系抽象出实体关系,设计了方法资源以完成引擎中的复杂操作,然后以REST框架将引擎中所有工作流要素和操作封装为资源,统一进行管理和操作,设计了封装后的引擎接口和解析器,设计了异构转换器以解决工作流引擎对于不同格式Web应用的调度.实现了资源化工作流引擎以及其支撑环境,该引擎与传统工作流引擎相比,能够更好地适应云环境,能够更灵活地发布和复用工作流要素.     

电子商务领域本体下的Web服务自动组合实现

随着Web服务应用的不断发展,如何根据服务需求进行Web服务的动态组合,已经是一个急需解决的问题。本文利用电子商务领域本体建立了Web服务本体模型,提出了基于语义的Web服务动态组合体系结构和解决方法。架构包括服务描述模块、需求解析模块和服务组合模块。最后,给出了该模型在一个购物系统中的实现。     

基于SOA的面向业务敏捷性流程集成模型

以企业的IT架构为着眼点,引入面向服务的架构,以业务流程、信息以及协作为切入点,构建以业务流程管理为中心的流程管理模型,通过分离流程的建模和实现过程,自动组合和调度服务等一系列机制,实现了动态、自动、敏捷的流程集成功能,通过跨企业采购流程为例对系统的功能加以说明。     

基于进程的Web服务访问控制模型

在对传统RBAC研究的基础上，针对Web Services低耦合、动态变化的特点提出了针对Web Services的访问控制模型——PBACWS。PBACWS中提出了元服务、元权限的概念对Web Services进行了描述。PBACWS突破了RBAC中对用户赋予角色的做法，利用服务权限令牌进行授权的概念，通过将动态生成的服务权限令牌赋予任务进程，实现了对Web Services进行细粒度的安全控制。     

服务请求驱动的语义Web服务组合方法

以Web服务本体和领域本体为基础,利用语义匹配算法,提出一种以服务请求驱动的服务组合方法。递归调用此算法可以得到满足服务请求功能及性能约束的服务组合树。通过一个具体的实例,讨论服务组合树的构造过程。实例应用表明,本方法支持自动的、动态的Web服务组合,能够很好地满足QOS约束。     

模型驱动的业务流程建模工具

业务流程管理与面向服务架构为企业的高效整合提供了解决方案。基于模型驱动开发理论,提出一个精炼的业务流程元模型,解决模型间的转换问题,探讨模型实例控制流结构和语义的校验方法,根据模型驱动架构设计并实现基于该元模型的流程建模工具。     

Web Services合成方案向BPEL4WS的自动转换

合成方案自动转换为BPEL4WS模块是Web Services实时动态语义合成系统SASO的核心组成部分。该文使用DAG作为Web Services合成方案的表示方法；在此基础上提出了WTOP自动转换算法，通过运行时代码动态生成的方法，实现从DAG到BPEL4WS的自动转换。