Systems Modeling Language (SysML) is a general modeling language for model-based systems engineering (MBSE) applications. The SysML specification defines a set of language concepts that is used to model the (static) structure and (dynamic) behavior of a system. The SysML concepts include (1) an abstract syntax that defines the language concepts and is described by a metamodel, and (2) a concrete syntax, or notation, that defines how the language concepts...