基于控制流模式的过程模型结构验证技术研究

项目名称： 基于控制流模式的过程模型结构验证技术研究

项目编号： No.61170087

项目类型： 面上项目

立项/批准年度： 2012

项目学科： 计算机科学学科

项目作者： 张莉

作者单位： 北京航空航天大学

项目金额： 56万元

中文摘要： 随着过程管理在企业管理中的重要性日益凸显，过程的正确性问题正在成为研究热点。过程结构正确性是过程正确性的重要组成部分及必要条件。目前已有的研究主要基于特定建模语言，验证方法缺乏通用性，且大都仅考虑了简单控制流结构，在复杂过程模型的验证中缺乏实用性。本研究拟针对上述问题，提出一种基于控制流模式与反模式的过程结构验证方法，着重研究基于控制流模式的过程模型转换规则的定义与正确性证明、组合与嵌套控制流模式的识别、控制流反模式的定义与识别、模式在模型转换中的跟踪与映射等关键技术，拟在提高过程模型转换精度、控制流反模式定义与发现、以及提高复杂控制流模式与反模式的识别正确率方面取得创新性成果。

中文关键词： 过程结构验证；控制流模式；模型转换；反模式；

英文摘要：

英文关键词： Process Structure Varification；Control-flow Pattern；Model Transformation；Anti-pattern；