Research on Fundamental Mechanisms for Software Evolution

该项目旨在研究保持软件不断演变的需求的原则，并建立可根据这种需求演变的软件的构建机制。以下是3年来的主要研究成果。程序代数转换语言的设计和实验转换系统的构建。优化进化型编译器的内部表示。实现了一种实用的局部计算机制，考察其对软件演化的适用性。研究软件设计过程中信息可视化的技术。网络负载均衡的自适应算法。开发从规范生成转换规则的技术。构建基于反射的交互式可视化系统。方案转化效果定量评价的泛化。Lead++编译器的实现及其通过代码迁移应用程序进行的评估。设计类型化函数式语言的反射机制。12.代数语义的泛化。进化型编译器的开发及其评价。

The project aims to study principles for retaining the constant evolutional requirement for software and establish mechanisms for constructing software which can be evolved in accordance with such requirements. Followings are major research results during 3 years.1. Designing languages for algebraic transformation of programs and constructing an experimental transformation system.2. Optimizing internal representation for evolutional compilers.3. Realizing a practical partial computation mechanism to investigate its applicability for software evolution.4. Studying techniques for visualizing information on software design process.5. Adaptation algorithms for network load balancing.6. Developing a technique for transformation rule generation from specification.7. Construction of interactive visualization system based on reflection.8. Generalization of quantitative evaluation of effectiveness of program transformation.9. Implementation of LEAD++ compiler and its evaluation through application with code migration.10. Designing reflection mechanism for typed functional language.11. Generalization of algebraic semantics.12. Developing an evolutional compiler and its evaluation.