| UML Statecharts的层次组合验证 |
| |
| 引用本文： | 董威,王戟,齐治昌.UML Statecharts的层次组合验证[J].计算机工程与应用,2005,41(11):37-38,232. |
| |
| 作者姓名： | 董威 王戟 齐治昌 |
| |
| 作者单位： | 1. 国防科技大学计算机学院,长沙,410073;武汉大学软件工程国家重点实验室,武汉,430072
2. 国防科技大学计算机学院,长沙,410073 |
| |
| 基金项目： | 国家自然科学基金(编号:60303013)，武汉大学软件工程国家重点实验室开放基金(编号:SKLSE03-08)资助 |
| |
| 摘 要： | 该文在用层次自动机结构化表示UMLStatecharts的基础上,把Statecharts的层次结构特点纳入到组合验证中,使得对实现规范的验证可以通过把系统的某些层次精化部分用更抽象的规约代替来进行,以缓解模型检验中的状态爆炸问题。
|
| 关 键 词： | UML 模型检验 组合验证 |
| 文章编号： | 1002-8331-(2005)11-0037-02 |
Hierarchical Compositional Verification of UML Statecharts |
| |
| Dong Wei,Wang JP,Qi Zhichang.Hierarchical Compositional Verification of UML Statecharts[J].Computer Engineering and Applications,2005,41(11):37-38,232. |
| |
| Authors: | Dong Wei Wang JP Qi Zhichang |
| |
| Affiliation: | Dong Wei 1,2 Wang Ji 1 Qi Zhichang 11 |
| |
| Abstract: | Based on expressing UML Statecharts with hierarchical automata structurally,the paper introduces hierarchy into compositional verification,which makes it possible that some refined components can be replaced by more abstract specifications in model checking,and state explosion problem will be reduced. |
| |
| Keywords: | UML model checking compositional verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
