论文部分内容阅读
将UML（统一建模语言）图形转换成形式化规范是一种精确化UML语义、扩大形式化软件方法适用范围的有效途径。PVS是一种通用高阶逻辑形式化规范语言，是有很强的描述能力以及丰富的定理证明、模型验证工具支持。本文论证了使用PVS来对UML进行形式化的优势，并且给出了UML的状态图到PVS规范的转换模型与规则。