Functorial Model Management

DS 94: Proceedings of the Design Society: 22nd International Conference on Engineering Design (ICED19)

Year: 2019
Editor: Wartzack, Sandro; Schleich, Benjamin; Gon
Author: Breiner, Spencer (1); Pollard, Blake (1,2); Subrahmanian, Eswaran (1,2)
Series: ICED
Institution: National Institute of Standards and Technology (NIST)
Section: ICT for design
DOI number: https://doi.org/10.1017/dsi.2019.202
ISSN: 2220-4342

Abstract

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.

Keywords: Semantic data processing, Systems Engineering (SE), Information management, Model management, Data integration

Download

Please sign in to your account

This site uses cookies and other tracking technologies to assist with navigation and your ability to provide feedback, analyse your use of our products and services, assist with our promotional and marketing efforts, and provide content from third parties. Privacy Policy.