Working Paper Article Version 3 This version is not peer-reviewed

Category-Theoretic Formulation of the Model-Based Systems Architecting Cognitive-Computational Cycle

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)

A peer-reviewed article of this Preprint also exists.

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.

Journal reference: Appl. Sci. 2021, 11, 1945
DOI: 10.3390/app11041945

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

MATHEMATICS & COMPUTER SCIENCE, Algebra & Number Theory

Comments (1)

Comment 1
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.

+ Respond to this comment

We encourage comments and feedback from a broad range of readers. See criteria for comments and our diversity statement.

Leave a public comment
Send a private comment to the author(s)
Views 0
Downloads 0
Comments 1
Metrics 0


×
Alerts
Notify me about updates to this article or when a peer-reviewed version is published.
We use cookies on our website to ensure you get the best experience.
Read more about our cookies here.