Algebraic Model Management: A Survey

Patrick Schultz,David I. Spivak,Ryan Wisnesky
DOI: https://doi.org/10.48550/arXiv.2301.04846
2023-01-12
Logic in Computer Science
Abstract:We survey the field of model management and describe a new model management approach based on algebraic specification.
What problem does this paper attempt to address?