Диаграмма взаимодействия (Collaboration diagram)
С помощью диаграммы последовательности и диаграммы взаимодействия мы можем описать динамику поведения системы как кооперацию между объектами системы.
62
Диаграмма состояний
(State Chart diagram)
Формализм машины конечных состояний (FSM, Final State Machine) представляет собой следующий кортеж:
FSM = (Q, , , ,q0),
Q – множество символов, представляющих состояние,- множество входных символов,- множество выходных символов,
- функция перехода (трансформация состояния, transition):
Q Q ,
q0 Q –начальное состояние.
63
Диаграмма состояний
(продолжение)
FSM может быть представлена в виде ориентированного графа состояний и переходов из одного состояния в другое. Вершины графа представляют собой состояния моделей, в дуги – переходы. Каждая дуга маркирована парой «условие - действие», где первое представляет условие перехода, а второе – результат.
64
Основные элементы и пиктограммы диаграммы состояний
65
Анализ поведения объекта на диаграмме состояний
Состояние – это некоторое положение в жизни объекта, при котором он удовлетворяет определенному условию, выполняет некоторое действие или ожидает события.
Диаграмма состояний включает все сообщения, которые объект получает и отправляет. Переходы между состояниями представляют собой смену исходного состояния последующим (которое может быть тем же, что и исходное). Переход может сопровождаться определенным действием.
66
Анализ поведения объекта на диаграмме состояний
Действия, сопровождающие переходы в определенное состояние, можно рассматривать как входные действия (entry action) для этого состояния. И наоборот, действия, сопровождающие переходы из данного состояния, являются для него выходными (exit action). Поведение, возникающее внутри состояния, называется деятельностью (activity).
67
Диаграмма состояний класса «Учебный курс»
68
Диаграмма состояний |
|
||
Событие |
|
Начало |
Состояние |
|
|
||
button1&2Pressed |
Blink |
button2Pressed |
Increment |
|
|||
|
Hours |
|
Hours |
Переход |
button1Pressed |
|
|
|
|
|
|
button1&2Pressed |
Blink |
button2Pressed |
Increment |
|
|||
|
Minutes |
|
Minutes |
|
button1Pressed |
|
|
Stop |
Blink |
button2Pressed |
Increment |
|
|||
Blinking |
Seconds |
|
Seconds |
button1&2Pressed |
|
|
|
Конец |
|
|
69 |
|
|
|
|
Программные средства, реализующие нотацию Unified Modeling Language
Rational Unified Process – гипертекстовая база знаний;
Rational Rose – CASE средство объектного моделирования;
SoDA - инструмент автоматизации документооборота моделирования;
Requisite PRO – инструмент управления требованиями;
ClearQuest - средство управления запросами на
изменение . |
70 |
|
Общая платформа группы
ClearQuest |
RequisitePro |
БД |
Коллективная |
пользователей |
|
|
БД |
Главная БД |
Документы |
|
Rational Rose |
Rational SoDA |
Rational Test |
Файлы |
Документы |
|
Word |
||
модели |
||
|
БД |
БД |
Файлы |
БД |
пользователя |
RequisitePro |
модели |
Rational Test |
|
Репозиторий. Правила синхронизации |
|
|
|
|
|
71 |