SysML semantics