|
|||||
|
|
| 模型驱动开发中模型演化语法和语义特性研究 | |
| 引用本文： | 孙为军,李师贤,严玉清.模型驱动开发中模型演化语法和语义特性研究[J].计算机科学,2012,39(7):123-126,143. |
| 作者姓名： | 孙为军 李师贤 严玉清 |
| 作者单位： | 1. 中山大学计算机科学系 广州510275;广东工业大学计算机学院 广州510006 2. 中山大学计算机科学系 广州510275 3. 中山大学计算机科学系 广州510275;广东外语外贸大学思科信息学院 广州510006 |
| 基金项目： | 国家自然科学基金，广东省自然科学基金 |
| 摘 要： | 模型演化由一系列复杂的变化活动组成,要遵循一定的约束以保持模型的某些特性。以一个实例描述模型演化的过程,并以集值映射为基础,定义模型成分与语义域的映射,通过定义模型演化的语义函数,研究模型演化的语法和语义性质,包括特性保持、一致性、等价性和吸收性等。 |
| 关 键 词： | 模型驱动体系结构 模型演化 特性保持 一致性 |
Study on Syntax and Semantics Properties of Model Evolution in Model Driven Development |
|
| SUN Wei-jun , LI Shi-xian , YAN Yu-qing.Study on Syntax and Semantics Properties of Model Evolution in Model Driven Development[J].Computer Science,2012,39(7):123-126,143. | |
| Authors: | SUN Wei-jun LI Shi-xian YAN Yu-qing |
| Affiliation: | 1,3(Department of Computer Science,Sun Yat-sen University,Guangzhou 510275,China)1(Faculty of Computer,Guangdong University of Technology,Guangzhou 510006,China)2(Cisco School of Informatics,Guangdong University of Foreign Studies,Guangzhou 510006,China)3 |
| Abstract: | Model evolution involves a series of complex change activities and should follow certain constraints to preserve certain properties of models. An illustration of model evolution was showed. Based on the set-valued mapping, the mapping from model elements to semantics domain was defined. Syntax and semantics properties of model evolution such as property preserving, consistency, absorbing and equivalence were studied by defining the semantic function. |
| Keywords: | Model driven architecture Model evolution Property preservation Consistency |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |