Functorial Model Management
2019 ◽
Vol 1
(1)
◽
pp. 1963-1972
Keyword(s):
AbstractIn 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.
2008 ◽
Vol 07
(01)
◽
pp. 115-145
◽
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
2019 ◽
Vol 1
(2)
◽
pp. 95