论文部分内容阅读
在以构建业务流程为主旨的信息系统开发中,工作流管理系统已经成为一个重要的系统部件和开发平台。运用工作流技术,可以使信息系统的业务流程与具体的应用相分离,降低了软件复杂度,提高了系统可维护性。然而现有的工作流技术缺乏保障工作流事务性的机制,当系统故障发生时,难以恢复到正确状态,这就无法保障工作流运行的正确性和一致性。这个缺陷大大限制了工作流技术的应用范围。
本文提出了一种分层结构的事务工作流模型和建模方法,可以根据工作流运行情况进行全局回滚或部分回滚,实现了事务工作流的松弛原子性。这种事务工作流模型的实现是在普通工作流引擎基础上,外加事务控制模块。因此能够方便的与现有工作流引擎集成。模型用经典谓词逻辑和函数对事务工作流的实现机制进行了形式化描述,可以直接指导工作流事务管理模块的实现。另外根据工作流模型的特点,采用UML中活动图建模符号来描述工作流的静态模型和动态模型,符合软件建模的通用规范,易于同开发人员沟通交流,具有很强的实用性。
最后,以山西省科技厅业务信息系统的开发为背景,详细论述了电子政务事务工作流系统的设计与实现,并且给出了关键模块的源代码。