Collaborative Research: Well-Founded Behavioral Software Contracts

0429590/0429595合作研究：建立良好的行为软件合同robert Bruce FindlerMatthias FelleisenMacIlroy的软件组件市场愿景需要可执行的合同。这种合同描述了合同的期望和义务；当一个程序违反合同时，它的执行系统决定了谁的过错。这个项目的第一个目标是研究行为契约的本质，以及监视各种组件机制（包括类、mixins、方面、模块和相关构造）契约的机制。第二个目标是研究契约如何帮助改进静态分析，以及静态分析如何部分地验证契约。最后，项目团队将对组件市场进行实验，以测试他们的软件合同和合同监控系统。从长远来看，这项研究可能有助于建立一个真正具有竞争力的软件组件市场。在这个市场中，组件将附带开源合同。然后，替代供应商可以生产具有几乎相同合同的组件，消费者可以从一系列可互换的组件中进行选择。

0429590/0429595Collaborative Research: Well-Founded Behavioral Software ContractsRobert Bruce FindlerMatthias FelleisenMacIlroy's vision of a marketplace of software components requires enforceable contracts. Such a contract describes the expectations and obligations of a contract; its enforcement system decides whose fault it is when a program breaks a contract. The first goal of this project is to investigate the nature of behavioral contracts and mechanisms for monitoring contracts for all kinds of component mechanisms, including classes, mixins, aspects, modules, and related constructs. The second goal is to study how contracts can help improve static analyses and how static analyses can partially verify contracts. Finally, the project team will conduct an experiment with a component marketplace to test their software contracts and contract monitoring systems. In the long term, this research may help establish a truly competitive marketplace of software components. In this marketplace, components will come with open-source contracts. Alternate suppliers can then produce components with near-equivalent contracts, and consumers can choose from an array of interchangeable components.