UML技术国内外研究现状和发展趋势(2)
国内在UML形式化方面也有一定研究。燕昊[22]借助面向对象的形式化规格说明语言OOZS，对UML的模型图进行形式化描述。李景峰，陈平[23]给出了基于Z规范的统一建模语言UML序列图的语义分析方法等。
下一篇：国内外摩擦补偿研究现状综述
国内在UML形式化方面也有一定研究。燕昊[22]借助面向对象的形式化规格说明语言OOZS，对UML的模型图进行形式化描述。李景峰，陈平[23]给出了基于Z规范的统一建模语言UML序列图的语义分析方法等。