With appropriate tool support, designers could perform execution or simulation and debugging on high-level system models to validate and verify system logic early on.
有了适当的工具支持，设计人员可以在高层的系统模型上进行执行或模拟，并调试，从而在早期确认并验证系统逻辑。
However, since any logic models cannot enumerate all possibilities, such a model will fail once any developer defined a system using a different approach.
不过，由于任何逻辑模型都无法枚举出所有可能性，一旦任何开发人员使用不同的方法定义了一个系统，则此类模型将无法使用。
Discusses the designs of concept models, logic models, physical models and standardization of the database in timetable planning system.
论述了课表编排系统数据库的概念模型、逻辑模型以及物理模型的设计和规范化设计。
应用推荐