Существует множество инструментов, позволяющих пользователю редактировать конечные автоматы. Например, если вы можете принять конечные автоматы UML, можно использовать редактор UML, способный экспортировать XMI. Если вы ищете бесплатный инструмент, попробуйте ArgoUML или Eclipse.
Чтобы преобразовать XMI в SCXML, вы можете использовать IBM SCXML.
Другим редактором SCXML является Commons SCXML.