Category-Theoretic Formulation of the Model-Based Systems Architecting Cognitive-Computational Cycle
Name
applsci-11-01945-v2.pdf
Size
4.74 MB
Format
Adobe PDF
Checksum (MD5)
0abb42a62e8fdccf1441701290663367
Author(s)
Mordecai, Yaniv
Fairbanks, James P.
Crawley, Edward F.
Date Issued
February 23, 2021
Publisher
Multidisciplinary Digital Publishing Institute
Citation
Applied Sciences 11 (4): 1945 (2021)
Version
Final published version
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.
MIT Department
Massachusetts Institute of Technology. Department of Aeronautics and Astronautics
Terms of Use
Creative Commons Attribution
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.3390/app11041945
