Synthesis on SysML EA