CIM建模及模型形式化方法研究综述-计算机应用研究.PDF

第３１卷第１０期 计 算 机 应 用 研 究 Ｖｏｌ．３１Ｎｏ．１０ 　 　 ２０１４年１０月　 ＡｐｐｌｉｃａｔｉｏｎＲｅｓｅａｒｃｈｏｆＣｏｍｐｕｔｅｒｓ Ｏｃｔ．２０１４ ＣＩＭ建模及模型形式化方法研究综述 １，２ １ １ １ 李宗花 ，周晓峰 ，顾爱华 ，李勤丰 （１．河海大学计算机与信息学院，南京２１１１００；２．淮阴师范学院计算机科学与技术学院，江苏 淮安２２３３００） 摘　要：以模型为驱动的开发方法是当前软件工程领域研究的热点，计算无关模型（ｃｏｍｐｕｔａｔｉｏｎｉｎｄｅｐｅｎｄｅｎｔｍｏ ｄｅｌ，ＣＩＭ）在模型驱动架构中关注系统的需求和环境，其有效的建模方法和模型形式化是实现高层概念模型至代码 自动转换的关键。首先介绍了现有ＣＩＭ建模内容和方法；然后分析了现有ＣＩＭ模型形式化方法现状与不足；最后 探讨了针对不同应用系统可行的多视图多层次ＣＩＭ建模方法及一致性问题研究，并提出ＣＩＭ完全形式化方法研究 的可行方案。 关键词：计算无关模型；多视图多层次模型；模型一致性；模型形式化 中图分类号：ＴＰ３１１．５；ＴＰ３０１．４　　　文献标志码：Ａ　　　文章编号：１００１３６９５（２０１４）１０２８９６０６ ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１００１３６９５．２０１４．１０．００３ ＳｕｒｖｅｙｏｆＣＩＭｍｏｄｅｌｉｎｇａｎｄｍｏｄｅｌｆｏｒｍａｌｉｚａｔｉｏｎ １，２ １ １ １ ＬＩＺｏｎｇｈｕａ ，ＺＨＯＵＸｉａｏｆｅｎｇ，ＧＵＡｉｈｕａ，ＬＩＱｉｎｆｅｎｇ （１．ＣｏｌｌｅｇｅｏｆＣｏｍｐｕｔｅｒ＆ＩｎｆｏｒｍａｔｉｏｎＥｎｇｉｎｅｅｒｉｎｇ，ＨｏｈａｉＵｎｉｖｅｒｓｉｔｙ，Ｎａｎｊｉｎｇ２１１１００，Ｃｈｉｎａ；２．ＳｃｈｏｏｌｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ＆Ｔｅｃｈｎｏｌｏｇｙ， ＨｕａｉｙｉｎＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，Ｈｕａｉ’ａｎＪｉａｎｇｓｕ２２３３００，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｍｏｄｅｌｄｒｉｖｅｎａｐｐｒｏａｃｈｉｓａｈｏｔｉｓｓｕｅｉｎｓｏｆｔｗａｒｅｅｎｇｉｎｅｅｒｉｎｇ．ＣＩＭ（ｃｏｍｐｕｔａｔｉｏｎｉｎｄｅｐｅｎｄｅｎｔｍｏｄｅｌ）ｆｏｃｕｓｅｓｏｎｒｅ ｑｕｉｒｅｍｅｎｔａｎｄｅｎｖｉｒｏｎｍｅｎｔｏｆｂｕｓｉｎｅｓｓｓｙｓｔｅｍｉｎｔｈｅｍｏｄｅｌｄｒｉｖｅｎａｒｃｈｉｔｅｃｔｕｒｅ，ｗｈｉｃｈａｉｍｓｔｏａｃｈｉｅｖｅａｕｔｏｍａｔｉｃｔｒａｎｓｆｏｒｍａｔｉｏｎ ｆｒｏｍｈｉｇｈｌｅｖｅｌｃｏｎｃｅｐｔｕａｌｍｏｄｅｌｔｏｃｏｄｅ，ａｎｄｉｔｓｅｆｆｅｃｔｉｖｅｍｏｄｅｌｉｎｇａｐｐｒｏａｃｈｅｓａｎｄｍｏｄｅｌｆｏｒｍａｌｉｚａｔｉｏｎｏｆＣＩＭａｒｅｋｅｙｐｏｉｎｔｓ． ＴｈｉｓｐａｐｅｒｆｉｒｓｔｌｙｉｎｔｒｏｄｕｃｅｄｔｈｅｃｏｎｔｅｎｔａｎｄａｐｐｒｏａｃｈｅｓｏｆＣＩＭｍｏｄｅｌｉｎｇｏｆｃｕｒｒｅｎｔｌｙｒｅｓｅａｒｃｈ，ｔｈｅｎａｎａｌｙｚｅｄｔｈｅＣＩＭｆｏｒｍａｌｉｚａ ｔｉｏｎａｐｐｒｏａｃｈｅｓ．Ｆｉｎａｌｌｙ，ｉｔｐｏｉｎｔｅｄｏｕｔｔｈｅｍｏｄｅｌｉｎｇａｐｐｒｏａｃｈｆｏｒｄｉｆｆｅｒｅｎｔａｐｐｌｉｃａｔｉｏｎｓｙｓｔｅｍａｎｄｃｏｎｓｉｓｔｅｎｃｙｒｅｓｅａｒｃｈｉｎｍｕｌｔｉ ｖｉｅｗａｎｄｍｕｌｔｉｌｅｖｅｌＣＩＭ，ａｎｄｐｕｔｆｏｒｗａｒｄｔｈｅｆｅａｓｉｂｌｅｓｃｈｅｍｅｏｆＣＩＭｆｏｒｍａｌｉｚａｔｉｏｎａｐｐｒｏａｃｈｅｓ． Ｋｅｙｗｏｒｄｓ：ＣＩＭ；ｍｕｌｔｉｖｉｅｗｍｕｌｔｉｌｅｖｅｌｍｏｄｅｌ；ｍｏｄｅｌｃｏｎｓｉｓｔｅｎｃｙ；ｍｏｄｅｌｆｏｒｍａｌｉｚａｔｉｏｎ