: Received: 12 February 2021 / Approved: 15 February 2021 / Online: 15 February 2021 (15:44:57 CET)
: Received: 15 February 2021 / Approved: 16 February 2021 / Online: 16 February 2021 (15:22:49 CET)
: 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.
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.
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
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.