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

关键词: 并发对象 UML模型 Statecharts 验证 组合 同步合成 模拟关系 对象系统 模型检验 状态爆炸 结构化 自动机 状态图 协同