Hostname: page-component-586b7cd67f-dlnhk Total loading time: 0 Render date: 2024-11-28T02:41:23.910Z Has data issue: false hasContentIssue false
  • English
  • Français

Functorial Model Management

Part of: ICT for Design

Published online by Cambridge University Press:  26 July 2019

Spencer Breiner ,
Blake Pollard  and
Eswaran Subrahmanian
Spencer Breiner*
Affiliation:
National Institute of Standards and Technology (NIST);
Blake Pollard
Affiliation:
National Institute of Standards and Technology (NIST); Carnegie Mellon University
Eswaran Subrahmanian
Affiliation:
National Institute of Standards and Technology (NIST); Carnegie Mellon University
*
Contact: Breiner, Spencer, National Institute of Standards and Technology (NIST), Information Technology Lab, United States of America, [email protected]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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 processingSystems Engineering (SE)Information managementModel managementData integration
Type
Article
Information
Proceedings of the Design Society: International Conference on Engineering Design , Volume 1 , Issue 1 , July 2019 , pp. 1963 - 1972
Creative Commons
Creative Common License - CCCreative Common License - BYCreative Common License - NCCreative Common License - ND
This is an Open Access article, distributed under the terms of the Creative Commons Attribution-NonCommercial-NoDerivatives licence (http://creativecommons.org/licenses/by-nc-nd/4.0/), which permits non-commercial re-use, distribution, and reproduction in any medium, provided the original work is unaltered and is properly cited. The written permission of Cambridge University Press must be obtained for commercial re-use or in order to create a derivative work.
Copyright
© The Author(s) 2019

References

Adámek, J. and Rosicky, J. (1994), Locally presentable and accessible categories, Vol. 189, Cambridge University Press.Google Scholar
Alagic, S. and Bernstein, P. A. (2001), “A model theory for generic schema management”, in International Workshop on Database Programming Languages, Springer, pp. 228–246.Google Scholar
Awodey, S. (2010), Category theory, Oxford University Press.Google Scholar
Bernstein, P. A., Halevy, A. Y. and Pottinger, R. A. (2000), “A vision for management of complex models”, ACM Sigmod Record 29(4), 55–63.Google Scholar
Bernstein, P. A. and Melnik, S. (2007), “Model management 2.0: manipulating richer mappings”, in Proceedings of the 2007 ACM SIGMOD international conference on Management of data, ACM, pp. 1–12.Google Scholar
Chandrasegaran, S. K., Ramani, K., Sriram, R. D., Horváth, I., Bernard, A., Harik, R. F. and Gao, W. (2013), “The evolution, challenges, and future of knowledge representation in product design systems”, Computer-aided design 45(2), 204–228.Google Scholar
Eckert, C. M., Wynn, D. C., Maier, J. F., Albers, A., Bursac, N., Chen, H. L. X., Clarkson, P. J., Gericke, K., Gladysz, B. and Shapiro, D. (2017), “On the integration of product and process models in engineering design”, Design Science 3.Google Scholar
Johnson, M., Rosebrugh, R. and Wood, R. (2002), “Entity-relationship-attribute designs and sketches”, Theory and Applications of Categories 10(3), 94–112.Google Scholar
Levy, S., Subrahmanian, E., Konda, S., Coyne, R., Westerberg, A. and Reich, Y. (1993), “An overview of the n-dim environment, Technical report, Engineering Design Research Center”, Carnegie-Mellon University.Google Scholar
Männistö, T. and Sulonen, R. (1999), “Evolution of schema and individuals of configurable products”, in International Conference on Conceptual Modeling, Springer, pp. 12–23.Google Scholar
Microsoft Research (2001–2011), “Model management”, http://www.microsoft.com/en-us/research/project/model-management/Google Scholar
Patterson, E. (2017), “Knowledge representation in bicategories of relations’, arXiv preprint arXiv:1706.00526.Google Scholar
Piela, P. C., Epperly, T., Westerberg, K. and Westerberg, A. W. (1991), “ASCEND: An object-oriented computer environment for modeling and analysis: The modeling language”, Computers & chemical engineering 15(1), pp. 53–72.Google Scholar
Rosebrugh, R. and Wood, R. (1992), “Relational databases and indexed categories”, in Proceedings of the International Category Theory Meeting 1991, CMS Conference Proceedings, Vol. 13, pp. 391–407.Google Scholar
Sarala, P., Breiner, S., Subrahmanian, E. and Sriram, R. (2018), “Deconstructing UML, part 1: The class diagram”, Under review.Google Scholar
Schultz, P., Spivak, D. I. and Wisnesky, R. (2016), “Algebraic model management: A survey”, in International Workshop on Algebraic Development Techniques, Springer, pp. 56–69.Google Scholar
Spivak, D. I. (2012), “Functorial data migration’, Information and Computation 217, pp. 31–51.Google Scholar
Subrahmanian, E., Reich, Y., Konda, S., Dutoit, A., Cunningham, D., Patrick, R., Thomas, M. and Westerberg, A. W. (1997), “The n-dim approach to creating design support systems”, in Proc. of ASME Design Technical Conf.Google Scholar
Wynn, D. C., Nair, S. M., Clarkson, P. J., et al. (2009), “The p3 platform: An approach and software system for developing diagrammatic model-based methods in design research”, in DS 58-1: Proceedings of ICED 09, the 17th International Conference on Engineering Design, Vol. 1, Design Processes, Palo Alto, CA, USA, 24.-27.08. 2009, pp. 559–570.Google Scholar