CIM建模及模型形式化方法研究综述

Survey of CIM modeling and model formalization

以模型为驱动的开发方法是当前软件工程领域研究的热点,计算无关模型(computation independent mo del,CIM)在模型驱动架构中关注系统的需求和环境,其有效的建模方法和模型形式化是实现高层概念模型至代码自动转换的关键。首先介绍了现有CIM建模内容和方法;然后分析了现有CIM模型形式化方法现状与不足;最后探讨了针对不同应用系统可行的多视图多层次CIM建模方法及一致性问题研究,并提出CIM完全形式化方法研究的可行方案。

Model-driven approach is a hot issue in software engineering. CIM （computation independent model） focuses on re- quirement and environment of business system in the model driven architecture, which aims to achieve automatic transformation from high-level conceptual model to code, and its effective modeling approaches and model formalization of CIM are key points. This paper firstly introduced the content and approaches of CIM modeling of currently research, then analyzed the CIM formaliza- tion approaches. Finally, it pointed out the modeling approach for different application system and consistency research in multi- view and multi-level CIM, and put forward the feasible scheme of CIM formalization approaches.