JCSE, vol. 20, no. 1, pp.1-15, 2026

DOI: http://dx.doi.org/10.5626/JCSE.2026.20.1.1

SBC Process Algebra for SysML Model Inconsistency Checking

Steve W. Haga, William S. Chao, and Wei-Ming Ma
Department of Computer Science and Engineering, National Sun Yat-sen University, Kaohsiung, Taiwan Department of Information Management, Cheng Shiu University, Kaohsiung, Taiwan

Abstract: This paper proposes a unified approach for checking the consistency of SysML models by integrating structural and behavioral information into a single framework, the interaction transition graph (ITG). The ITG is a finite state machine representation derived from process algebra, with a specific focus on structure-behavior coalescence (SBC), combining both structure and behavior into a single format. Being formal, efficient, and scalable, this approach addresses the challenges of inconsistency that arise when dealing with complex systems and multiple SysML diagrams. The ITG is designed to be a human-readable representation that provides the user with a consistent view of the full system. The paper also presents a software tool that converts the process algebra equations for the various SysML diagrams into the ITG representation. The use of the ITG for consistency checking is also demonstrated.

Keyword: Model-based systems engineering; Consistency checking; Interaction transition graph; Structurebehavior coalescence; Process algebra

Full Paper:   13 Downloads, 19 View