工作流动态的构建技术地地研究及应用

《工作流动态的构建技术地地研究及应用》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、...论文题目：工作流动态构建技术研究及应用作者姓名：张福新入学时间：2007年9月专业名称：计算机软件与理论研究方向：分布式系统理论与算法指导教师：杜玉越职称：教授论文提交日期：2010年6月论文答辩日期：2010年6月12日授予学位日期：......STUDYANDAPPLICATIONOFTHEDYNAMICCONSTRUCTIONTECHNOLOGYOFWORKFLOWADissertationsubmittedinfulfillmentoftherequirementsofthedegreeofMASTEROFENGINEERINGSCIENCEfr

2、omShandongUniversityofScienceandTechnologybyZhangFUxinSupervisor:ProfessorDuYuyueCollegeofInformationScienceandEngineeringJune2010......声明本人呈交给山东科技大学的这篇硕士学位论文，除了所列参考文献和世所公认的文献外，全部是本人在导师指导下的研究成果。该论文资料尚没有呈交于其它任何学术机关作鉴定。硕士生签名：日期：AFFIRMATIONIdeclarethatthisdissertation,submittedinfulfil

3、lmentoftherequirements fortheawardofMasterofEngineeringScienceinShandongUniversityofScienceandTechnology,iswhollymyownworkunlessreferencedofacknowledge.Thedocumenthasnotbeensubmittedforqualificationatanyotheracademicinstitute.Signature:Date:......山东科技大学硕士学位论文目录摘要工作流管理系统是实现业务过程的部分或全部

4、在计算机应用环境中自动化的重要技术，工作流管理系统的广泛应用，提高了企业生产水平和工作效率。然而，新的技术、新的法规和新的市场需求都可能导致工作流结构化的变更，业务流程更多的表现为一种动态的流程。为了提高工作流管理系统的柔性，本文通过形式化的本体语言描述工作流，应用领域知识形式化建模的方法对工作流动态构建。该方法从语义上支持了工作流管理系统的动态性，使得工作流的动态构建具有自主性和智能性。因此，本文的研究工作具有重要的理论价值和实际意义。目前，国内外对工作流动态构建的方法主要分为三大类：建立工作流元模型、模型演进和基于知识驱动的方法。它们为支持动态性的工作流管

5、理系统的研发起到了重要的促进作用。本文综合分析了它们的优缺点，并在这些方法的启发下，通过分析现有本体语言的语义以及表达能力，提出并研究了一种能同时描述动作和时序特性的知识表示语言−−动态时序描述逻辑。论文运用该语言构建领域流程模型并对工作流进行描述，从而从语义上支持了对具有时序特性的工作流的动态构建。本文的主要工作表现在如下几个方面：(1)针对当前本体语言缺乏对时序特性的描述，无法提供对动态行为的推导，提出了一种动态时序描述逻辑；研究了动态时序描述逻辑中的基本推理问题−−公式可满足性，并给出了动态时序描述逻辑中动作推理问题的判定方法。(2)基于动态时序描述逻辑

6、对工作流进行描述，将工作流中活动的匹配问题归结为动态时序描述逻辑中的公式的可满足性判定问题。给出了一种工作流本体的构建方法；设计了支持动态建模的工作流系统的体系结构，并对工作流的核心部件−−工作流引擎，进行了详细的设计。(3)以人寿保险业务理赔立案为背景开发了原型系统，对本文提出的动态构建方法进行了验证。关键词：工作流，动态性，时序性，动态时序描述逻辑，工作流引擎......山东科技大学硕士学位论文目录AbstractWorkflowmanagementsystemisanimportanttechnologyintherealizationofbusines

7、sprocessesautomationincomputerapplicationenvironments.However,thenewtechnology,newregulationsandnewmarketdemandcouldleadtostructuredchangesoftheworkflowprocess.Inordertodealwiththeproblem,aformalmethodfordescribingdomainknowledgewasprovidedinthispaper,whichprovidestheworkflowrichsem

8、anticinformation.Th