QM是一款基于模型设计和自动代码生成的软件工具，将软件分解为事件驱动组件模块，并以图形方式设计与这些组件相关联的分层状态机。QM具有简单、内置QP框架和捕捉物理设计等特点，能够生成高质量的代码并灵活控制源代码结构。设计目标是尊重设计决策、简化状态图绘制并引入新的表示法来表示内部转换。