计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2014年
10期
2896-2901
,共6页
李宗花%周晓峰%顾爱华%李勤丰
李宗花%週曉峰%顧愛華%李勤豐
리종화%주효봉%고애화%리근봉
计算无关模型%多视图多层次模型%模型一致性%模型形式化
計算無關模型%多視圖多層次模型%模型一緻性%模型形式化
계산무관모형%다시도다층차모형%모형일치성%모형형식화
CIM%multi-view multi-level model%model consistency%model formalization
以模型为驱动的开发方法是当前软件工程领域研究的热点,计算无关模型(computation independent model,CIM)在模型驱动架构中关注系统的需求和环境,其有效的建模方法和模型形式化是实现高层概念模型至代码自动转换的关键.首先介绍了现有CIM建模内容和方法;然后分析了现有CIM模型形式化方法现状与不足;最后探讨了针对不同应用系统可行的多视图多层次CIM建模方法及一致性问题研究,并提出CIM完全形式化方法研究的可行方案.
以模型為驅動的開髮方法是噹前軟件工程領域研究的熱點,計算無關模型(computation independent model,CIM)在模型驅動架構中關註繫統的需求和環境,其有效的建模方法和模型形式化是實現高層概唸模型至代碼自動轉換的關鍵.首先介紹瞭現有CIM建模內容和方法;然後分析瞭現有CIM模型形式化方法現狀與不足;最後探討瞭針對不同應用繫統可行的多視圖多層次CIM建模方法及一緻性問題研究,併提齣CIM完全形式化方法研究的可行方案.
이모형위구동적개발방법시당전연건공정영역연구적열점,계산무관모형(computation independent model,CIM)재모형구동가구중관주계통적수구화배경,기유효적건모방법화모형형식화시실현고층개념모형지대마자동전환적관건.수선개소료현유CIM건모내용화방법;연후분석료현유CIM모형형식화방법현상여불족;최후탐토료침대불동응용계통가행적다시도다층차CIM건모방법급일치성문제연구,병제출CIM완전형식화방법연구적가행방안.
