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

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

随着过程管理在企业管理中的重要性日益凸显，过程模型的正确性问题正在成为研究热点。过程结构正确性是过程模型正确性的重要组成部分及必要条件。目前已有的研究主要基于特定建模语言，验证方法缺乏通用性，且大都仅考虑了简单控制流结构，在复杂业务过程建模中缺乏实用性。本研究针对上述问题，提出了一种基于模型转换的过程模型结构验证方法，以表征复杂过程模型结构特征的控制流模式为基础，研究基于控制流模式的过程模型转换技术，从而提高复杂过程模型转换的正确性以及面向特定语言的过程模型结构验证技术的通用性。此外，提出了一种基于反模式查找的过程模型结构验证方法，通过发现并定义过程模型中可能存在的控制流反模式，研究反模式在不同过程建模语言中的表现形式，基于模式实例查找和环路规约规则，提出了一种支持有环非结构化过程模型的反模式检测方法，通过发现模型中存在的错误结构和不良结构，辅助过程建模人员提高模型的结构正确性。针对上述两项关键技术，本项目开发了相应的原型工具，并使用来自公开的过程模型库以及现有研究文献中的过程模型实例，对本项目提出的过程模型转换和验证方法的有效性和效率进行了实验评估。