UML模型中并发对象的组合验证

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

来源：计算机科学, 2005, (07): 231-233+250.

• UML
• 模型检验
• 组合验证 UML
• Model checking
• Compositional verification

本文在用层次自动机结构化表示UML Statecharts的基础上,定义了UML协同图中并发对象的同步合成,然后根据结构间的模拟关系,研究了对并发对象系统进行组合验证的方法和规则,使有可能在对UML协同图进行模型检验的过程中不必建立系统的全局状态图,以缓解状态爆炸问题。

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