Мне нужно описать иерархическую машину конечного состояния в стандартном и переносном формате. Есть ли общепринятый и поддерживаемый формат файлов, который я должен использовать?Стандартный формат файла для описания иерархических (вложенных) машин конечного состояния?
Я вижу, что Graphviz DOT language поддерживает вложенные графы, которые могут упоминаться направленными ребрами. (Хотя рендеринг связанных кластеров с использованием Graphviz is a bit of a problem.) Интерпретация текстовой метки на общем направленном фронте в качестве события перехода/критерия кажется легким смысловым растяжением, но не непригодным для использования.
Я вижу, что a UML Statechart имеет поддержку hierarchically nested states. Однако the accepted answer to this question подразумевает, что описание состояния в XMI на самом деле не может быть фактически совместимо с инструментами, которые номинально поддерживают UML.
Я вижу W3C SCXML Standard. Тем не менее, это все еще рабочий проект (и он длится почти 7 лет), и я не уверен, поддерживает ли какой-либо инструмент этот формат (кроме conversion).
Есть ли более приемлемая альтернатива, чем одна из вышеуказанных? Должен ли я использовать тот или иной из вышеперечисленных?
Одним из примеров переносимости является то, что я хотел бы, чтобы график мог быть прочитан и использован симулятором HSM, например Matlab Stateflow.
FWIW, моя компания стандартизована на SCXML. Стандарт неплохой и обновлен, так как этот вопрос был опубликован, хотя он еще не совсем соответствует статусу «Рекомендуемый кандидат». – Phrogz