从同步范式到组合范式:作为双向/δ-lenses泛化的可逆计算理论摘要双向/δ‑lenses(Bidirectional Transformations, BX)提供了在两个模型之间保持一致、并将一侧的更新良性地传播到另一侧的形式化骨架,是“视图更新问题”的经典答案。可逆计算(Reversible Computation,此处特指基于坐标与变化代数的软件构造范式)则把“Y = F(X) ⊕ Δ”确立为系统不变式:以生成器 F 进行跨模型投影,以叠加 ⊕ 非侵入地组合差量 Δ,并在横向(多DSL图册)与纵向(多层派生)递归贯彻,同时引入“内禀坐标”“S‑N‑V分层”“同态