语言的抽象、封装与变换型开发方法
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

本文研究得到国家自然科学基金资助.


Language Abstraction, Encapsulation and Development with Transformational Method
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    该文提出了一种系统的软件开发方法——面向模型的变换型软件开发方法.这种方法把数据抽象的思想提高到语言抽象层次;把一类专用软件的规范抽象为语言的规范;把这类软件的实现抽象为语言的归约变换;用“规范+变换”抽象软件开发过程.为支持这种方法,提出了语言的一种抽象与封装机制Garment,以此定义语言中各成分的语法和语义,描述语言间的继承、屏蔽和扩充关系.最后,以语言知识库为核心,简要介绍了支持用Garment进行变换型开发的系统结构和工作流程.

    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.

    参考文献
    相似文献
    引证文献
引用本文

张乃孝,郑红军,裘宗燕.语言的抽象、封装与变换型开发方法.软件学报,1998,9(7):496-500

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1997-04-25
  • 最后修改日期:1997-07-02
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号