Constructing Large Complex Systems via Tractable Pairwise Composition of Software Components

通过软件组件的易处理的成对组合构建大型复杂系统

• 批准号: 0204432
• 负责人: Paul Attie
• 金额: $ 15万
• 依托单位: Northeastern University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2002
• 资助国家: 美国
• 起止时间: 2002-09-01 至 2004-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0204432&HistoricalAwards=false
• 关键词: Constructing; Large; Complex; Systems; via

The objective of the project is to produce useful and practicalmethods for the development of large complex software systems. Theresearch will address the problem of composing software componentsinto large systems that have guaranteed correctness properties.State-explosion (the exponential growth of the number of possiblesystem behaviors with the number of the system's components) isavoided by analyzing interactions among every pair of componentsseparately, rather than inspecting the interaction of all componentsat once. This local approach nevertheless enables us to prove thatthe overall system behaves as desired. Since the number of behaviorsthat have to be analyzed is much smaller, the amount of effort neededto rigorously analyze and verify large systems is greatly reduced.The main activities are:1. Develop techniques for the precise description of therequired behavior of a software component.2. Develop practical methods for reasoning about the behavior thatresults when a set of components are connected to form a largesystem.The benefit of this research is to reduce the cost of creatingrealistic size software systems that have demonstrable correctnessproperties.

该项目的目标是为大型复杂软件系统的开发提供有用和实用的方法。该研究将解决将软件组件组合成具有保证正确性的大系统的问题。通过单独分析每对组件之间的交互，而不是一次性检查所有组件的交互，避免了状态爆炸(可能的系统行为的数量随着系统组件的数量的指数增长)。然而，这种本地方法使我们能够证明整个系统的行为符合预期。由于必须分析的行为的数量要少得多，严格分析和验证大型系统所需的工作量大大减少。主要活动是：1.开发精确描述软件组件所需行为的技术。开发实用的方法来推理当一组组件连接成一个大型系统时所产生的行为。这项研究的好处是降低创建具有可证明的正确属性的实际规模的软件系统的成本。