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

• 作者: 周晓峰 李勤丰 李宗花 顾爱华
• 来源期刊: 计算机应用研究
• 关键词: 计算无关模型 多视图多层次模型 模型一致性 模型形式化
• 年，卷（期）: 2014,（10）
• 页码范围: 2896-2901
• 页数: 6页
• 分类号: TP311.5|TP301.4
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2014.10.003

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周晓峰	河海大学计算机与信息学院	36	446	9.0	20.0
2	李勤丰	河海大学计算机与信息学院	7	21	3.0	4.0
3	李宗花	河海大学计算机与信息学院	13	48	5.0	6.0
7	顾爱华	河海大学计算机与信息学院	4	24	3.0	4.0