표준 및 휴대용 형식으로 계층 적 유한 상태 기계를 설명해야합니다. 널리 받아 들여지고 지원되는 파일 형식이 있어야합니까?계층 적 (중첩) 유한 상태 시스템을 설명하기위한 표준 파일 형식은 무엇입니까?
Graphviz DOT language은 방향성있는 가장자리로 참조 될 수있는 부분 그래프를 지원합니다. (Graphviz is a bit of a problem을 사용하여 연결된 클러스터 렌더링) 일반 지향 에지의 텍스트 레이블을 전환 이벤트/기준으로 해석하는 것은 약간의 의미 론적 스트레치처럼 보이지만 사용할 수없는 것은 아닙니다.
UML Statechart은 hierarchically nested states을 지원합니다. 그러나 the accepted answer to this question은 XMI에서 상태 차트를 설명하는 것이 실제로 UML을 명목상으로 지원하는 도구와 제대로 상호 운용되지 않을 수도 있음을 의미합니다.
나는 W3C SCXML Standard을 본다. 그러나 이것은 여전히 작동중인 초안이며 거의 7 년간 사용되어 왔으며 어떤 도구가이 형식을 지원하는지 (conversion 제외) 확실하지 않습니다.
위의 것보다 광범위하게 수용 가능한 대안이 있습니까? 위 중 하나를 사용해야합니까?
이식성의 예제 중 하나는 Matlab Stateflow과 같은 HSM 시뮬레이터에서 그래프를 읽고 사용할 수 있어야한다는 것입니다.
FWIW, 우리 회사는 SCXML로 표준화했습니다. 표준은 매우 좋으며이 후보가 아직 추천 후보자가 아니더라도이 질문이 게시 된 이후에 업데이트되었습니다. – Phrogz