工作流动态构建技术分析及应用-计算机应用技术专业论文.docx

论文题目： 工 作流动态构建技术研究及应用 作者姓名：张福新 入学时间： 2007 年9 月 专业名称：计算机软件与理论 研究方向： 分布式系统理论与算法 指导教师： 杜玉越 职 称： 教 授 论文提交日期：2010 年6 月 论文答辩日期：2010 年6 月12 日 授予学位日期： STUDY AND APPLICATION OF THE DYNAMIC CONSTRUCTION TECHNOLOGY OF WORKFLOW A Dissertation submitted in fulfillment of the requirements of the degree of MASTER OF ENGINEERING SCIENCE from Shandong University of Science and Technology by Zhang FUxin Supervisor: Professor Du Yuyue College of Information Science and Engineering June 2010 声 明 本人呈交给山东科技大学的这篇硕士学位论文，除了所列参考文献和世所 公认的文献外，全部是本人在导师指导下的研究成果。该论文资料尚没有呈交 于其它任何学术机关作鉴定。 硕士生签名： 日 期： AFFIRMATION I declare that this dissertation, submitted in fulfillment of the requirements for the award of Master of Engineering Science in Shandong University of Science and Technology, is wholly my own work unless referenced of acknowledge. The document has not been submitted for qualification at any other academic institute. Signature: Date: 山东科技大学硕士学位论文目录 山东科技大学硕士学位论文 目录 摘 要 工作流管理系统是实现业务过程的部分或全部在计算机应用环境中自动化的重要技 术，工作流管理系统的广泛应用，提高了企业生产水平和工作效率。然而，新的技术、 新的法规和新的市场需求都可能导致工作流结构化的变更，业务流程更多的表现为一种 动态的流程。为了提高工作流管理系统的柔性，本文通过形式化的本体语言描述工作流 ， 应用领域知识形式化建模的方法对工作流动态构建。该方法从语义上支持了工作流管理 系统的动态性，使得工作流的动态构建具有自主性和智能性。因此，本文的研究工作具 有重要的理论价值和实际意义。 目前，国内外对工作流动态构建的方法主要分为三大类：建立工作流元模型、模型 演进和基于知识驱动的方法。它们为支持动态性的工作流管理系统的研发起到了重要的 促进作用。本文综合分析了它们的优缺点，并在这些方法的启发下，通过分析现有本体 语言的语义以及表达能力，提出并研究了一种能同时描述动作和时序特性的知识表示语 言??动态时序描述逻辑。论文运用该语言构建领域流程模型并对工作流进行描述，从而 从语义上支持了对具有时序特性的工作流的动态构建。本文的主要工作表现在如下几个 方面： (1)针对当前本体语言缺乏对时序特性的描述，无法提供对动态行为的推导，提出了 一种动态时序描述逻辑；研究了动态时序描述逻辑中的基本推理问题??公式可满 足性， 并给出了动态时序描述逻辑中动作推理问题的判定方法。 (2)基于动态时序描述逻辑对工作流进行描述，将工作流中活动的匹配问题归结为动 态时序描述逻辑中的公式的可满足性判定问题。给出了一种工作流本体的构建方法；设 计了支持动态建模的工作流系统的体系结构，并对工作流的核心部件??工作流引擎，进 行了详细的设计。 (3)以人寿保险业务理赔立案为背景开发了原型系统，对本文提出的动态构建方法进 行了验证。 关键词：工作流， 动态性， 时序性，动态时序描述逻辑，工作流引擎 Abstract Workflow ma nagement system is an important technology in the realization of business processes automa tion in computer applica tion environments. However, the new technology, new regulations and new market dema nd could