软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
1998年
7期
0
,共1页
形式方法%软件模型%变换型方法%语言抽象%语言封装%语言族%语言知识库%软件重用%Garment
形式方法%軟件模型%變換型方法%語言抽象%語言封裝%語言族%語言知識庫%軟件重用%Garment
형식방법%연건모형%변환형방법%어언추상%어언봉장%어언족%어언지식고%연건중용%Garment
该文提出了一种系统的软件开发方法--面向模型的变换型软件开发方法.这种方法把数据抽象的思想提高到语言抽象层次;把一类专用软件的规范抽象为语言的规范;把这类软件的实现抽象为语言的归约变换;用"规范+变换"抽象软件开发过程.为支持这种方法,提出了语言的一种抽象与封装机制Garment,以此定义语言中各成分的语法和语义,描述语言间的继承、屏蔽和扩充关系.最后,以语言知识库为核心,简要介绍了支持用Garment进行变换型开发的系统结构和工作流程.
該文提齣瞭一種繫統的軟件開髮方法--麵嚮模型的變換型軟件開髮方法.這種方法把數據抽象的思想提高到語言抽象層次;把一類專用軟件的規範抽象為語言的規範;把這類軟件的實現抽象為語言的歸約變換;用"規範+變換"抽象軟件開髮過程.為支持這種方法,提齣瞭語言的一種抽象與封裝機製Garment,以此定義語言中各成分的語法和語義,描述語言間的繼承、屏蔽和擴充關繫.最後,以語言知識庫為覈心,簡要介紹瞭支持用Garment進行變換型開髮的繫統結構和工作流程.
해문제출료일충계통적연건개발방법--면향모형적변환형연건개발방법.저충방법파수거추상적사상제고도어언추상층차;파일류전용연건적규범추상위어언적규범;파저류연건적실현추상위어언적귀약변환;용"규범+변환"추상연건개발과정.위지지저충방법,제출료어언적일충추상여봉장궤제Garment,이차정의어언중각성분적어법화어의,묘술어언간적계승、병폐화확충관계.최후,이어언지식고위핵심,간요개소료지지용Garment진행변환형개발적계통결구화공작류정.
