Model-Based Systems Engineering Using Structure-Behavior Coalescence Modeling Language

The core matter of Model-Based Systems Engineering (MBSE) is a consistent modeling language that includes an abstract syntax called metamodel and a concrete syntax called user model. The MBSE modeling language used is to certify model consistency among various use model diagrams. Unfortunately, most current MBSE metamodels cannot project every individual concrete syntax diagram as a metamode view. This research proposes the Structure-Behavior Coalescence (SBC) modeling language, which uses the SBC Process Algebra (SBC-PA) as the MBSE metamodel and the SBC Architecture Description Language (SBC-ADL) as the MBSE user model. In the SBC modeling language, each diagram in SBC-ADL is projected as a view of SBC-PA. That is, when we conduct SBC modeling construction, the inconsistent problems of the MBSE model will be avoided entirely.