Graph‐based Assessment and Analysis of System Architecture Models

Abstract

AbstractWe conceptualize, develop and prototype a semi‐automatic graph‐based framework for quality assessment (i.e., completeness, consistency, correctness) and probing — at all stages of development and maturity — architecture models developed in the System Modeling Language (SysML). Relevant data is extracted via partial model transformation, then organized and stored in a labeled property graph. Analytics powered by graph algorithms enable the System Analyst to gain deep insight into the model and answer increasingly complex and diverse questions. Multidigraph formalisms provide solid theoretical foundations for our approach while graph database technologies coupled with custom software development support its implementation. We demonstrate the capability of our approach in an analysis of requirements in a publicly available spacecraft architecture model.