论文部分内容阅读
工作流管理系统是实现业务过程的部分或全部在计算机应用环境中自动化的重要技术,工作流管理系统的广泛应用,提高了企业生产水平和工作效率。然而,新的技术、新的法规和新的市场需求都可能导致工作流结构化的变更,业务流程更多的表现为一种动态的流程。为了提高工作流管理系统的柔性,本文通过形式化的本体语言描述工作流,应用领域知识形式化建模的方法对工作流动态构建。该方法从语义上支持了工作流管理系统的动态性,使得工作流的动态构建具有自主性和智能性。因此,本文的研究工作具有重要的理论价值和实际意义。目前,国内外对工作流动态构建的方法主要分为三大类:建立工作流元模型、模型演进和基于知识驱动的方法。它们为支持动态性的工作流管理系统的研发起到了重要的促进作用。本文综合分析了它们的优缺点,并在这些方法的启发下,通过分析现有本体语言的语义以及表达能力,提出并研究了一种能同时描述动作和时序特性的知识表示语言—动态时序描述逻辑。论文运用该语言构建领域流程模型并对工作流进行描述,从而从语义上支持了对具有时序特性的工作流的动态构建。本文的主要工作表现在如下几个方面:(1)针对当前本体语言缺乏对时序特性的描述,无法提供对动态行为的推导,提出了一种动态时序描述逻辑;研究了动态时序描述逻辑中的基本推理问题—公式可满足性,并给出了动态时序描述逻辑中动作推理问题的判定方法。(2)基于动态时序描述逻辑对工作流进行描述,将工作流中活动的匹配问题归结为动态时序描述逻辑中的公式的可满足性判定问题。给出了一种工作流本体的构建方法;设计了支持动态建模的工作流系统的体系结构,并对工作流的核心部件—工作流引擎,进行了详细的设计。(3)以人寿保险业务理赔立案为背景开发了原型系统,对本文提出的动态构建方法进行了验证。