Functorial Model Management
Editor: Wartzack, Sandro; Schleich, Benjamin; Gon
Author: Breiner, Spencer (1); Pollard, Blake (1,2); Subrahmanian, Eswaran (1,2)
Institution: National Institute of Standards and Technology (NIST)
Section: ICT for design
DOI number: https://doi.org/10.1017/dsi.2019.202
In this paper we use formal tools from category theory to develop a foundation for creating and managing models in systems where knowledge is distributed across multiple representations and formats. We define a class of models which incorporate three different representations---computations, logical semantics, and data--as well as model mappings (functors) to establish relationships between them. We prove that our models support model merge operations called colimits and use these to define a methodology for model integration.