题目：基于控制流模式的过程模型转换工具研发

随着近代企业的发展，企业对于过程重视程度的不断提高，过程模型在企业的生产中变的越来越重要。作为企业过程管理中的一项关键技术，过程模型转换技术正受到越来越多的关注。目前的过程模型转换工具大都采用基于元类映射制定转换规则的方法进行模型转换，由于元类映射方法的局限性造成目前过程模型转换工具正确率不高，并且转换工具不具有通用性，需要针对每一种场景开发不同的转换工具，造成了转换过程中人员负担的增加。

为解决以上问题，本文基于北航软件工程研究所提出的一个过程模型转换框架CP-PMT研发基于控制流模式的过程模型转换工具。该工具在控制流模式粒度上进行过程模型转换，并提供了一个支持用户编辑的过程模型转换核心，通过建立源语言、目标语言和转换核心之间的映射关系，自动生成源语言到目标语言的转换规则，完成源模型到目标模型的转换。

本文从研发基于控制流模式的过程模型转换工具的需求分析、设计、实现与验证方面详细的介绍了转换工具的研发过程，并对研发过程中遇到的主要问题和解决方案进行分析和讨论，包括：1）设计并实现支持用户编辑的控制流模式库。2）使用DLL技术实现可扩展的过程模型存储/读取模块，支持用户向转换工具中添加更多的过程建模语言。3）设计并实现基于控制流模式的过程模型转换描述语言，描述控制流模式库中的模式在过程建模语言中的实现，建立建模语言和转换核心的映射关系。4）实现CP-PMT框架中的过程模型分割、转换、融合原语，在控制流模式的粒度上将源过程模型转换到目标过程模型。

最后本文通过一个BPMN到YAWL的转换场景，基于215个过程模型的转换结果，证明该转换工具具有较高的转换正确率；然后基于VPML到BPMN、VPML到YAWL转换的案例研究，表明该转换工具具有一定的扩展性，可以在过程模型转换的过程中减少转换人员的负担。