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 Cycle (CMGVC). The CMGVC facilitates coherent architecture analysis, reasoning, insight, and decision-making based on conceptual models that are transformed into a generic, robust graph data structure (GDS). The GDS is then transformed into multiple views of 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). The CMGVC applies the rigorous foundations of Category Theory, a mathematical framework of representations and transformations. We show that modeling languages are categories, drawing an analogy to programming languages. The CMGVC architecture is superior to direct transformations and language-coupled common representations. We demonstrate the CMGVC to transform a conceptual system architecture model built with the Object Process Modeling Language (OPM) into dual graphs and a stakeholder-informing matrix 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, Algebra and Number Theory
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.
Received:
18 February 2021
Commenter:
Yaniv Mordecai
Commenter's Conflict of Interests:
Author
Comment:
The title was slightly changed to make it clearer and more concise. A section describing a preliminary software implementation of the framework was added.
Commenter: Yaniv Mordecai
Commenter's Conflict of Interests: Author
A section describing a preliminary software implementation of the framework was added.