论文部分内容阅读
应用工作流技术实现业务流程的有效管理是企业实施电子商务的有效途径。工作流技术通过将应用逻辑和过程逻辑相分离，把人、信息和应用工具合理组织在一起，发挥了系统的最大效能，为企业更好地实现经营目标提供了先进的技术和管理手段。然而，目前的工作流管理系统在将现实世界中的业务过程逻辑转化为计算机化形式定义的过程中及在工作流程的执行管理过程中，仍然在正确性、可靠性等方面存在很大的局限性。
为此，本文对工作流管理系统中的上述问题，特别是工作流模型的正确性问题展开了深入的研究，主要工作包括：
1.针对工作流模型的正确性问题，提出了一种结构化的工作流模型及基于约束的建模方法，在此基础上开发了一套结构化工作流建模工具，为用户建立正确的工作流模型提供了有效的保障。
2.基于J2EE技术及其核心模式设计并实现了结构化工作流模型的引擎，在性能、可靠性、可扩展性等方面取得了较好的效果。
3.实现了一个工作流管理原型系统，并利用电子商务中的一个简单交易流程对该系统进行了验证。实践表明该系统在模型正确性和引擎性能等方面具有一定的特色。