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

Category-Theoretic Formulation of Model-Based Systems Architecting as a Concept-Model-Graph-View-Concept Transformation 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.

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, Computer Vision and Graphics

Comments (1)

Comment 1
Received: 16 February 2021
Commenter: Yaniv Mordecai
Commenter's Conflict of Interests: Author
Comment: Resubmitted following a Major Revision
+ 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)
* All users must log in before leaving a comment
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.