● 摘要
随着现代社会生产规模和组织程度的飞速发展，分工越来越细。组织内部以及不同组织之间的人们之间需要更多的协同工作来完成一项任务。随着现代信息化技术的发展的普及，提出了工作流管理系统，针对日常工作中具有固定程序的活动进行自动化处理。通过将一个具体的工作分解成多个任务，这些任务通过一定的规则和过程相继执行，从而多人协作的效率得到了提高，企业生产经营管理水平得到了改进。工作流的发展已经经历了较长的阶段，由于其具有很高的应用价值，一直都是学术界研究热点。学术界和工业界提出了很多工作流模型，并已开发出若干产品化的工作流管理系统，但都存在一定的不足。工作流建模是工作流应用的一个重要过程。由于建模过程的固有的复杂性，如何提出更加贴近于现实世界的工作流模型，并为工作流模型提供方便、灵活的可视化建模工具，是工作流研究和产品开发的重要内容。本文在EasyWork分布式应用开发平台的基础上，抽象出一个形式化的工作流模型，为该工作流模型构造了一种描述语言，并在此基础上设计实现了一个可视化的分布式工作流的定义工具WFDesigner。相比同类的其它工作流建模工具，WFDesigner具有更好的描述能力和更好的可用性。本文主要的工作和取得的成果包括：1. 通过对EasyWork工作流模型的分析，确立了工作流模型中的五个子模型。并在对子模型中实体、实体属性和实体关系分析的基础上建立了对模型的形式化的描述。2. 结合EasyWork工作流模型的特点以及分布式工作流运行系统的要求，确立了 “定义-分解-发布”的三阶段工作周期。3. 为EasyWork系统设计并实现了一个图形化的工作流定义工具WFDesigner。能够方便的支持业务人员将业务过程、组织机构概念以交互式、图形化的方式进行精确建模，并将产生的全局流程定义映射为持久化的描述语言，并提供分布式层次化的业务过程、组织机构定义方式。根据EasyWork分布式运行系统的要求，实现了从全局流程定义到运行节点局部定义的分解算法。