图形化工作流建模及其正确性验证方法研究与实现

《图形化工作流建模及其正确性验证方法研究与实现》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、硕十论文图形化工作流建模及其正确性验证方法研究与实现的不合理交错导致工作流定义的数据语义冲突，列举造成数据语义冲突的情况，指出工作流并发调度机制必须考虑的几个方面，实现在活动节点的粒度上，基于时间约束的工作流数据语义验证技术。第六章基于EXPDL的工作流模型的设计与实现。设计并实现了工作流图形化定义工具，叙述了实际应用开发过程中所用到的各种技术，展示了系统设计模式的UML图和实例图。第七章总结与展望。对本文工作进行总结和展望，综述了研究界和工业界对工作流建模及过程验证问题的一些看法、所做出的努力和所取得的成果，以及未来的研究方向。2工作流管理系统综

2、述硕士论文2．1工作流管理系统基本概念企业的经营过程是为了实现企业某个经营目标的一个过程，它在部分或者全部组织机构和人员参与下，利用企业资源(包括计算机软、硬件)，按照预先确定的规则，在参与者和组织机构之间进行文档、信息、任务的传递和处理，从而实现预定的经营目标。工作流主要是用来描述经营过程的，因此其可以看成是企业一个具体的经营过程的描述和图形化的表示。为了描述清楚一个企业的经营过程，并以计算机可以识别的方式建立企业的经营过程模型，在工作流中必须定义一系列基本的概念和术语来描述模型的组成。首先是工作流的定义。根据工作流管理联盟的定义，工作流是一类能

3、够完全或者部分自动执行的经营过程，它根据一系列过程规则，文档、信息或任务能够在不同的执行者之间传递、执行。[21其次，在明确了工作流定义基本概念的基础上，介绍工作流管理系统的定义。WfMC给出的关于工作流管理系统的定义是：工作流管理系统是一个软件系统，它完成工作流的定义和管理，并按照在计算机中预先定义好的工作流逻辑推进工作流实例的执行。[21通常，工作流管理系统指运行在一个或多个称为工作流机的软件上的，用于定义、实现和管理工作流运行的一套软件系统，它和工作流执行者(人、应用)交互，推进工作流实例的执行，并监控工作流的运行状态。工作流管理系统可以用来

4、定义与执行不同覆盖范围(单个工作者、部门、全企业、企业间)、不同时间跨度的经营过程。按照经营过程以及组成活动的复杂程度的不同，工作流管理系统可以采取许多种实施方式。在不同的实施方式中，所应用的信息技术、通信技术和支撑系统结构会有很大的不同，但是他们还是具有很多共同的特点，从较高层次上来抽象地考察工作流管理系统，可以发现所有工作流管理系统都提供了三种功能：1)建立阶段功能：主要考虑工作流过程和相关活动的定义和建模功能。在这个阶段，利用一个或多个建模技术与工具，完成实际的经营过程到计算机可处理的形式化定义的转化，所得到的定义通常可称为过程模型、过程模板

5、、过程元数据或过程定义。2)运行阶段的控制功能：在完成了过程模型的定义后，工作流执行服务对模型描述的过程进行初始化、调度和监控过程中每个活动的执行，在需要人工介入的场合完成计算机应用软件与操作人员的交互。过程控制实际上由称为工作流引擎的软件模块来完成。3)运行阶段的人机交互功能：实现各种活动执行过程中用户与应用程序之间的交6硕士论文图形化工作流建模及其正确性验证方法研究与实现互。企业各个业务部门的人员按照工作流任务管理器提供的任务项，完成具体的业务，对于具有较高职务的系统管理员还要进行流程的检查、监视对意外情况进行紧急处理等。过程实例化图2．1．1

6、工作流管理系统特性“2．2工作流管理系统参考模型为了能够更好地支持企业经营过程建模、分析和实施，适应市场的多元化趋势，WfMC提出了有关工作流管理系统的一些规范，定义了工作流管理系统的结构及其与应用管理工具和其他工作流管理系统之间的应用编程接口，其主要目的是为了实现工作流技术的标准化和开放性，从而支持异构工作流管理系统与产品之间的操作，并且使得其它的应用可以使用该结构和定义好的通用API访问不同的工作流管理系统提供的服务，实现与其他应用的快速有效集成。图2．2．1为WfMC提出的工作流参考模型13】，本小节主要对参考模型的五类接口和模型涉及到的相关

7、数据进行描述：1)接口l：工作流服务和工作流建模工具间的接口，包括工作流模型的解释和读写操作。2)接I=12：工作流服务和客户应用之间的接I=1，它约定所有客户方应用和工作流服务之间的功能访问方式。3)接口3：工作流机和直接调用的应用程序之间的接口。41接口4：工作流管理系统之间的互操作接口。5)接口5：工作流服务和工作流管理工具之间的接口。72工作流管理系统综述硕士论文6)工作流控制数据：工作流执行服务／工作流引擎通过内部的工作流控制数据来辨别每个过程实例或活动实例的状态。这些数据由工作流执行服务／I作流引擎进行控制。用户、应用程序或其他的工作流

8、执行服务／T_作流引擎不能对其直接进行读写操作，它们可以通过向工作流执行服务／I作流引擎发送消息请求来获得工作流控制数据的