以体系结构为中心的模型转换的语义描述框架(英文)
Semantic Description Framework for Architecture-Centric Model Transformation作者机构:山东大学计算机科学与技术学院山东济南250101 潍坊学院计算机与通信工程学院山东潍坊261061
出 版 物:《软件学报》 (Journal of Software)
年 卷 期:2009年第20卷第8期
页 面:2113-2123页
核心收录:
学科分类:08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术(可授工学、理学学位)] 081202[工学-计算机软件与理论]
基 金: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~~
摘 要:在对类型范畴理论进行扩展的基础上,将其与进程代数相结合,为软件体系结构模型及其间的转换关系提供了一种统一的语义描述框架.模型的结构语义由类型范畴图表来指代,其行为语义则由范畴附带的进程行为迹来表示,模型间的映射关系用范畴理论中的态射和函子来形式化描述.该描述框架可用于模型转换中特性保持问题的描述、分析和判定,从而为模型驱动的软件开发提供有力的支持.