Static and Dynamic High-Integrity Architectural Application Frameworks

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

• 批准号: RGPIN-2015-05070
• 负责人: Alencar, Paulo
• 金额: $ 1.31万
• 依托单位: University of Waterloo
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2018
• 资助国家: 加拿大
• 起止时间: 2018-01-01 至 2019-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=643714
• 关键词: 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的两个基石。它还将通过国家和国际合作在对加拿大具有战略意义的领域提供出色的培训，支持软件研究人员，工程师和软件设计和开发人员，并帮助提供更熟练，具有全球竞争力的软件专家，提高加拿大软件行业的经济竞争力。