软件工程是指导计算机软件开发和维护的一门工程学科，强调采用工程的概念、原理、技术和方法来开发与维护软件。把经过时间考验而证明正确的管理技术和当前能够得到的最好的技术方法结合起来。本文从软件工程的特点出发，将其融入到UML建模中。借助UML开发工具，根据软件工程设计原则，对一个具体系统进行快速准确的分析和设计。同时对UML建立的模型进行一致性分析，得到模型一致性问题产生的原因。针对一致性问题提出解决办法，其主要方法是先将UML模型转化到一个形式化的表示，再按照一定的语法将其转换成我们需要的内容。然后通过工具对这些内容进行分析，检测模型是否一致。 本文结合实际例子对顺序图和状态图进行一致性检测，其方法立足于状态图的特性，用状态区分事件动作序列形成FSP语法规则，再对顺序图的消息序列进行相应的描述，利用XSLT语法分析得到分析结果。方法不但简单、直观，而且不需要增加额外的信息，并且可以利用现有的语法分析工具。具有一定的应用价值。