| 摘要: |
| 该文提出了一种系统的软件开发方法——面向模型的变换型软件开发方法.这种方法把数据抽象的思想提高到语言抽象层次;把一类专用软件的规范抽象为语言的规范;把这类软件的实现抽象为语言的归约变换;用“规范+变换”抽象软件开发过程.为支持这种方法,提出了语言的一种抽象与封装机制Garment,以此定义语言中各成分的语法和语义,描述语言间的继承、屏蔽和扩充关系.最后,以语言知识库为核心,简要介绍了支持用Garment进行变换型开发的系统结构和工作流程. |
| 关键词: 形式方法,软件模型,变换型方法,语言抽象,语言封装,语言族,语言知识库,软件重用,Garment. |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金资助. |
|
| Language Abstraction, Encapsulation and Development with Transformational Method |
|
ZHANG Nai-xiao,ZHENG Hong-jun,QIU Zong-yan
|
| Abstract: |
| A systematic software development method named “Model-oriented Transformational Software Development Method” is proposed in this paper. In this method, data abstraction is enhanced to language abstraction; the specifying of some specific software is abstracted to language specifying; the implementation of the software becomes language reducing (transformation); the process of software development here could be described as “specification+transformation”. Following these ideas, a mechanism to abstract and encapsulate languages named Garment is designed. Relationships between languages, which are classified as inheritance, shielding and extension, are described with Garment. Taking a language knowledge base as its kernel, an environment named Garden (Garment development environment) is implemented to supports system development with Garment. Finally, the system structure of Garden and some development cases are described. |
| Key words: Formal method, software model, transformational method, language abstraction, language encapsulation, language family, language knowledge base, software reuse, Garment. |
