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