Recombinant and evolutionary high-level software architectures: Design, integration, evolution and analysis

软件工程的基本目标之一是通过组装软件架构组件来实现软件系统的可预测和模块化构造和演化。然而，由于当前信息系统的复杂性、分布性和动态性的增加，来自内部违规的未被检测到的集成故障可能最终仅被揭示为代价高昂的事故，这些事故常常导致不期望的系统崩溃。此外，接口和配置问题经常是由于误解、不兼容或独立开发实践、异构环境或不同供应商导致的差异而引起的。因此，由于维护和更改这类（基于Web的）分布式和动态软件系统通常需要检查和修改组件和组件交互，系统集成变得难以维护系统组件的扩展或升级。这个项目的主要目标是定义和评估一个新的重组和进化的软件体系结构的方法，以及支持的方法和工具，基于组件的设计，集成，进化和分析。该方法是基于分布式的基于事件的重组组件，扩展的组件接口，关注和基于过程的进化扩展，集成和进化的合同，可以提供一个更有表现力的定义基于组件的系统设计表示和增强的分析架构组件的交互，其扩展的功能和行为，以及它们的组合物的正式抽象模型。 在一般情况下，这项研究的结果可以影响个人或（加拿大）组织正在努力生产大型，复杂的（动态）系统和应用程序，并可以帮助推动驱动器，以提高生产力，软件质量，减少维护开销，并影响建立基于合同的软件组件的市场。此外，我们相信，提供一个非特设的和全面的组件集成和演化理论及其自动化的支持将从根本上提高软件工程的努力。

One of the fundamental goals of software engineering is to enable predictable and modular construction and evolution of software systems by assembling software architecture components. However, due to the increasing complexity, distributed, and dynamic nature of current information systems, undetected integration failures from internal violations may be ultimately revealed only as costly accidents that often cause undesirable system crashes. In addition, interface and configuration issues frequently arise from misunderstanding, incompatibilities, or differences resulting from independent development practices, heterogeneous environments, or different vendors. As a result, since maintaining and changing this class of (Web-based) distributed and dynamic software systems usually requires the examination and modification of components and component interactions, system integration becomes difficult to maintain as system components are extended or upgraded. The main goal of this project is to define and evaluate a new recombinant and evolutionary software architecture approach, and supporting methods and tools, for component-based design, integration, evolution, and analysis. The approach is based on formal abstract models of distributed event-based recombinant components, extended component interfaces, concern and process-based evolutionary extensions, and integration and evolution contracts that can provide a more expressive definition of component-based system design representations and an enhanced analysis of the interaction of architectural components, their extended functionality and behavior, and their compositions. In a general way, the results of this research can impact individuals or (Canadian) organizations that are struggling to produce large, complex (dynamic) systems and applications, and can help push the drive to improve productivity, software quality, reduce maintenance overheads, and impact on the establishment of a marketplace of contract-based software components. In addition, we are convinced that providing a non-ad-hoc and comprehensive component integration and evolution theory and its automated support will radically improve software engineering efforts.