UML Statecharts的层次组合验证

• 作者: 王戟 董威 齐治昌
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: UML 模型检验 组合验证
• 年，卷（期）: 2005,（11）
• 所属期刊栏目: 学术探讨
• 页码范围: 37-38,232
• 页数: 3页
• 分类号: TP31
• 字数: 2686字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2005.11.011

摘要

该文在用层次自动机结构化表示UML Statecharts的基础上,把Statecharts的层次结构特点纳入到组合验证中,使得对实现规范的验证可以通过把系统的某些层次精化部分用更抽象的规约代替来进行,以缓解模型检验中的状态爆炸问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王戟	国防科技大学计算机学院	41	880	14.0	29.0
2	齐治昌	国防科技大学计算机学院	42	432	12.0	19.0
3	董威	国防科技大学计算机学院	25	165	6.0	12.0