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

• 作者: 万建成 侯金奎 杨潇 王海洋 马军
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 模型驱动开发 模型转换 软件体系结构 语义描述
• 年，卷（期）: 2009,（8）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 2113-2123
• 页数: 11页
• 分类号: TP301
• 字数: 2247字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王海洋	山东大学计算机科学与技术学院	83	999	16.0	28.0
2	侯金奎	山东大学计算机科学与技术学院	23	180	7.0	12.0
4	万建成	山东大学计算机科学与技术学院	56	967	16.0	29.0
5	马军	山东大学计算机科学与技术学院	74	980	15.0	29.0
6	杨潇	山东大学计算机科学与技术学院	10	56	4.0	7.0