基于范畴计算的多目标语言程序生成架构

• 作者: 王金全 郑宇军
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 范畴论 程序生成 函子 模型变换
• 年，卷（期）: 2011,（4）
• 所属期刊栏目: 软件工程
• 页码范围: 185-187
• 分类号: TP301
• 字数: 2401字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2011.04.039

摘要

提出了一种基于范畴论的多目标语言程序生成架构,程序元素的元类型在程序元模型范畴中定义,常用的软件开发模式由元模型实例组成并带有可配置的参数.模式到可执行语言的表达式、函数、类型等映射由范畴函子统一定义.在实际应用开发时,通过函子计算将抽象模式精化到不同的目标语言程序范畴.各种语言的精化计算方式具有统一的契约规范,从而支持高度的灵活性和重用度水平.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王金全		1	1	1.0	1.0
2	郑宇军		1	1	1.0	1.0