Automatic Transform UML Statechart into PVS

LAI Ming-zhi; YOU Jin-yuan

您当前的位置：

首页 >

文章列表页 >

Automatic Transform UML Statechart into PVS

更新时间：2025-07-16

- Automatic Transform UML Statechart into PVS
- Acta Electronica Sinica Vol. 30, Issue S1, Pages: 2122-2125(2002)
- 作者机构：
  
  上海交通大学计算机科学与工程系,上海,200030
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP301
- Published：2002
- 稿件说明：
移动端阅览
LAI Ming-zhi, YOU Jin-yuan. Automatic Transform UML Statechart into PVS[J]. Acta Electronica Sinica, 2002, 30(S1): 2122-2125.
DOI：

LAI Ming-zhi, YOU Jin-yuan. Automatic Transform UML Statechart into PVS[J]. Acta Electronica Sinica, 2002, 30(S1): 2122-2125. DOI：

摘要

将UML(统一建模语言)图形转换成形式化规范是一种精确化UML语义、扩大形式化软件方法适用范围的有效途径.PVS是一种通用高阶逻辑形式化规范语言

具有很强的描述能力以及丰富的定理证明、模型验证工具支持.本文论证了使用.PVS来对UML进行形式化的优势

并且给出了UML的状态图到PVS规范的转换模型与规则.

Abstract

Formalizing UML diagrams is an effective way to get a precise UML semantics and extend the usage of formal methods.PVS is a higher-order logic based general formal specification langugae with strong expressiveness and foraml analysis tools support. By compring with other formal methods

the advantages of PVS are given in formalizing UML. A hierarchical automata model and algorithms are provided for transforming UML Statechart to PVS specification.

关键词

Keywords

references

Views

928

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

No data

Related Author

No data

Related Institution

No data

⁰