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