基于着色Petri网的事务工作流模型的研究与应用-计算机软件与理论专业论文.docxVIP

大连理工大学硕士学位论文摘 大连理工大学硕士学位论文 摘 要 工作流技术是实现企业业务过程建模、仿真分析、优化管理的核心技术。它将业务 过程逻辑从应用系统中分离出来，达到了对过程建模、重组和重用的目的。随着工作流 技术的发展，用户对工作流管理系统的可靠性和正确性要求越来越关注。支持事务处理 的工作流是将数据库管理系统中的事务概念应用在工作流管理系统中，来处理错误恢复 和并发控制，以保证运行结果的一致性和执行正确性。目前的工作流系统没有支持事务 或者对事务支持的不充分，系统的正确性和可靠性成为成败的关键，缺乏事务支持严重 阻碍了工作流管理系统更加深入和广泛的使用。 本文对工作流管理系统中的事务和事务处理进行了深入的研究，分析比较了工作流 管理系统中事务概念与传统事务、高级事务的不同，并讨论了工作流中的错误类别及处 理方式。在此分析的基础之上，提出了一个基于着色Petd网的事务工作流模型。为了 保证关键业务活动的正确、可靠执行，该模型不仅引入活动的事务处理级别，并且提出 了事务范围的概念，并从应用语义的角度对它进行扩展。此外，还提出了一组事务恢复 执行模式，其目的是为了保证事务范围具有放松了的原子性，恢复执行模式能根据模型 中的事务语义灵活有效的进行失败恢复。该模型允许用户在工作流执行前临时加入任务 执行的状态依赖，并通过这个任务状态依赖表达复杂业务规则的面向事务和面向应用的 需求，为现有的工作流系统提供一种合理的基础理论以扩展工作流的事务支持。 在上述研究的基础上，开发了工作流管理系统FlexWork介绍了其总体功能结构， 重点讨论了过程定义子系统的事务语义表达，运行服务子系统的分析与设计，以及重要 功能部分的体系结构。本文旨在为工作流技术中事务处理方面的研究进行既有学术价值 又有实用价值的积极探索。 关键词：事务；恢复；工作流管理系统；任务状态依赖；着色Petri网 大连理工大学硕士学位论文Research 大连理工大学硕士学位论文 Research and Application of Transactional Workflow Model Based on Colored Petri Net Abstract Workflow technology is a core technology that assists enterprise business processes to realize modeling，simulation，analysis，optimization management．The worlfflow management technique separates the process logic from the applications，and achieves the purpose of process modeling，recompose and reuse．With the development of workflow,more and more researchers are concemed with the reliability and correctness of W踟S．A transaction supporting workflow Can apply transactions that originally proposed in the context of databases to the context of workflow to deal with error recovery and concurrency control， thus guaranteeing the consistency and correctness of the operation results．At present，the workflow system does not support transactions or cannot support transactions sufficiently． nle correctness and reliability of the system is the key to SUCCESS．A lack of transaction supporting obstructs the widespread application of the WfMS． In this Paper，we analyze the differences between the transaction in WfMS，the traditional transaction，and the advanced transaction．Based on t