Category-Theoretic Formulation of the Model-Based Systems Architecting Cognitive-Computational Cycle
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.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Feb 23, 2021
- Source ID
- 10.3390/app11041945
Entities
People
- Edward F. Crawley
- James Fairbanks
- Yaniv Mordecai
Organizations
- Defense Advanced Research Projects Agency
- Technion – Israel Institute of Technology