Цепь Маркова - это «запись» конечного автомата, где у вас есть вероятности между изменениями состояния. Конечный автомат UML напрямую не имеет этих вероятностей. Переходы между состояниями имеют только защиту (и некоторые другие атрибуты). Итак, чтобы создать цепь Маркова, вам нужен профиль, который определяет переходы между состояниями, которые также предлагают вероятности. Возможно (в зависимости от вашего варианта использования) вы можете просто использовать охранников для express этих вероятностей.