Static and Dynamic High-Integrity Architectural Application Frameworks

静态和动态高完整性架构应用框架

• 批准号: RGPIN-2015-05070
• 负责人: Alencar, Paulo
• 金额: $ 1.31万
• 依托单位: University of Waterloo
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2020
• 资助国家: 加拿大
• 起止时间: 2020-01-01 至 2021-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=708521
• 关键词: Static; Dynamic; Integrity; Architectural; Application

The construction of modular and flexible software systems by assembling components is one of the central problems in software engineering. To address this problem, many different approaches such as object-oriented frameworks and product line architectures have been proposed as paradigms in which to create and extend software systems. These paradigms support architectural applications families (AAFs) that rely on a core system shared by all applications where each application differs by their variable extensions. However, while these architectural application families are generic, there is a wide range of mechanisms that support their diverse variability. Indeed, the extensions supported by these and other approaches can be based on many different concern-based composition mechanisms such as aspects, object-oriented views, patterns, higher-order polymorphism, connectors and wrappers. These extensions lead to different module notions, but the relationship among these approaches is currently not well understood. Composing and integrating static and dynamic concern-based extensions (i.e., at design and runtime, respectively) is a complex task for which failures from internal violations or undesirable interactions may be at last revealed only as costly accidents. Further, the concern-based extensions need to be governed by guarantees involving constraints and contracts, and verification methods are needed to ensure that the concern-based extensions behave as expected. The general goal of this research project is to define and evaluate a new flexible and modular approach to static and dynamic concern-based extensions in the design and evolution of high-integrity architectural application families. The research focuses on (i) fundamental problems in concern-based modularity and extensions; (ii) static concern-based AAF extensions based on process-oriented methods, constraints and contracts; (iii) dynamic concern-based AAF extensions based on constraints, contracts, context and events, including support relying on the context-aware publish-subscribe style; and (iv) high-assurance techniques based on workflows for verifying architectural application framework design, integration and evolution based on multiple static and dynamic analyses (e.g., model checking, logic programming). This research will augment the current model-centric focus on architectures with a concern-based perspective and provide principled support for modularity and flexibility, two cornerstones of developing AAFs. It will also offer excellent training through national and international collaborations in an area that is strategic to Canada, support software researchers, engineers and developers in software design and evolution, and help to provide more skilled, globally competitive software experts and increase the economic competitiveness of the Canadian software industry.

通过组装组件构建模块化、灵活的软件系统是软件工程的中心问题之一。为了解决这个问题，人们提出了许多不同的方法，例如面向对象的框架和产品线架构，作为创建和扩展软件系统的范例。这些范例支持架构应用程序系列 (AAF)，这些应用程序系列依赖于所有应用程序共享的核心系统，其中每个应用程序的变量扩展各不相同。 然而，虽然这些架构应用程序系列是通用的，但有多种机制支持它们的不同可变性。事实上，这些和其他方法支持的扩展可以基于许多不同的基于关注点的组合机制，例如方面、面向对象的视图、模式、高阶多态性、连接器和包装器。这些扩展导致了不同的模块概念，但这些方法之间的关系目前尚不清楚。编写和集成基于静态和动态关注点的扩展（即，分别在设计和运行时）是一项复杂的任务，其中来自内部违规或不良交互的失败最终可能只会表现为代价高昂的事故。此外，基于关注点的扩展需要受到涉及约束和合同的保证的约束，并且需要验证方法来确保基于关注点的扩展按预期运行。 该研究项目的总体目标是定义和评估一种新的灵活的模块化方法，以在高完整性架构应用程序系列的设计和演进中进行基于静态和动态关注点的扩展。研究重点是（i）基于关注点的模块化和扩展的基本问题； (ii) 基于面向过程的方法、约束和契约的静态关注点 AAF 扩展； (iii) 基于约束、契约、上下文和事件的动态关注点 AAF 扩展，包括依赖于上下文感知发布-订阅风格的支持； (iv) 基于工作流程的高保证技术，用于基于多种静态和动态分析（例如模型检查、逻辑编程）来验证架构应用框架设计、集成和演化。 这项研究将以基于关注点的视角增强当前以模型为中心的架构关注点，并为模块化和灵活性（开发 AAF 的两个基石）提供原则性支持。它还将通过国内和国际合作在对加拿大具有战略意义的领域提供卓越的培训，支持软件研究人员、工程师和开发人员进行软件设计和演进，并帮助培养更多技术精湛、具有全球竞争力的软件专家，提高加拿大软件行业的经济竞争力。