Functorial Model Management
| Autor: | Blake S. Pollard, Eswaran Subrahmanian, Spencer Breiner |
|---|---|
| Rok vydání: | 2019 |
| Předmět: |
Information management
Functor Theoretical computer science Computer science 020207 software engineering 0102 computer and information sciences 02 engineering and technology General Medicine computer.software_genre 01 natural sciences Model integration Model management 010201 computation theory & mathematics 0202 electrical engineering electronic engineering information engineering Category theory computer Merge (linguistics) Data integration |
| Zdroj: | Proceedings of the Design Society: International Conference on Engineering Design. 1:1963-1972 |
| ISSN: | 2220-4342 |
| DOI: | 10.1017/dsi.2019.202 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|