| 语言的抽象、封装与变换型开发方法 |
| |
| 引用本文： | 张乃孝,郑红军,裘宗燕.语言的抽象、封装与变换型开发方法[J].软件学报,1998,9(7):496-500. |
| |
| 作者姓名： | 张乃孝 郑红军 裘宗燕 |
| |
| 作者单位： | 1. 北京大学数学科学学院信息科学系,北京,100871
2. 北京大学计算机科学系,北京,100871 |
| |
| 基金项目： | 本文研究得到国家自然科学基金资助. |
| |
| 摘 要： | 该文提出了一种系统的软件开发方法——面向模型的变换型软件开发方法.这种方法把数据抽象的思想提高到语言抽象层次;把一类专用软件的规范抽象为语言的规范;把这类软件的实现抽象为语言的归约变换;用“规范+变换”抽象软件开发过程.为支持这种方法,提出了语言的一种抽象与封装机制Garment,以此定义语言中各成分的语法和语义,描述语言间的继承、屏蔽和扩充关系.最后,以语言知识库为核心,简要介绍了支持用Garment进行变换型开发的系统结构和工作流程.
|
| 关 键 词： | 形式方法 软件模型 变换型方法 语言抽象 语言封装 语言族 语言知识库 软件重用 Garment. |
| 收稿时间： | 1997/4/25 0:00:00 |
| 修稿时间： | 7/2/1997 12:00:00 AM |
Language Abstraction, Encapsulation and Development with Transformational Method |
| |
| ZHANG Nai-xiao,ZHENG Hong-jun and QIU Zong-yan.Language Abstraction, Encapsulation and Development with Transformational Method[J].Journal of Software,1998,9(7):496-500. |
| |
| Authors: | ZHANG Nai-xiao ZHENG Hong-jun and QIU Zong-yan |
| |
| Affiliation: | ZHANG Nai xiao 1\ ZHENG Hong jun 2\ QIU Zong yan 1 1(Department of Informatics\ School of Mathematical Sciences\ Beijing University\ Beijing\ 100871) 2(Department of Computer Science\ Beijing University\ Beijing\ 100871) |
| |
| Abstract: | Language Abstraction, Encapsulation and Development with Transformational Method |
| |
| Keywords: | Formal method software model transformational method language abstraction language encapsulation language family language knowledge base software reuse Garment |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
