起源于20世纪70年代的“工作流管理”技术，已成为组织挖掘信息系统潜能的重要使能技术，并逐步成为当代组织信息系统的标准核心构件。“工作流管理”这一概念是支持组织结构化业务过程高效运行的思想、理论、方法、技术和系统的总称。\n 工作流管理系统成功的关键在于向其输入的工作流的质量。在研究传统工作流的基础上，提出将工作流形式化的观点，并提出采用Petri网建模体系。尽管Petri网是图形化的，但它却有着坚实的数学基础，而且是完全形式化的。正因为如此，该形式化体系有很多优点。首先，它有精确的定义，同许多其他非形式化的框图技术相比，避免了模糊性、不确定性和矛盾性。其次，这种形式化体系可以用来反思过程，我们可以检验一个案例在一段时间后是否被成功执行。在这种建模基础上，作者提出了一套完整的工作流管理系统设计方案。该方案中，严格地采用过程形式化体系，即基于 Petri 网的结构化建模技术。在研究这一形式化体系的基础上，设计出了适用于该体系建模技术的工作流管理工具。通过该工具，可将已结构化的工作流模型转换成 XML 文档，再由工作流引擎来执行 XML 文档；同时，管理工具还能对已有的 XML 文档进行修改、维护和扩充。 \n 论文主要内容分为四部分：第一部分主要介绍了本文的研究背景和国内外研究现状；第二部分主要对工作流管理系统参考模型进行了研究，重点对Petri网技术进行了分析；第三部分讨论了具体工作流模型设计；第四部分主要介绍了工作流管理系统具体实现过程，侧重论述了Petri网技下实现方法，验证了模型的可行性和高效性。
暂无评论