A Structure-Behavior Coalescence Method for Integrating SysML Internal Block Diagram with Activity Diagram

摘要

SysML uses the internal block diagram (IBD) and the activity diagram (AD) to describe the structure and behavior of a system respectively. Since IBD and AD are heterogeneous and separate models, they are prone to inconsistencies between them, often referred to as model multiplicity problems. This paper proposes a model singularity structure-behavior coalescence (SBC) IBD-AD process algebra to solve the inconsistency between IBD and AD. In this model singularity SBC IBD-AD process algebra, both IBD and AD are its projected views, so the inconsistency between IBD and AD naturally disappears.