Structure-Behavior Coalescence Process Algebra -- Toward a Unified View of the System in Model-Based Systems Engineering

TL;DR

This paper introduces C-M-SBC-PA, a process algebra framework that unifies structural and behavioral system modeling in SysML, enabling integrated views and semantic consistency across diagrams.

Contribution

It develops a novel process algebra-based metamodel that unifies system structure and behavior in SysML, addressing limitations of existing metamodels.

Findings

C-M-SBC-PA provides a comprehensive semantic framework.

It enables projection of SysML diagrams as views of the unified model.

The approach improves consistency and integration in system modeling.

Abstract

In Model-Based Systems Engineering (MBSE), the Systems Modeling Language (SysML) specification includes a metamodel that defines the language concepts and a user model that defines how the language concepts are represented. In SysML, an important use of metamodel is to provide an integrated semantic framework that every diagram in the user model can be projected as a view of the metamodel. However, most existing SysML metamodels lack such capability of being a basis for unification of different views of a system. To overcome the shortcomings of the current SysML metamodel approaches, we developed Channel-Based Multi-Queue Structure-Behavior Coalescence Process Algebra (C-M-SBC-PA), which provides an integrated semantic framework that is able to integrate structural constructs with behavioral constructs. Using C-M-SBC-PA as the metamodel of SysML, each diagram in the user model can be projected as a view of the C-M-SBC-PA metamodel.