以体系结构为中心的模型转换的语义描述框架 |
| |
引用本文: | 侯金奎,王海洋,马军,万建成,杨潇.以体系结构为中心的模型转换的语义描述框架[J].软件学报,2009,20(8):2113-2123. |
| |
作者姓名: | 侯金奎 王海洋 马军 万建成 杨潇 |
| |
作者单位: | 1. 山东大学,计算机科学与技术学院,山东,济南,250101;潍坊学院,计算机与通信工程学院,山东,潍坊,261061 2. 山东大学,计算机科学与技术学院,山东,济南,250101 |
| |
基金项目: | Supported by the National Natural Science Foundation of China under Grant No.60673130 (国家自然科学基金); the Key Science- Technology Development Project of Shandong Province of China under Grant No.2008GG10001026 (山东省科技攻关项目) |
| |
摘 要: | 在对类型范畴理论进行扩展的基础上,将其与进程代数相结合,为软件体系结构模型及其间的转换关系提供了一种统一的语义描述框架.模型的结构语义由类型范畴图表来指代,其行为语义则由范畴附带的进程行为迹来表示,模型间的映射关系用范畴理论中的态射和函子来形式化描述.该描述框架可用于模型转换中特性保持问题的描述、分析和判定,从而为模型驱动的软件开发提供有力的支持.
|
关 键 词: | 模型驱动开发 模型转换 软件体系结构 语义描述 |
收稿时间: | 2008/4/22 0:00:00 |
修稿时间: | 2008/10/7 0:00:00 |
本文献已被 CNKI 万方数据 等数据库收录! |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|