Rational Rose 2000 и UML. Визуальное моделирование

Как и в случае с действиями и проверками условий для перехода, поведение внутри состояния обычно реализуется в виде операций. В языке UML параметры состояний изображаются так, как показано на рис. 9.10.

Рис. 9.10. Нотация языка UML для параметров состояний

Рис. 9.11. Параметры состояний

Определение входных, выходных и внутренних действий для состояния в программе Rational Rose предусматривает выполнение следующих шагов:

1. Щелкните правой кнопкой мыши по изображению состояния на диаграмме.

2. В появившемся контекстно-зависимом меню выберите команду Open Specification (Параметры), чтобы вызвать диалоговое окно параметров состояния.

3. Выберите вкладку Actions (Действия).

4. Щелкните правой кнопкой мыши по списку Action (Действие).

5. В появившемся контекстно-зависимом меню выберите команду Insert (Добавить). В список будет добавлено новое действие.

6. Дважды щелкните по новому действию в списке, чтобы открыть диалоговое окно Action Specification (Параметры действия).

7. Укажите момент выполнения действия: on entry (при входе), on exit (при выходе), on event (при определенном событии).

8. Введите описание действия или события.

9. Укажите тип действия: action (действие) или send event (вызов события).

10. Если требуется, введите название действия или события.

11. Щелкните по кнопке OK, чтобы закрыть диалоговое окно Action Specification.

12. Щелкните по кнопке OK, чтобы закрыть диалоговое окно State Specification.

Параметры состояний на диаграмме состояний показаны на рис. 9.11.

Резюме

Классы, характеризующиеся выраженным динамическим поведением, анализируются с помощью диаграмм состояний. На таких диаграммах отображаются все состояния объекта, поступающие к объекту события и результирующие действия. Считается, что переходы между состояниями и сопровождающие их действия выполняются за нулевое время и не могут быть прерваны. Пребывание объекта в определенном состоянии и сопутствующая деятельность могут быть прерваны.

Глава 10. Проверка модели

Для чего нужна однородность

Согласно новому академическому словарю Вебстера слово «гомогенизировать» (homogenize) означает превращать в однородную массу, делать гомогенным, то есть однородным. По мере добавления новых прецедентов и сценариев необходимо добиваться, чтобы модель стала однородной. Это особенно актуально, когда несколько групп разработчиков создают различные части модели. Так как прецеденты и сценарии описываются обычными словами, для обозначения одной и той же вещи могут использоваться разные слова, смысл которых может трактоваться по-разному. На данном этапе возможно объединение, разделение или исключение классов из модели. Это процесс естественного развития и совершенствования модели в течение жизненного цикла проекта.

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

Объединение классов

Когда разные группы разработчиков создают различные сценарии, одному классу могут быть присвоены разные имена. Конфликты имен должны быть разрешены. Это обычно делается с помощью проходов по модели. Проверьте каждый класс вместе с его описанием. Также проверьте атрибуты и операции, определенные для классов, и поищите синонимы. Если вы обнаружили, что два класса выполняют одно и то же, выберите из них класс с именем, более близким к терминологии, используемой заказчиками.

Уделите особое внимание управляющим классам системы. Изначально для каждого прецедента предусматривается по одному управляющему классу. Однако управляющие классы со схожим поведением могут быть объединены. Изучите последовательную логику (sequencing logic) в управляющих классах системы. Если она идентична, управляющие классы можно объединить в один.

В системе регистрации учебных курсов имеется один управляющий класс для прецедента Сохранить информацию о курсах (Maintain Course Information) и один для прецедента Создать каталог курсов (Create Course Catalog). Каждый управляющий класс получает информацию от граничного класса и обрабатывает информацию о курсах. Вероятно, эти классы могут быть объединены, так как они имеют поведение и управляют одинаковой информацией.

Разделение классов