A Framework for Integrating Programming Languages, Repository and Development Environment

本研究的目标是通过整合编程语言、软件开发方法、程序开发环境和数据库系统等领域的最新研究成果，开发一个组件框架。为实现这一目标，我们进行了以下几个方面的调查。在本课题中，我们研究了构件的类型理论，得到了各种结果，包括构件一致性的编译时检查方法，以及基于动态规划的最优寄存器分配方法。面向组件的软件开发方法我们研究了在组件系统中验证类不变性的基本框架。我们还使用了协作的概念，得到了一种软件演化和构建的方法。构件开发环境基于XML标记方法，得到了一个二进制级的构件描述系统，并实现了一个原型系统。构件库通过将构件系统中的源代码视为用各种语言编写的结构化文档的集合，我们开发了一个对这些异类结构的文档集合进行统一查询的系统。

The goal of this research is to develop a component framework by integrating the sate-of-the-art research results in the fields of programming languages, software development methodologies, program development environment, and database systems. To achieve this goal, we have investigated the following items.1. Type theory for component synthesis and reuse.In this topic, we have investigated type theory for component and obtained various results including a method for compile time checking of component consistency, and an optimal register allocation method based on dynamic programming.2. Component-oriented software development methodologyWe have investigated the basic framework for verifying class invariants in a component system. We have also used the notion of collaboration and obtained a method for software evolution and construction.3. Component development environmentBased on XML-markup method, we have obtained a binary-level component description system and have implemented a prototype system.4. Component repositoriesBy regarding source code in a component system as a set of structured document written in various languages, we have developed a uniform query system for those collections of documents of heterogeneous structures.