工作流开发平台框架的研讨和工作流形式化建模.pdfVIP

摘要 随着经济环境的全球化，企业面临着越来越激烈的竞争。大多数有着竞 争力的企业都把业务过程的管理作为他f1]成功的关键。工作流技术应运而 生。作为定义、创建和管理工作流运行的系统软件——工作流管理系统，它 巨大的潜在市场和广阔的应用领域吸引了来自全世界各研究机构及软件厂 商越来越多的关注。国际上声称具有工作流功能的系统已经有几百种之多， 也开始出现这方面的研究与开发，著名的有清华大学的CIMFlow。但多限于 探索和理论研究阶段，正式产品和应用较少。 在对国内外的工作流开发平台和管理系统的研究基础上，本文提出了一 个跨平台、支持各种操作系统、并且能够提供模型验证的独特上作流丌发平 台框架。文章主要论述了该平台的设计思路和实现机制。 本文分为7个部分。第一部分论述了工作流技术、国内外工作流的研究 现状与发展和本课题所做的主要工作。第二部分是工作流标准和我们提出的 工作流开发平台框架的介绍。笫三部分主要介绍了开发平台中建模工具的设 计与实现，包括总体设计、设计模式以及系统实现的关键技术。第四部分论 述开发平台中工作流引擎系统的设计与实现，从总体设计到系统的各个组件 的介绍。第五部分是我们在工作流形式化建模型方面所做的理论探索和研 究，提出了一种基于进程代数的工作流建