Abstract: With the implementation and application of MBSE (Model Based System Engineering) in enterprises, a vast number of system model files is constantly and increasingly generated. The problem of ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback