Sod-HCER: Designing the Undesignable

[06:13 . 162] steven P. ReissBrown大学设计不可设计的软件设计包括设计不可设计的东西。它与其他形式的设计的不同之处在于，软件设计被期望满足一组动态变化的约束，并且比软件能够适应的更快。此外，软件开发的未来趋势将迫使开发人员设计出他们无法控制的系统。本研究探讨了一个包含组件语义作为其接口一部分的组件模型是否可以解决软件设计中的这些问题。这里使用的语义是广义的，包括组件的功能、对组件施加或由组件施加的安全和隐私约束、恢复模型以及用于选择组件的经济模型。该研究包括探索针对组件实现定义和检查这些语义规范的方法，以及将这些规范用作新的设计隐喻的方法。如果成功，这种方法有望让开发人员控制软件设计，并处理困扰现代软件发展的许多问题。

0613162Steven P. ReissBrown UniversityDesigning the UndesignableSoftware design involves designing the undesignable. It differs from other forms of design in that software design is expected to meet a set of constraints that changes dynamically and faster than the software can adapt.Moreover, future trends in software development will force developers to design systems that are out of their control. This research investigates whether a component model that includes the semantics of a component as part of its interface can address these problems of software design. Semantics is used here in the broad sense to include the functionality of the component, security and privacy constraints imposed on or by the component, a recovery model, and an economic model for choosing components. The research involves exploring ways of defining and checking such semantic specifications against component implementations and the use of such specifications as a new design metaphor. If successful, this approach promises to let developers control software design and get a handle on many of the problems that plague the evolution of modern software.