Без заголовка

Тут я придерживаюсь старой школы, в которой "исполнимость" означает эээ... непосредственное управление деятельностью выполнителя. Я не имею тут ввиду именно что императивное выполнение. Кстати, современные моделеры по бОльшей части поддерживают трансформацию в xUML.