As alterações feitas em uma região na visualização Explorador de Modelos são refletidas nos diagramas da mesma máquina de estado e as alterações feitas em uma região no editor de diagrama são refletidas na visualização Explorador de Modelos. Você pode definir o valor canônico das propriedades de uma região como falso para que as alterações feitas em uma região na visualização Explorador de Modelos não sejam refletidas nos diagramas de máquina de estado correspondentes e para que uma região possa ser editada independentemente de outros diagramas na mesma máquina de estado.