Framework-Based Software Development Environments

基于框架的软件开发环境

基本信息

批准号：
9109469
负责人：
David Garlan
金额：
$ 6万
依托单位：
Carnegie-Mellon University
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1991
资助国家：
美国
起止时间：
1991-08-01 至 1994-01-31
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9109469&HistoricalAwards=false
关键词：
Framework Based Software Development Environments

项目摘要

Current software development environments tend to lie at opposite ends of a spectrum: at one extreme are specialized application generators; at the other are general purpose programming environments. The former provide strong support for system development and reuse, but are costly to build and available only for limited domains. The latter provide weak support, but are generally available and universally applicable. This research explores a way to automate the production of application-specific environments that lie between these two extremes. The key idea is that a software framework encapsulating the commonalities in a family of systems can be incorporated into an existing general purpose programming environment by a process of structured transformation. Specifically, this project is to develop a system that allows an environment implementor to specialize existing programming environments to handle families of applications. The system provides a set of formal operators for augmenting a formal description of an environment; as operators are applied, the system semi-automatically builds a set of transformation rules that can be used to translate application-specific programs into those of the original environment. The output of the system is an application- specific environment together with a program transformer that provides execution semantics for programs written in that environment.

当前的软件开发环境往往处于两个极端：一个极端是专门的应用程序生成器；另一个极端是专用应用程序生成器。另一个是通用编程环境。前者为系统开发和重用提供了强有力的支持，但构建成本高昂且仅适用于有限的领域。后者提供的支持较弱，但普遍可用且普遍适用。这项研究探索了一种自动化生产介于这两个极端之间的特定于应用程序的环境的方法。关键思想是，封装一系列系统中的共性的软件框架可以通过结构化转换过程合并到现有的通用编程环境中。具体来说，该项目是开发一个系统，允许环境实现者专门化现有的编程环境来处理应用程序系列。该系统提供了一组形式运算符来增强环境的形式描述；当应用运算符时，系统半自动地构建一组转换规则，可用于将特定于应用程序的程序转换为原始环境的程序。系统的输出是特定于应用程序的环境以及程序转换器，该程序转换器为在该环境中编写的程序提供执行语义。