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

Survey of CIM modeling and model formalization

作　　者：李宗花[1,2] 周晓峰[1] 顾爱华[1] 李勤丰[1] 

机构地区：[1]河海大学计算机与信息学院,南京211100 [2]淮阴师范学院计算机科学与技术学院,江苏淮安223300

出　　处：《计算机应用研究》2014年第10期2896-2901,共6页Application Research of Computers

基　　金：国家科技支撑计划资助项目(2013BAB05B00;2013BAB06B04)

摘　　要：以模型为驱动的开发方法是当前软件工程领域研究的热点,计算无关模型(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.

关 键 词：计算无关模型 多视图多层次模型 模型一致性 模型形式化 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论] TP301.4[自动化与计算机技术—计算机科学与技术]