Framework-Based Software Development Environments

当前的软件开发环境倾向于处于相反的两端 一个极端是专门的应用程序生成器; 另一个是通用编程环境。 前 为系统开发和重用提供强有力的支持，但 构建成本高且仅适用于有限的域。 后者 提供弱支持，但通常可用且普遍适用 适用因 本研究探索了一种自动化生产的方法 介于这两者之间的特定应用程序环境 极端 关键的想法是，一个软件框架封装了 系统族中的共性可以被并入到 现有的通用编程环境， 结构化转型。 具体而言，本项目旨在开发一种 一种允许环境实现者专门化现有的 编程环境来处理应用程序系列。 的 系统提供了一组形式运算符，用于扩充形式 环境的描述;当应用操作符时，系统 半自动地构建一组转换规则， 用于将特定于应用程序的程序转换为 原始环境。 系统的输出是一个应用程序- 特定环境以及提供以下功能的程序Transformer 在该环境中编写的程序的执行语义。

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.