Why is feature typing a form of specialization in KerML/SysML? SysML v2 is based on the new “Kernel Modeling Language” (KerML).