基于活动网络图的工作流过程定义工具的研究

该文基于工作流管理联盟(WFMC)制定的工作流过程定义元数据模型,提出了一个独立通用的基于活动网络图的工作流过程定义工具,它遵从WFMC制定的XPDL规范,可以输出一个标准通用的过程定义并能被不同的工作流运行系统解释执行,从而实现完全的过程定义的分离存储。     

一个基于角色的工作流模型

在WfMC(WorkflowManagementCoalition)的工作流元模型和RBAC(RoleBasedAccessControl)的基础上提出一个基于角色的工作流模型。该模型将RBAC融入工作流建模,实现了流程定义过程中基于角色的任务授权,并将带有角色继承特性的RBAC1引入工作流模型的角色层次的维护,并在此基础上结合组织结构图,对角色进行纵向和横向的划分,使角色层次结构更接近实际应用。     

工作流管理系统中的过程定义模型

通过对工作流系统开放性标准的研究，本文讨论了工作流过程定义交换原理及过程定义隐喻模型。过程定义隐喻模型描述了一个过程定义中最通用的实体、它们之间的联系及用于描述这些实体的基本属性。另外，还定义了一些规则，用于把过程定义组织起来并对公共的过程定义数据进行存取。     

事务工作流模型定义及完全性分析

事务工作流模型可被视为扩展的事务模型和通用工作流模型的交汇点，提出将工作流的模型定义同其事务属性的定义独立开来，尽管在此方法中区分了多重的事务属性。提出了直观的注解符来定义原子性，提供了一个通用规则——放宽的完全性准则，以适应现实运行中事务管理的需要，以一个网上电子书店工作流应用为例来阐明这种思路。     

SPEM2XPDL模型转换研究*

将软件过程技术与工作流技术相结合,严格定义了SPEM2XPDL模型转换规则,设计并实现了一个SPEM2XPDL模型转换引擎.此引擎将SPEM描述的软件过程转换为符合工作流定义(XPDL)的工作流过程,从而可基于工作流管理系统对软件过程提供执行支持.SPEM模型经引擎转换后在工作流管理系统Shark上的成功执行表明了引擎的可用性.     

一种工作流模型的性能分析方法

在讨论了工作流模型分析的相关问题后，基于工作流网的定义，给出了包含资源、时间等信息的多维工作流网的概念，并讨论了由基于工作流联盟(WfMC)过程定义的一种有向网络图模型到自由选择多维工作流网模型的映射．为了处理工作流模型中的循环结构，对具有无环自由选择工作流网到一组变迁组件网(T—component)的分解算法进行了扩展，以处理工作流网中存在的循环结构．进而在模型结构分析的基础上，根据工作流模型的实际业务输入速率计算得到工作流网中每个变迁的输入速率．进而，结合开环Jackson排队网络理论，详细讨论了对工作流模型进行系统静态性能分析及基于系统资源状态的连续时间马尔科夫链(CTMC)的系统动态性能分析的方法，并以一个实例验证了作者提出的模型性能分析方法的有效性．     

一种扩展的工作流过程定义模型

提出了一个支持复杂应用的扩展工作流过程定义模型ScopePModel，它可以描述复杂结构的工作流流程，并且能够清晰地描述任务之间的控制流依赖关系和任务的补偿信息，表达出复杂工作流程的定义；同时，本文所提出的工作流过程定义模型ScopePModel，不仅可以捕捉现实世界业务流程，具有丰富的表达能力，使工作流定义的语义更为明确，而且为工作流过程定义模型验证提供了强大、丰富的理论依据，为工作流过程定义模型验证奠定了良好基础．ScopeWork是我们自行研制开发的工作流管理系统的原型系统，它基于该模型实现了复杂业务过程的工作流过程定义以及调度等功能．     

基于着色工作流网的工作流模型的设计与实现

本文在扩展Petri网的基础上,提出了一个新的工作流模型——基于着色工作流网的工作流模型,并对其进行了详细设计。在此模型的基础上,本文实现了一个可视化的工作流建模工具,设计人员通过该工具建立业务过程,并根据模型的定义保存业务过程定义。     

基于Web的工作流过程定义模型的研究与实现

