Ни UML, ни SCXML не обеспечивают строгую метамодель, которая точно определяет их семантику; поэтому невозможно сказать, означают ли они то же самое, когда они используют такие термины, как «состояние» или «переход».
SCXML утверждает, что он основан на оригинальной работе Harel и отмечает, что он был реализован в UML 2.0. Однако он не претендует на семантическую совместимость с ним.
Если вас интересует семантическая совместимость с формальной точки зрения, я предлагаю вам принять очень мало. Тем не менее, я думаю, что довольно безопасно относиться к обоим спецификациям как к эквивалентным относительно основных концепций для неофициального обсуждения.