新系统的逻辑模型是以【 】为主要工具设计完成的。