Sod-HCER: Designing the Undesignable

0613162史蒂文·P·赖斯布朗大学设计不可设计的软件设计涉及设计不可设计的。 它与其他形式的设计不同，因为软件设计需要满足一系列动态变化的约束，并且变化速度比软件能够适应的速度更快。此外，软件开发的未来趋势将迫使开发人员设计出他们无法控制的系统。本研究探讨是否一个组件模型，包括组件的语义作为其接口的一部分，可以解决这些问题的软件设计。语义在这里是广义上使用的，包括组件的功能，组件上或组件施加的安全和隐私约束，恢复模型和选择组件的经济模型。这项研究涉及到探索如何定义和检查这些语义规范对组件的实现和使用这些规范作为一个新的设计隐喻。 如果成功的话，这种方法有望让开发人员控制软件设计，并解决困扰现代软件发展的许多问题。

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.