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