面向微服务迁移的调用开销与事务边界快速高效假设分析

提高敏捷性和可维护性是企业采用微服务架构重构现有软件系统的常见动机。然而，现有软件通常依赖其在单一进程空间中运行的事实。将现有软件拆分为无进程组件（如微服务）可能对非功能属性（如整体性能 due to 调用开销或数据一致性）造成严重影响。为最小化此影响，重要的是在服务边界设计过程中即考虑非功能属性。假设分析是此类考虑的有用方法，允许探索不同情景并以迭代和增量方式开发服务边界。工业案例研究经验表明，这类分析的易用性和速度往往比结果的精确性更为重要。本文提出了一种基于迹理论重写的假设分析方法，(i) 专为分析因拆分为无进程组件而影响非功能属性而设计，(ii) 有意在易用性和分析速度上优先于结果精确性。