计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2012年
7期
123-126,143
,共5页
模型驱动体系结构%模型演化%特性保持%一致性
模型驅動體繫結構%模型縯化%特性保持%一緻性
모형구동체계결구%모형연화%특성보지%일치성
模型演化由一系列复杂的变化活动组成,要遵循一定的约束以保持模型的某些特性.以一个实例描述模型演化的过程,并以集值映射为基础,定义模型成分与语义域的映射,通过定义模型演化的语义函数,研究模型演化的语法和语义性质,包括特性保持、一致性、等价性和吸收性等.
模型縯化由一繫列複雜的變化活動組成,要遵循一定的約束以保持模型的某些特性.以一箇實例描述模型縯化的過程,併以集值映射為基礎,定義模型成分與語義域的映射,通過定義模型縯化的語義函數,研究模型縯化的語法和語義性質,包括特性保持、一緻性、等價性和吸收性等.
모형연화유일계렬복잡적변화활동조성,요준순일정적약속이보지모형적모사특성.이일개실례묘술모형연화적과정,병이집치영사위기출,정의모형성분여어의역적영사,통과정의모형연화적어의함수,연구모형연화적어법화어의성질,포괄특성보지、일치성、등개성화흡수성등.
