Category-Theoretic Formulation of the Model-Based Systems Architecting Cognitive-Computational Cycle
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...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2021-02-01
|
| Series: | Applied Sciences |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2076-3417/11/4/1945 |
| _version_ | 1797395604926627840 |
|---|---|
| author | Yaniv Mordecai James P. Fairbanks Edward F. Crawley |
| author_facet | Yaniv Mordecai James P. Fairbanks Edward F. Crawley |
| author_sort | Yaniv Mordecai |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-03-09T00:37:53Z |
| format | Article |
| id | doaj.art-dce066c4613f44b3bb05c8d2c38482da |
| institution | Directory Open Access Journal |
| issn | 2076-3417 |
| language | English |
| last_indexed | 2024-03-09T00:37:53Z |
| publishDate | 2021-02-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Applied Sciences |
| spelling | doaj.art-dce066c4613f44b3bb05c8d2c38482da2023-12-11T18:03:14ZengMDPI AGApplied Sciences2076-34172021-02-01114194510.3390/app11041945Category-Theoretic Formulation of the Model-Based Systems Architecting Cognitive-Computational CycleYaniv Mordecai0James P. Fairbanks1Edward F. Crawley2Engineering Systems Laboratory, Aeronautics and Astronautics Department, Massachusetts Institute of Technology, Cambridge, MA 02139, USADepartment of Computer & Information Science and Engineering, University of Florida, Gainesville, FL 32611, USAEngineering Systems Laboratory, Aeronautics and Astronautics Department, Massachusetts Institute of Technology, Cambridge, MA 02139, USAWe 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.https://www.mdpi.com/2076-3417/11/4/1945model-based systems engineeringcategory theoryobject–process methodologymodel analyticsconcept–model–graph–view cyclegraph data structures |
| spellingShingle | Yaniv Mordecai James P. Fairbanks Edward F. Crawley Category-Theoretic Formulation of the Model-Based Systems Architecting Cognitive-Computational Cycle Applied Sciences model-based systems engineering category theory object–process methodology model analytics concept–model–graph–view cycle graph data structures |
| title | Category-Theoretic Formulation of the Model-Based Systems Architecting Cognitive-Computational Cycle |
| title_full | Category-Theoretic Formulation of the Model-Based Systems Architecting Cognitive-Computational Cycle |
| title_fullStr | Category-Theoretic Formulation of the Model-Based Systems Architecting Cognitive-Computational Cycle |
| title_full_unstemmed | Category-Theoretic Formulation of the Model-Based Systems Architecting Cognitive-Computational Cycle |
| title_short | Category-Theoretic Formulation of the Model-Based Systems Architecting Cognitive-Computational Cycle |
| title_sort | category theoretic formulation of the model based systems architecting cognitive computational cycle |
| topic | model-based systems engineering category theory object–process methodology model analytics concept–model–graph–view cycle graph data structures |
| url | https://www.mdpi.com/2076-3417/11/4/1945 |
| work_keys_str_mv | AT yanivmordecai categorytheoreticformulationofthemodelbasedsystemsarchitectingcognitivecomputationalcycle AT jamespfairbanks categorytheoreticformulationofthemodelbasedsystemsarchitectingcognitivecomputationalcycle AT edwardfcrawley categorytheoreticformulationofthemodelbasedsystemsarchitectingcognitivecomputationalcycle |