CIM建模及模型形式化方法研究综述
以模型为驱动的开发方法是当前软件工程领域研究的热点，计算无关模型（ computation independent mo del，CIM）在模型驱动架构中关注系统的需求和环境，其有效的建模方法和模型形式化是实现高层概念模型至代码自动转换的关键。首先介绍了现有CIM建模内容和方法；然后分析了现有CIM模型形式化方法现状与不足；最后探讨了针对不同应用系统可行的多视图多层次CIM建模方法及一致性问题研究，并提出CIM完全形式化方法研究的可行方案。...
Saved in:
| Published in | 计算机应用研究 Vol. 31; no. 10; pp. 2896 - 2901 |
|---|---|
| Main Author | |
| Format | Journal Article |
| Language | Chinese |
| Published |
河海大学计算机与信息学院,南京211100
2014
淮阴师范学院计算机科学与技术学院,江苏淮安223300%河海大学计算机与信息学院,南京,211100 |
| Subjects | |
| Online Access | Get full text |
| ISSN | 1001-3695 |
| DOI | 10.3969/j.issn.1001-3695.2014.10.003 |
Cover
| Summary: | 以模型为驱动的开发方法是当前软件工程领域研究的热点，计算无关模型（ computation independent mo del，CIM）在模型驱动架构中关注系统的需求和环境，其有效的建模方法和模型形式化是实现高层概念模型至代码自动转换的关键。首先介绍了现有CIM建模内容和方法；然后分析了现有CIM模型形式化方法现状与不足；最后探讨了针对不同应用系统可行的多视图多层次CIM建模方法及一致性问题研究，并提出CIM完全形式化方法研究的可行方案。 |
|---|---|
| Bibliography: | 51-1196/TP LI Zong-hua, ZHOU Xiao-feng, GU Ai-hua, LI Qin-feng （1. College of Computer ＆ Information Engineering, Hohai University, Nanjing 211100, China; 2. School of Computer Science ＆ Technology Huaiyin Normal University, Huai ＇ an Jiangsu 223300, China） 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. CIM; multi-view multi-level model; model consist |
| ISSN: | 1001-3695 |
| DOI: | 10.3969/j.issn.1001-3695.2014.10.003 |