随着模型驱动开发技术的不断发展，模型驱动在软件开发过程中起着越来越关键的作用。基于模型驱动的开发技术，能够使得开发者从整体逻辑框架上去设计软件系统，而不需要关系具体的细节，这样更有利于提高软件的开发效率。另一方面，结构化程序设计在软件开发过程中所起的作用是巨大的，消除GOTO语句也是程序设计的关键。因此，在基于模型的开发中确保模型的结构化也是非常必要的。本文主要针对模型驱动开发相关领域，研究了基于程序流程图的结构化验证与实时检测算法。提出了一种针对标准程序流程图的结构化验证算法。该算法是在充分研究程序流程图不同结构特点的基础上，利用图论等相关知识设计而成的。该算法具有以下功能：对程序流程图中的循环结构进行结构化验证；识别程序流程图中标识CONTINUE、BREAK以及RETURN的流程线，并对其进行结构化验证；将循环结构线性化，消除循环结构对分支结构的影响，同时运用递归的方式确定程序流程图中分支结构的作用域，并对分支结构进行结构化验证。本文通过大量实例，验证了该算法的正确性。设计并实现了一种基于程序流程图的实时检测方法，该方法能够在用户建模的每一步对程序流程图进行结构化验证，并将验证结果实时地反馈给用户。以文字提示的方式反馈非结构化错误类型，并在程序流程图中突出显示造成非结构化错误的结点或连线。