基于修正与 K-输出多元差分透镜的多模型同步
计算机科学中的逻辑
2019-11-27 v1 软件工程
摘要
多模型（多于 2 个）同步在模型驱动工程中无处不在且十分重要，但其理论基础所受关注远少于二元情形。具体而言，后者已被 bx 社区在称为透镜的更新传播代数模型框架中广泛研究。现在我们迈出恢复平衡的一步，提出多元差分透镜的概念。除多元性外，我们的透镜具有“反射式”更新特征，即当一致性恢复需要对违反一致性的更新进行某种修正时适用。我们强调透镜组合的各种方式对该框架实际应用的重要性，并证明了若干组合结果。
引用
@article{arxiv.1911.11302,
title = {Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput},
author = {Zinovy Diskin and Harald König and Mark Lawford},
journal= {arXiv preprint arXiv:1911.11302},
year = {2019}
}
备注
The version published at FAC has multiple essential typos in section 7.1, which make that section practically unreadable