interface for a subset of SysML