Fluid Architecture

本项目探讨了系统技术的设计，以适应中等规模或更大的程序的内部接口和组件结构。基于这些技术的编程工具可以在一定程度上提高系统内部接口结构的流动性，即可进化和适应性。一个潜在的应用是重新组织程序中的抽象边界：在实践中很明显，软件结构体系结构很少是最佳的，但是调整它们的成本和风险很高。另一个潜在的应用是定制通用框架和组件以适应特定的约束用途，从而提高性能。解决了四个问题：(1)需要哪些基于语义的程序操作技术来支持对内部软件接口的操作，例如，作为程序中的封装边界？(2)如何建立程序操纵技术的合理性和其他属性？(3)对于能够在日益复杂和庞大的程序上运行的工具的开发，有哪些设计考虑？(4)如何评估内部软件接口和相关组件的开发和再工程技术的效用？

This project explores the design of systematic techniques to adapt the internal interface and component structure of programs of moderate size or larger. Programming tools based on these techniques could have the effect of increasing the extent to which the internal interface structure of systems can be made more fluid, that is, evolvable and adaptable. One potential application is to reorganizing abstraction boundaries in programs: It is clear in practice that software structural architectures are rarely optimal, but the costs and risks of adapting them are high. Another potential application is to the tailoring of general purpose frameworks and components to specific constrained uses, improving performance. Four questions are addressed: (1) What semantics-based program manipulation techniques are needed to support manipulation of internal software interfaces represented, for example, as encapsulation boundaries in programs? (2) How can soundness and other properties of the program manipulation techniques be established? (3) What are the design considerations for the development of tools that can operate on programs of increasing complexity and size? (4) How can the utility of the techniques be assessed for development and re-engineering of internal software interfaces and associated components?