А.3.2.1.2.3. Диаграммы состояний
Метод СДП фокусируется на моделировании бизнес-процессов, осуществляемых аналитиком. В моделировании объектов аналогичную роль выполняют диаграммы состояний, хотя они в большей мере нацелены на внутреннее поведение объекта и описание его микроповедения. Диаграммы же СДП в значительной степени ориентированы на моделирование макроповедения цепочки процессов. Тем не менее, оба подхода в целом схожи. Иногда диаграммы состояний применяются и при макромоделировании.
Диаграммы состояний описывают внутреннее поведение объектов, фиксируя их состояния и переходы из одного состояния в другое на протяжении всего жизненного цикла. Состояния характеризуются определенными значениями атрибутов объектов. Переходы из одного состояния в другое активизируются событиями. В описаниях широко применяется система обозначений Харела ( Harel . Statecharts. 1987, с . 231-274; Harel. On Visual Formalism. 1988, с. 514-530). Этой же системой пользуется Рамбо ( Rumbaugh et al . Object-Oriented Modeling and Design. 1991).
На рис. 111 показана базовая структура типичной диаграммы состояний, привязываемой к объекту.
Рис . 111. Диаграмма состояний
В рамках определенного состояния — например, «обработка заказа» — могут выполняться те или иные операции. Изменение этого состояния на «завершение обработки заказа» является, следовательно, событием, активизирующим переход. С событием может быть связано некое условие, например, «Успешно ли завершена обработка заказа?» Такое условие указывается в скобках.
|
|
|
Действия приводят к возникновению новых состояний. Примером может служить действие «выдача заказа на производство», представленное на рис. 111. Это действие не обладает собственной функциональностью, в противном случае его нужно было бы моделировать как отдельный процесс. Возникшее новое состояние влечет за собой выполнение функции производства.
Диаграммы состояний строго следуют правилу СДП. Неукоснительное соблюдение этого правила позволяет выполнять теоретическую проверку для выявления каких-либо отклонений в процессе. В этом состоит одно из преимуществ диаграмм состояний. Аналогичные теоретические методы проверки (верификации) применимы и в моделях СДП, но они не вычисляются посредством алгоритмов. Однако подобных результатов можно достичь и при помощи эвристических имитационных исследований.
Диаграммы состояний позволяют создавать описания, напоминающие диаграммы СДП. Состояния описывают выполнение функций, управляемое событиями и переходами.
Следовательно, метамодель диаграмм состояний аналогична метамодели СДП, на рис. 110.
А.3.2.1.2.4. Управление посредством сообщений
|
|
|
Управления посредством сообщений позволяет определить, когда и как следует реагировать на изменения состояния объектов. Сообщения передаются субъектам действия, которые осуществляют эти изменения. Сообщение представляет собой требование отправителя к получателю создать выходной результат.
В диаграммах состояний это указывается действием, предшествующим переходу в новое состояние.
При моделировании простых событийных цепочек (СДП) имена отдельным сообщениям не присваиваются. Предполагается, что сообщения «входят» в стрелки, соединяющие события с последующими функциями.
Если сообщения можно описать при помощи их собственных свойств (например, атрибутов или инструкций), целесообразно построить их точную модель. Иллюстрацией может служить пример на рис. 112, с фрагментом диаграммы СДП, описывающей обработку заказа ( Scheer . ARIS — Business Process Frameworks. 1998). Теперь к сообщениям, которые обозначены символом «письмо», можно привязать различные свойства. В соответствии с этим следует расширить метамодель, показанную на рис. 110. Класс СООБЩЕНИЕ связывается с ассоциативной структурой АКТИВИЗАЦИЯ ФУНКЦИИ СОБЫТИЕМ. Одно и то же сообщение можно направлять различным функциям, хотя к «активизирующей» стрелке привязано только одно сообщение.
|
|
|
Рис . 112. Пример моделирования сообщений
В объектно-ориентированном моделировании управление посредством сообщений имеет особое значение, поскольку поток сообщений между объектами управляет поведением системы. Потоки сообщений инициируют обработку задач. Помимо объектов «отправитель» или «получатель», сообщения включают функцию и необходимые параметры, которые нужно передать. Отправитель требует от получателя выполнить данную функцию и вернуть результат(ы). Этот процесс показан на рис. 113.
Рис. 113. Обмен сообщениями между объектами
Объект «клиент Джоунс» посылает объекту «изделие 1234» сообщение с требованием вычислить стоимость заказа на 10 штук определенного изделия. Ответ направляется объекту «клиент», хотя, строго говоря, это сообщение активизируется функцией «вычислить стоимость заказа». Соответствующий объект проверяется с целью определить, реализована ли в нем требуемая функция. Если нет, то исследуется иерархия наследования объекта до тех пор, пока искомая функция не будет найдена.
Одним из важных свойств объектно-ориентированного подхода является полиморфизм. Это означает, что некоторые сообщения могут направляться к объектам различных классов, активизируя различные процессы в зависимости от способа реализации необходимой функции.
|
|
|
Маршруты сообщений могут изображаться в виде диаграмм взаимодействий, причем здесь возможны различные подформы. На рис. 114 представлена подробная диаграмма, показывающая последовательность обмена сообщениями и их распределение во времени. Здесь конкретный процесс можно представить как задачу, обрабатываемую двумя объектами.
В упрощенном виде диаграммы взаимодействий могут отражать только обмен базовыми сообщениями между объектами без детализации времени или последовательностей.
Рис. 114. Диаграмма взаимодействий
В диаграммах объектно-ориентированных классов маршруты сообщений уже определены ассоциациями. Именно поэтому моделирование ассоциаций играет такую важную роль в объектно-ориентированном анализе. Помимо маршрутов сообщений, моделируемых ассоциациями, бывают также специальные (ad hoc) сообщения, где пользователи адресуются к определенным объектам. Однако эти маршруты сообщений не включаются в определение требований, а описываются непосредственно на стадии исполнения.
На рис. 115 представлена метамодель диаграммы классов, дополненная управлением посредством сообщений (см. рис. 101).
Рис . 115. Метамодель управления сообщениями при объектно-ориентированном подходе
СООБЩЕНИЯ направляются от ФУНКЦИЙ ОБЪЕКТОВ к ФУНКЦИЯМ других объектов, при этом отношения определяются ассоциациями. Изделия, участвующие в процессе, обозначаются последовательными номерами или отметками времени, а параметры передачи привязываются к сообщениям.
Определенное состояние может повлечь за собой применение (выполнение) того или иного метода, но может включать и конкретное описание, например, состояние ожидания. В метамоделях такая возможность обеспечивается мощностью связи (0..1) между СОСТОЯНИЕМ и МЕТОДОМ. Состояние инициируется СОБЫТИЕМ, которое, в свою очередь, активизируется другим состоянием.
Если понятие «состояние» приравнять к понятию «функция», то метаструктура диаграммы состояний будет сопоставима с метаструктурой упрощенной диаграммы СДП, хотя и без ее логических отношений, связывающих события.
Дата добавления: 2019-02-26; просмотров: 155; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!