Research on Fundamental Mechanisms for Software Evolution

软件演化基本机制研究

• 批准号: 09245103
• 负责人: TAKEICHI Masato
• 金额: $ 26.24万
• 依托单位: University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 1997
• 资助国家: 日本
• 起止时间: 1997 至 1999
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-09245103/
• 关键词: Software Evolution; Meta-programming; Reflection Mechanism; Partial Computation; Dynamic Compilation; Adaptation Mechanism; Program Transformation; 環境適応機器

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.

该项目旨在研究保持软件不断发展的要求的原则，并建立构建软件的机制，这些软件可以根据这些要求进行发展。三年来的主要研究成果如下：1.设计了程序代数变换语言，构造了一个实验性的变换系统.优化进化编译器的内部表示.实现了一种实用的部分计算机制，探讨了其在软件演化中的适用性.研究了软件设计过程信息可视化技术.网络负载均衡的自适应算法.开发了一种从规范生成转换规则的技术.基于反射的交互式可视化系统的构建.程序转换有效性定量评价的一般化. LEAD++编译器的实现及其在应用程序中的评估，并进行代码迁移.为类型化函数式语言设计反射机制.代数语义的推广。12.演化编译器的开发与评价。

项目成果

H.Yamaguchi, K.Okano, T.Higashino and K.Taniguchi: "Protocol Synthesis from Time Petri Net Based Service Specifications" Proc.of Int.Conf.on Parallel and Distributed Systems(ICPADS'97). 236-243 (1997)

H.Yamaguchi、K.Okano、T.Higashino 和 K.Taniguchi：“基于时间 Petri 网的服务规范的协议综合”Proc.of Int.Conf.on 并行和分布式系统(ICPADS97)。

坂手寛治,山口弘純,安本慶一,東野輝夫,谷口健一: "多人数参加型アプリケーションにおける品質要求を考慮した帯域制御の一方式" 情報処理学会論文誌. 40(1). 132-141 (1999)

Hiroharu Sakate、Hirozumi Yamaguchi、Keiichi Yasumoto、Teruo Higashino、Kenichi Taniguchi：“一种考虑多人应用程序质量要求的带宽控制方法”，日本信息处理协会交易 40(1) (1999)。

Z.Hu, H.Iwasaki, M.Takeichi: "Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms" ACM Transactions on Programming Langauges and Systems. 19(3). 444-461 (1997)

Z.Hu、H.Iwasaki、M.Takeichi：“通过构建列表同态来形式化推导高效并行程序”ACM Transactions on 编程语言和系统。

Y.Futamura: "Partial Evaluation of Computation Process--An approach to a Compiler-Compiler"Higher-Order and Symbolic Computation. 12. (1999)

Y.Futamura：“计算过程的部分评估——编译器-编译器的一种方法”高阶和符号计算。

E. Shibayama: "Visual Abstraction for Object-Based Parallel Computing"Object-Oriented Parallel and Distributed Programming. 113-132 (2000)

E. Shibayama：“基于对象的并行计算的视觉抽象”面向对象的并行和分布式编程。