| 支持MDD的体系结构模型的形式化语义 |
| |
| 引用本文： | 侯金奎,马军. 支持MDD的体系结构模型的形式化语义[J]. 中山大学学报(自然科学版), 2008, 47(6) |
| |
| 作者姓名： | 侯金奎 马军 |
| |
| 作者单位： | 山东大学,计算机科学与技术学院,山东,济南,250101 |
| |
| 摘 要： | 为解决模型驱动开发中模型映射关系的定义和模型转换的正确性验证等方面存在的问题,利用范畴理论形式化描述软件体系结构模型及其间的关系,使之具有严格的语义。态射合成被用来追踪构件模型之间的关联和映射关系,不同抽象层次的体系结构模型之间的一致性由函子来维持。范畴理论支持图形化建模,可以使模型中的构件关系以及结构特征可视化,有利于对模型转换的理解和追踪。应用研究表明,该方法不仅可为验证模型之间映射规则的正确性提供依据,还能为模型转换的具体实现提供理论指导。
|
| 关 键 词： | 计算机软件 模型驱动开发 模型映射 软件体系结构 形式化语义 |
| 收稿时间： | 2008-09-10; |
MDD-supported Formal Semantics Description of Architecture Models |
| |
| HOU Jin-kui,MA Jun. MDD-supported Formal Semantics Description of Architecture Models[J]. Acta Scientiarum Naturalium Universitatis Sunyatseni, 2008, 47(6) |
| |
| Authors: | HOU Jin-kui MA Jun |
| |
| Affiliation: | (School of Computer Science and Technology，Shandong University，Jinan 250101，China) |
| |
| Abstract: | |
| |
| Keywords: | computer software model driven development model mapping software architecture formal semantics |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《中山大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《中山大学学报(自然科学版)》下载全文 |
