状态图上仅画内部状态迁移，外部操作涉及的逻辑由代码和注释表达