计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2011年
4期
185-187
,共3页
范畴论%程序生成%函子%模型变换
範疇論%程序生成%函子%模型變換
범주론%정서생성%함자%모형변환
提出了一种基于范畴论的多目标语言程序生成架构,程序元素的元类型在程序元模型范畴中定义,常用的软件开发模式由元模型实例组成并带有可配置的参数.模式到可执行语言的表达式、函数、类型等映射由范畴函子统一定义.在实际应用开发时,通过函子计算将抽象模式精化到不同的目标语言程序范畴.各种语言的精化计算方式具有统一的契约规范,从而支持高度的灵活性和重用度水平.
提齣瞭一種基于範疇論的多目標語言程序生成架構,程序元素的元類型在程序元模型範疇中定義,常用的軟件開髮模式由元模型實例組成併帶有可配置的參數.模式到可執行語言的錶達式、函數、類型等映射由範疇函子統一定義.在實際應用開髮時,通過函子計算將抽象模式精化到不同的目標語言程序範疇.各種語言的精化計算方式具有統一的契約規範,從而支持高度的靈活性和重用度水平.
제출료일충기우범주론적다목표어언정서생성가구,정서원소적원류형재정서원모형범주중정의,상용적연건개발모식유원모형실례조성병대유가배치적삼수.모식도가집행어언적표체식、함수、류형등영사유범주함자통일정의.재실제응용개발시,통과함자계산장추상모식정화도불동적목표어언정서범주.각충어언적정화계산방식구유통일적계약규범,종이지지고도적령활성화중용도수평.
