Богданов М.С., Шалыто А.А. Сравнение «Sequence Diagram» и диаграмм «State Chart»
Из книги Фаулер М. и Скотт К. UML. Основы. Краткое руководство по унифицированному языку моделирования. СПб.: Символ. 2003, с. 88.
Одним из главных свойств любой формы диаграмм взаимодействия (диаграмма последовательности и диаграмма кооперации) является их простота. Взглянув на диаграмму, сразу же можно увидеть все сообщения.
Однако если вы попытаетесь изобразить нечто более сложное, чем единственный последовательный процесс без множества условных переходов или циклов выполнения, то такая попытка закончится неудачей. Одной из проблем при построениии диаграмм взаимодействия являются неудобства, связанные с представлением альтернативных ветвей процесса. Попытка изобразить альтернативы приводит к усложнению диаграмм и их многократной переработке.
Таким образом, еще раз (http://is.ifmo.ru/download/tanks_new.pdf) подтвержден тот факт, что для систем со сложным поведением применение этих диаграмм для формализованого построения по ним программ, практически невозможно.