Model-based systems engineering for sharing economy service systems design using structure-behavior coalescence process algebra

Abstract

The central theme of Model-Based Systems Engineering (MBSE) is a modeling language with model consistency of systems structure and systems behavior. In this paper, we developed a Channel-Based Multi-Queue Structure-Behavior Coalescence Process Algebra (C-M-SBC-PA) as the modeling language for model singularity of the MBSE sharing economy service systems design. In C-M-SBC-PA, only a single diagram is used to specify the semantics of the design of the sharing economy service system. Overall, the model consistency will be fully guaranteed in the MBSE sharing economy service systems design when the C-M-SBC-PA method is adopted.