Comprehensive Systems: A formal foundation for Multi-Model Consistency Management

Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle. Comprehensive Systems: A formal foundation for Multi-Model Consistency Management. Formal Asp. Comput., 33(6):1067-1114, 2021. [doi]

Abstract

Abstract is missing.