针对传统Client/Server结构的局限性,结合Internet技术的飞速发展,提出了一种基于Web模式下的工作流过程定义的设计模型.该模型运用面向对象的思想,利用活动网络图来定义工作流,输出的过程定义遵从工作流管理联盟(WFMC)制定的XPDL规范,并能被不同的工作流运行系统解释执行.最后通过具体的实例说明了该模型在实际流程中的有效运用.     

基于Petri网的工作流模型合理性验证

工作流管理系统具有实时性、同步和异步操作等特点,其建模方法是成功实施工作流管理的关键,而工作流模型应该完整地支持工作流定义的概念,正确、高效地反应企业的经营组织过程,为确保工作流的正确运行,必须对工作流模型的合理性进行分析和研究,因此工作流的模型分析和优化成为工作流研究的一个重点[7]。该文从各种研究资料出发,利用工作流模型的合理性定义,给出基于Petri网的工作流模型的验证步骤和方法。     

基于XML的工作流过程定义语言模型XMWPDL

就像当年数据库管理系统一样，工作流管理系统互不兼客，虽然WFMC成立并制定出了一个过程定义语言的规范，但是要达到交换和互译很难．本文提出了一种描述工作流模型的过程定义语言模型XMWPDL，继承了WfMC的WPDL语言模型和XML的优点，是真正实现了通用的过程定义、交换和互译的语言．     

一个通用的、可扩充的动态协调工作流模型及应用

对工程开发过程的运行方式进行了分类，提出了一个通用的，具有较强扩充能力的动态协调工作流模型，并阐述了实现这种模型的数据结构和功能构件，以适用于工程开发过程的自动化管理，最后，针对机械设计领域，利用在PC机上开发的工作流工具，给出了一个具体的实例。     

工作流开发平台框架的研究与开发

文章提出了一个跨平台、支持各种操作系统、提供模型验证的独特工作流开发平台框架.通过平台建模工具搭建流程定义,依托引擎实现流程流转,采用基于Web的缺省客户端和管理监控工具完成对流程的调整、监控与审计,提供建模时期模型验证功能,提高了平台运行的可靠性.     

面向动态工作流的Web服务组合

利用动态工作流模型,将Web服务的组合过程与工作流的过程模型有机结合起来,从而建立面向动态工作流的复合服务。在复合服务的执行过程中,通过引入服务评价函数,并根据工作流过程模型中所定义的各项任务之间的业务逻辑与业务规则,最终实现工作流任务的动态绑定与执行。     

P-F方法在工作流系统中的应用研究

P-F方法是作者正在进行的一项过程建模和过程改进的方法论研究,作为一种支持过程建模、控制和改进的方法,P-F方法同样可以应用于工作流系统中。P-F方法由概念模型和实施模型组成,概念模型包括Petrinet和形式化的PAB表,它可以应用于工作流的建模;P-F方法的复用机制支持工作流建模过程的复用;P-F引擎提供了工作流管理,并支持运行时的工作流模型的动态修改。论文在工作流和P-F方法的概念后,讨论了如何将P-F方法应用于工作流系统以及将P-F方法应用于工作流系统所带来的优点。     

OA系统流程模型分析与元模型设计

分析办公自动化(OA)系统中的流程模型,参考工作流管理联盟的基于XML的过程定义语言,提出OA系统的基本流程元模型设计,其中包括OA系统的流程模型、元模型规范、处理规范等,解决了OA系统中流程的标准化处理问题,适用于建立具有行业范围的OA系统流程及处理规范,有利于促进OA系统的标准化建设。     

基于过程模型的工作流执行语义研究

针对现有工作流建模语言难以兼顾语言的可理解性、执行语义的形式化和描述维度的单一性等问题,提出利用可视化的过程模型作为工作流建模语言。过程模型能从过程、数据、资源、组织等多个角度描述企事业的业务工作流程。根据过程模型的语法和工作流系统的特点,定义形式化执行语义,为过程模型的分析、验证和执行提供理论依据。     

基于元图的工作流建模分析方法

工作流可以有效的规范业务流程、监控流程的执行，而且能够根据客户的需求创建出新流程模型。工作流的建模过程存在一定的复杂性，它要求创建的新模型具有可视化和可操作的特点，同时模型的有效性（即正确性与合理性）也是相当重要的。将元图运用于工作流建模和分析过程，以具体的业务流程为背景，逐步分析隐含在流程中的深层次问题，找出信息元素、活动和资源之间的相互关系，从而确保工作流模型的有效性。