Version 1
: Received: 12 February 2021 / Approved: 15 February 2021 / Online: 15 February 2021 (15:44:57 CET)
Version 2
: Received: 15 February 2021 / Approved: 16 February 2021 / Online: 16 February 2021 (15:22:49 CET)
Version 3
: Received: 17 February 2021 / Approved: 18 February 2021 / Online: 18 February 2021 (12:27:50 CET)
Mordecai, Y.; Fairbanks, J.; Crawley, E.F. Category-Theoretic Formulation of the Model-Based Systems Architecting Cognitive-Computational Cycle. Appl. Sci.2021, 11, 1945.
Mordecai, Y.; Fairbanks, J.; Crawley, E.F. Category-Theoretic Formulation of the Model-Based Systems Architecting Cognitive-Computational Cycle. Appl. Sci. 2021, 11, 1945.
Mordecai, Y.; Fairbanks, J.; Crawley, E.F. Category-Theoretic Formulation of the Model-Based Systems Architecting Cognitive-Computational Cycle. Appl. Sci.2021, 11, 1945.
Mordecai, Y.; Fairbanks, J.; Crawley, E.F. Category-Theoretic Formulation of the Model-Based Systems Architecting Cognitive-Computational Cycle. Appl. Sci. 2021, 11, 1945.
Abstract
We introduce the Concept-Model-Graph-View-Concept (CMGVC) transformation cycle. The CMGVC cycle facilitates coherent architecture analysis, reasoning, insight, and decision-making based on conceptual models that are transformed into a common, robust graph data structure (GDS). The GDS is then transformed into multiple views on the model, which inform stakeholders in various ways. This GDS-based approach decouples the view from the model and constitutes a powerful enhancement of model-based systems engineering (MBSE). CMGVC applies the rigorous foundations of Category Theory, a mathematical framework of representations and transformations. The CMGVC architecture is superior to direct transformations and language-coupled common representations. We demonstrate the CMGVC cycle to transform a conceptual system architecture model built with the Object Process Modeling Language (OPM) into dual graphs and a decision support matrix (DSM) that stimulates system architecture insight.
Keywords
Model-Based Systems Engineering; Category Theory; Object-Process Methodology; Model Analytics; Concept-Model-Graph-View-Concept; Graph Data Structures; Graph Query; Decision Support Matrix; Matrix-Based Analysis
Subject
Computer Science and Mathematics, Computer Vision and Graphics
Copyright:
This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
