SHF: Small: From Scenario-Based Software Requirements to Component-Level Behavior

SHF：小：从基于场景的软件需求到组件级行为

• 批准号: 1218115
• 负责人: Nenad Medvidovic
• 金额: $ 50万
• 依托单位: University of Southern California
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2012
• 资助国家: 美国
• 起止时间: 2012-09-01 至 2016-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1218115&HistoricalAwards=false
• 关键词: SHF; Small; Scenario; Based; Software

Use-case scenario-based specifications are frequently used to capture the most important requirements for a software system. Several techniques have been proposed for representing the scenario models and for mapping them to software system behavior models. The resulting behavior models yield several important benefits, including the ability to perform early system assessment and to aid the software engineers in implementing the required functionality. The two key observations guiding this research are that (1) use-case scenarios are inherently partial and (2) modern software systems are typically built by composing independent components. Existing techniques support either modeling the partial behavior of an entire system, or modeling component-level behaviors under the assumption that they are known completely.To bridge the above disconnect, this research provides a trio of formally correct techniques for mapping use-case scenario models of a system's requirements to partial-behavior models of the constituent system components. The resulting behavior models are then used to validate existing and elicit new requirements, which in turn, result in further refinements of the components models. The resulting techniques are evaluated theoretically for correctness, completeness, and complexity, and empirically for practical usefulness and scalability. The research yields several broader impacts: it improves the current state of software requirements specification and formalizes its relationship to the prevalent component-based software system development; its reliance on popular scenario-based modeling notations renders the resulting techniques easy to adopt in practice; the support for eliciting currently unspecified requirements leads to improved understandings of systems under development; finally, the supported early discovery and resolution of system behavior discrepancies helps to mitigate significant costs that would be incurred if detected at later stages of a system's lifecycle.

基于用例的规格通常用于捕获软件系统的最重要要求。已经提出了几种代表方案模型并将其映射到软件系统行为模型的技术。由此产生的行为模型产生了一些重要的好处，包括执行早期系统评估的能力并帮助软件工程师实施所需的功能。指导这项研究的两个关键观察结果是（1）用例场景本质上是部分的，并且（2）现代软件系统通常是通过组成独立组件来构建的。现有技术支持对整个系统的部分行为进行建模，或者在完全已知的假设下对组件级别的行为进行建模。为了弥合上述断开连接，这项研究为绘制系统要求的系统要求的绘制用例模型提供了正式正确的技术，以使组合系统组合的部分行为模型。然后，将所得的行为模型用于验证现有的并引起新的要求，从而导致组件模型的进一步改进。理论上对所得技术进行了评估，以确保正确性，完整性和复杂性，并在经验上为实用性和可扩展性进行经验评估。该研究产生了更广泛的影响：它改善了当前的软件需求规范状态，并将其与普遍的基于组件的软件系统开发的关系形式化；它依赖于流行的基于方案的建模符号赋予了易于在实践中采用的最终采用的技术。对当前未指定要求的支持的支持导致对正在开发的系统的理解得到了改善；最后，受支持的早期发现和系统行为差异的分辨率有助于减轻如果在系统生命周期的后期检测到的大量成本。