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?