The University of Colorado Contribution to the Arcadia Effort

该合同为阿卡迪亚项目的部分工作提供支持。Arcadia是一个主要的联合研究项目，其目标是获得关于将软件工具集成到环境中的理想架构的基本理解，特别是在支持软件测试、分析和评估方面。Arcadia是一个实验研究项目，旨在通过创建和实验评估一个实际的环境原型-Arcadia-1来获得这些理解。Arcadia采用的方法的一个关键创新特征是将软件过程视为软件本身的项目，并将环境视为指定、编译和解释这些过程的机制。使用软件工作者作为解释原语。科罗拉多大学在Arcadia项目中的参与将集中在软件过程表达的形式化和媒介——一种被称为过程编程的活动——以及支持过程编程的环境的体系结构和实现，以及软件测试的创建、集成和评估。分析和评估工具。主要的实验研究工作需要提供对整个软件开发环境的基本理解。阿卡迪亚项目是实现这些理解的重要努力。

This award provides support for a portion of the work of the Arcadia project. Arcadia is a major, joint research effort the aim of which is to gain fundamental understandings about desirable architectures for the integration of software tools into environments and particularly in support of software testing, analysis and evaluation. Arcadia is an experimental research project which aims to gain these understandings through the creation and experimental evaluation of an actual environment prototype--Arcadia-1. A key innovative feature of the approach being taken by Arcadia is to consider software processes to be items of software themselves and to view an environment as a mechanism for specifying, compiling and interpreting these processes, using software workers as intepretation primitives. The University of Colorado's participation in the Arcadia project will focus on formalisms and media for the expression of software processes--an activity which is referred to as process programming--on architectures and implementations of environments for the support of process programming and on the creation, integration and evaluation of software testing, analysis and evaluation tools. Major experimental research efforts are needed to provide basic understandings of overall software development environments. The Arcadia project is a significant effort toward achieving those understandings.