Collaborative Research: Well-Founded Behavioral Software Contracts

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

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.