%0 Journal Article
%T 从UML状态图到PVS规范的自动转换、验证
%A 赖明志
%A 尤晋元
%J 电子学报
%P 2122-2125
%D 2002
%X 将UML(统一建模语言)图形转换成形式化规范是一种精确化UML语义、扩大形式化软件方法适用范围的有效途径.PVS是一种通用高阶逻辑形式化规范语言,具有很强的描述能力以及丰富的定理证明、模型验证工具支持.本文论证了使用.PVS来对UML进行形式化的优势,并且给出了UML的状态图到PVS规范的转换模型与规则.
%K UML状态图
%K PVS
%K 层次自动机模型
%K 模型验证
%U http://www.ejournal.org.cn/CN/abstract/abstract7500.shtml