Collaborative Research: Well-Founded Behavioral Software Contracts

0429590/0429595协作研究：有根有据的行为软件合同Robert Bruce Findler Matthias Felleisen MacIlroy的软件组件市场愿景需要可强制执行的合同。这样的合同描述了合同的期望和义务；当程序违反合同时，其执行系统决定谁的过错。该项目的第一个目标是研究行为契约的性质，以及用于监控所有类型的组件机制的契约的机制，包括类、混合、方面、模块和相关构造。第二个目标是研究合同如何帮助改进静态分析，以及静态分析如何部分验证合同。最后，项目组将在一个组件市场中进行试验，以测试他们的软件合同和合同监控系统。从长远来看，这项研究可能有助于建立一个真正具有竞争力的软件组件市场。在这个市场中，组件将与开源合同一起提供。然后，替代供应商可以以近乎同等的合同生产零部件，消费者可以从一系列可互换的零部件中进行选择。

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.