MUSE: Multi-Modal Software Evolution

软件系统是异类的，组合了由独立团队开发的组件。软件开发人员依赖第三方库来缩短开发时间和成本。这些组件之间的协同对于软件系统的整体可维护性和健全性至关重要。不幸的是，流行的库通常是快速移动的，并且在大小上迅速增长，同时迎合各种客户端软件。随着库的发展和规模的扩大，开发人员倾向于推迟升级，尽管库有明确的升级指令，理由是升级需要花费时间和金钱。要构建大型和可持续的软件系统，自动同步独立发展的软件系统至关重要。多模式软件演进(MUSE)是迈向自主软件维护的变革性步骤，其中面向人类开发人员的软件文档中的指令将指导自动软件升级。在MUSE中，我们将开发一种新的软件升级方法，将人类开发人员的升级指令集成到用于程序合成、生成和修复的正式框架中。我们将在文档中将库的指令作为第一类对象包含在软件推理和转换的框架中。我们将产生混合的统计-形式推理框架，使人与人之间的交流成为自动程序转换的主要驱动因素。通过参与活动与利益相关者密切合作，我们将开发自动软件升级的理论和工具，以使用较新版本的库。我们将通过升级依赖于快速发展的库的客户端软件来演示这些工具，并将我们开发的工具以多种形式分发给所有技能水平的开发人员，从爱好者到经验丰富的开发人员，使我们的成果能够广泛使用。

Software systems are heterogeneous, combining components developed by independent teams. Software developers rely on third-party libraries to cut development time and cost. The synergy between these components is crucial for the overall maintainability and health of the software system. Unfortunately, popular libraries are typically fast-moving and grow rapidly in size while catering to a diversity of client software. As libraries evolve and grow in size, developers tend to defer upgrades despite clear upgrade directives from the libraries, citing the cost of upgrade in both time and money. To build large and sustainable software systems, it is crucial that independently evolving software systems are synchronised automatically. Multi-Modal Software Evolution (MUSE) is a transformative step towards autonomous software maintenance where directives in software documentation for human developers will guide automated software upgrade. In MUSE, we will develop a novel approach to software upgrade that integrates upgrade directives for human developers into formal frameworks for program synthesis, generation and repair. We will include directives in documentation for libraries as first class objects in frameworks for reasoning and transformation of software. We will produce hybrid statistical-formal reasoning frameworks which will make human-to-human communication the main driver in automatic program transformation. Working closely with stakeholders through engagement events, we will develop both the theory and the tooling for automatic software upgrade to use newer versions of libraries. We will demonstrate the tools by upgrading client software that relies on fast-moving libraries and distribute the tools that we develop in multiple forms for developers at all skills levels, from enthusiasts to experienced developers, making our outputs widely accessible.