状态迁移图 meaning in Chinese
state transition chart
state transition diagram
Examples
- These methods can be used to verify the properties of whole system . to reduce the state explosion caused by concurrent objects , we study the compositional verification of synchronous uml models based on synchronous composition and simulation relation between structures
为缓解并发对象导致的状态爆炸问题，本文还研究了根据同步合成和结构间的模拟关系，对同步uml模型进行并发组合推理，使得有可能不必建立全局状态迁移图来验证系统。