Abstract: In the process of digital development of complex equipment, SysML (Systems Modeling Language) has become a key tool in model-based systems engineering (MBSE). SysML provides powerful ...

Abstract: In this paper, we aim to ascribe a meaning to SysML activity diagrams. To this end, we propose a dedicated algebraic-like language, namely activity calculus, and an operational semantics ...