多状态机的协同设计