Clarity and Efficiency in Design

奖项摘要0613913 Pis Yanhong A.Liu和Scott D.StollerSUNY Stony BrookTITLE sod：清晰度和效率设计抽象，如对象抽象，支持将系统和组件提供的操作与如何实现操作分离，并且在从组件构建复杂系统时至关重要。不幸的是，当执行昂贵的查询操作时，清晰和模块化的设计的性能很差，而正确维护查询结果的高效设计更难开发和理解，因为设计可能会显著爆炸，不再清晰或模块化。该项目建议通过严格捕获不变量、高效和增量地维护不变量的方法以及相关成本，创建一个通用的框架和语言来表达同时支持清晰度和效率的设计知识；并开发一种自动应用设计知识的方法。增量计算的基本原理与微积分中的微分相对应，有助于为设计科学奠定坚实的基础。本项目还建议实现该框架和方法，将其应用于重要的应用领域，包括安全策略框架和操作系统，并将其教授给本科生和研究生。

Award Abstract0613913 PIs Yanhong A. Liu and Scott D. StollerSUNY Stony BrookTITLE SoD: Clarity and EfficiencyAbstraction for design, such as object abstraction, supports the separation of what operations are provided by systems and components from how the operations are implemented, and is essential in the construction of complex systems from components. Unfortunately, clear and modular designs have poor performance when expensive query operations are performed, while efficient designs that properly maintain the query results are much more difficult to develop and to understand, because the design may blow up significantly and is no longer clear or modular.This project proposes to create a general framework and language for expressing design knowledge that support both clarity and efficiency, by rigorously capturing invariants, ways to efficiently and incrementally maintain invariants, and the associated costs; and to develop a method for automatically applying the design knowledge. The underlying principles of incremental computation are the counterpart of differentiation in calculus and will help lay a solid foundation for science of design. This project also proposes to implement the framework and method, apply them to important application domains, including security policy frameworks and operating systems, and teach them to both undergraduate and graduate students.