以体系结构为中心的模型转换的语义描述框架

摘要：

在对类型范畴理论进行扩展的基础上,将其与进程代数相结合,为软件体系结构模型及其间的转换关系提供了一种统一的语义描述框架.模型的结构语义由类型范畴图表来指代,其行为语义则由范畴附带的进程行为迹来表示,模型间的映射关系用范畴理论中的态射和函子来形式化描述.该描述框架可用于模型转换中特性保持问题的描述、分析和判定,从而为模型驱动的软件开发提供有力的支持.

关键词：模型驱动开发、模型转换、软件体系结构、语义描述

所属期刊栏目：20

分类号：TP301(计算技术、计算机技术)

资助基金：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

在线出版日期：2009-10-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：2113-2123