工作流中若干问题的研究-计算机软件与理论专业论文.docxVIP

承诺书 本人声明所呈交的博/硕士学位论文是本人在导师指导下 进行的研究工作及取得的研究成果。除了文中特别加以标注和 致谢的地方外，论文中不包含其他人已经发表或撰写过的研究 成果，也不包含为获得南京航空航天大学或其他教育机构的学 位或证书而使用过的材料。 本人授权南京航空航天大学可以将学位论文的全部或部 分内容编入有关数据库进行检索，可以采用影印、缩印或扫描 等复制手段保存、汇编学位论文。 （必威体育官网网址的学位论文在解密后适用本承诺书） 作者签名： 日 期： 南京航空航天大学硕士学位论文 南京航空航天大学硕士学位论文 工作流中若干问题的研究 工作流中若干问题的研究 I I PAGE PAGE IV 摘 要 随着电子商务、办公自动化等技术的不断发展，工作流技术已经广泛的应用到各种大型商 业软件中，工作流技术以及工作流管理系统已经成为大型软件中的支柱。鉴于工作流技术所起 到的重要作用以及工作流已经具有了非常广泛的应用领域，各种有关工作流技术的问题已经引 起研究人员的广泛关注。本文从不同角度，采用了进程代数、运筹学方法等方法对目前工作流 模型验证，死锁处理方式，资源配置，执行路径选择等若干热点问题进行了详细地描述，并针 对不同的问题，提出了解决方案。本文的研究成果突破了使用 Petri 网对工作流进行建模的传统 方法，首先描述了工作流的基本概念，之后详细描述和分析了工作流中若干问题产生的原因， 并使用进程代数、运筹学方法对工作流中常见的问题进行了准确的描述，然后以进程代数以及 运筹学方法等理论知识为基础，加以拓展和变通，用创新的思路建立了工作流相关问题的模型， 提出了较为完备的解决方案。最后本文对整个研究工作进行了总结，提出了改进措施以及今后 工作的发展方向，为研究的后续工作打下了坚实的基础。 关键词：工作流，进程代数，运筹学，电子商务，办公自动化 ABSTRACT As techonologies of electronic commerce and automatic office are continually developing, the techonology of workflow is widely put into practice in all kinds of commercial software systems and plays pivotal role in big-scale software systems. In the light of importance and wide application of workflow techonology, many issues of workflow are attracting attentions of researchers of the entire world. Several methods such as process algebra, operational research are introduced in this paper to describe and resolve issues of workflow model verifications, deadlock, resource configurations and path choices in workflow from different perspectives. Petri net which is a traditional modeling language of workflow is replaced with some novel modeling methods. Some concepts and features of workflow are described first. Then common issues of workflow are described and analyzed exhaustively with process algebra and operational research. Then based on the theory of process algebra and operational research with some extensions and adaptations, several workflow models are constructed with novel measures so that several sound proposals are finalized for issues of workflow. Finally, a conclusion is comp