论文摘要：基于有色同步网的工作流系统的设计与实现

随着工商业的飞速发展，如何使用计算机对业务流程进行自动、有效的组织和管理，成为现代信息技术的重要前沿课题。工作流是针对工作中具有固定程序的活动而提出的一个概念，它是业务流程的全部或部分自动化。它通过将工作活动分解成定义良好的任务、角色、规则和过程来完成执行和管理，达到提高生产组织水平和工作效率的目的。而工作流建模是将现实世界中的业务过程抽象出来，并用一种形式化的、计算机可处理的方式来表示，它是工作流系统实现的关键和基础。 本课题来源于“广东软件园业务系统与资源整合系统”，该项目是国家863课题“虚拟软件专业孵化器技术支撑平台研究与集成开发”的子课题。本文首先对当前流行的工作流过程建模方法进行分析，并选取Petri网作为基础进行扩展，进而提出了有色同步网的概念。在有色同步网的基础上，结合对业务流程特点的分析，提出了一个工作流过程模型——有色逻辑网模型。该模型将业务流程中任务和任务之间的依赖关系清晰地划分开，利用它进行业务流程描述，实现了逻辑结构与任务实现的分离，使流程结构设计不必依赖于任务的实现方式，设计起来更加灵活，同时也提高了具体任务实现模块的可重用性，更有利于业务的扩展与重组。 其次，在有色逻辑网模型的基础上，本文提出相应的语义模型和数据模型，并实现了一个工作流系统SFWork，其中还包含相应的工作流过程定义语言SFWDL。鉴于有色逻辑网将业务逻辑与具体任务实现的分离，以及语义模型中使用过滤器统一了系统功能扩展的接口等设计优点，SFWork具有相当的灵活性和可扩展性，同时相比XPDL等当前流行的其他工作流过程定义语言，SFWDL也具有复杂度低和扩展性强的特点。 SFWork系统已被成功的应用到广东软件园业务管理系统中，完成了业务资源的整合以及业务逻辑的集成。实践证明，基于有色同步网的工作流过程模型以及在此基础上实现的工作流系统能够方便地完成业务流程的自动化并对业务流程进行有效的组织和管理。