Параллельное и распределенное программирование на С++

Язык UML можно использовать для моделирования видов деятельности объектов — участников конкретной операции или прецедента. В этом случае строится диаграмма (видов) деятельности, которая представляет собой блок-схему, отражающую последовательные и параллельные действия (или виды деятельности) объектов, принимаю щ их участие в выполнении конкретной задачи. На этой диаграм м е с по м о щ ью стрелок указывается направление передачи управления для соответствую щ их видов деятельности. В то вре м я как в диагра мм ах сотрудничества основное внимание уделяется передаче управления от объекта к объекту, в диагра м мах последовательностей — временному упорядочению потоков выполнения, в диаграммах деятельности акцент ставится на передаче управления от одного действия (или вида деятельности) к другому. В результате действия (или вида деятельности) изменяется состояние объекта или возвра щ ается некоторое значение. Содержи м ое действия (или вида деятельности) называется состоянием действия (или вида деятельности). Состояние объекта представляется в это м случае как конкретный м о м ент в потоке выполнения.

Рис. 10.10. Диаграмма последовательностей некоторых объектов системы составления расписаний

Действие и деятельность и м еют различия. Действия не м огут быть логически подвергнуты декомпозиции или прерваны другими действиями или событиями. Примерами действий могут служить создание или разрушение объекта, вызов метода или функции. Деятельность можно разложить на составные части (другие виды деятельности). В качестве примеров деятельности можно назвать программу, прецедент или процедуpy. Деятельность можно прервать событием, другим видом деятельности или действием.

Диаграмма (видов) деятельности представляет собой граф, узлы которого обозначают действия или виды деятельности, а ребра — безусловные переходы. Безусловность перехода состоит в том, что для того, чтобы он произошел, не требуется никакого события. Переход происходит сразу же по завершении предыдущего действия или вида деятельности. Эта диаграмма содержит ветви решений, символы начала, останова и синхронизации, которые объединяют несколько действий (или видов деятельности) или обеспечивают их разветвление. Состояния действий и видов деятельности представляются аналогичным образом. Для представления состояния действия или деятельности в языке UML используется стандартный символ блок-схемы, который обычно служит для отображения точек входа и выхода. Этот символ применяется независимо от типа действия или деятельности. Мы предпочитаем использовать стандартные символы блоксхемы, которые позволяют отличить действия ввода-вывода (параллелограмм) от действий обработки или преобразования (прямоугольник). Описание действия или вида деятельности, т.е. имя функции, выражения, прецедента или программы, отображается в соответствующем элементе графа. Состояние деятельности может дополнительно включать отображение действий входа и/или выхода. Действие входа— это действие, которое происходит, ко г да и м еет м есто вход в состо я ние деятельности, а действие выхода — это действие, которое происходит непосредственно перед выходо м из состояния деятельности. Эти действия являются первы м и последни м действия м и соответственно, которые должны быть выполнены в состоянии активности.

По завершении одного действия происходит немедленный переход к началу следующего. Переход обозначается стрелкой с двухреберным наконечником, направленной от одного состояния к другому (следующему). Переход, который указывает на состояние, называется входящим, а перехо д, обозначаю щ ий выход из состояния, — выходящим. Прежде че м произойдет выходя щ ий переход, до л жно выпо л ниться действие выхода, ес л и таковое прелус м отрено. Действие входа, ес л и таковое предус м отрено, выпо л няется пос л е то г о, как произойдет входной переход. Начало потока выпо л нения представляется в виде крупной закрашенной точки. Первый переход ведет из закрашенной точки к перво м у состоянию диа г ра мм ы. Точка останова, или состояние останова, диа г ра мм ы деятельности представляется крупной закрашенной точкой, заключенной внутри окружности.

Диаграммы деятельности подобно блок-схемам имеют символ решения. Символ решения имеет форму ромба с одним входящим переходом и двумя (или более) выходящими переходами. Выходящие переходы сопровождаются условиями, которые определяют дальнейшее направление передачи управления. Это условие представляет собой обычное булево выражение. Выходящие переходы должны охватывать все возможные варианты ветвления. На рис. 10.11 показан символ решения, используемый при определении необходимости построения источника знаний.