UML Statecharts的层次组合验证

作者：董威; 王戟; 齐治昌

来源：计算机工程与应用, 2005, (11): 37-38+232.

• UML
• 模型检验
• 组合验证 UML
• model checking
• compositional verification

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

• 单位
  软件工程国家重点实验室; 国防科技大学; 武汉大学