Арлоу Д., Нейштадт А. UML2 и Унифицированный процесс. Практический объектно-ориентированный анализ и проектирование
Подождите немного. Документ загружается.
4.5. Спецификация прецедентов 103
Имя прецедента является его уникальным идентификатором в рамках
модели прецедентов.
4.5.2. ID прецедента
Хотя имена прецедентов в рамках одной модели прецедентов должны
быть уникальными, со временем они могут меняться. Следовательно,
надо ввести другой постоянный идентификатор, уникально идентифи
цирующий конкретный прецедент в проекте. Обычно мы используем
просто число.
При работе с альтернативными потоками (раздел 4.5.7) можно приме
нять иерархическую систему нумерации. В этом случае легко устанав
ливается взаимосвязь между альтернативным и основным потоками.
Например, если прецедент стоит под номером X, его альтернативные
потоки будут пронумерованы как X.1, X.2,..., X.n.
4.5.3. Краткое описание
Это должен быть один абзац, в котором изложена цель прецедента. По
пытайтесь уловить суть прецедента – прикладное значение, которое он
имеет для актеров.
4.5.4. Актеры
Главные актеры инициируют прецедент.
С точки зрения отдельного прецедента существует два типа актеров:
• главные актеры – актеры, инициирующие прецедент;
• второстепенные актеры – актеры, взаимодействующие с прецеден
том после его инициации.
Второстепенные актеры не инициируют прецедент.
Каждый прецедент всегда инициируется одним актером. Однако один
и тот же прецедент в разные моменты времени может инициироваться
разными актерами. Любой актер, который может инициировать пре
цедент, является главным актером. Все остальные актеры – второсте
пенные.
4.5.5. Предусловия и постусловия
Предусловия и постусловия – это ограничения.
• Предусловия ограничивают состояние системы, необходимое для
запуска прецедента. Они как привратники, которые не дают актеру
инициировать прецедент до тех пор, пока не будут выполнены все
их условия.
104 Глава 4. Моделирование прецедентов
• Постусловия ограничивают состояние системы после выполнения
прецедента.
Предусловия ограничивают состояние системы, необходимое для запус
ка прецедента. Постусловия ограничивают состояние системы после
выполнения прецедента.
На это можно посмотреть подругому. Предусловия определяют усло
вия, которые должны быть истинными для того, чтобы прецедент мог
быть инициирован. Постусловия определяют, какие условия будут ис
тинными после выполнения прецедента. Предусловия и постусловия
помогают спроектировать правильно функционирующую систему.
Предусловия и постусловия должны быть простыми выражениями
о состоянии системы, которые затем определяются как истинные или
ложные. Их называют логическими условиями.
Если прецедент не имеет предусловий или постусловий, хорошим сти
лем считается надпись «Нет» в соответствующих разделах специфика
ции прецедента. Это показывает, что данный вопрос был рассмотрен,
иначе незаполненный раздел указывает на некоторую двусмыслен
ность.
4.5.6. Основной поток
Основной поток описывает «идеальный» ход развития событий в преце
денте.
Этапы прецедента представляются в виде потока событий. Прецедент
можно представить как дельту реку с множеством ответвляющихся
рукавов. У каждого прецедента есть один основной поток (основной
рукав дельты). Остальные, меньшие рукава – это альтернативные по
токи прецедента. Эти альтернативные потоки могут перехватывать
ошибки, ответвления и прерывания основного потока. Основной поток
иногда называют основным сценарием (primary scenario), а альтерна
тивные потоки – второстепенными сценариями (secondary scenarios).
Основной поток регистрирует этапы прецедента, отражающие «иде
альную» ситуацию, когда все идет, как ожидается и хочется, то есть не
возникает ошибок, отклонений, прерываний или ответвлений.
Отклонения от основного потока можно смоделировать двумя способа
ми, которые вскоре будут рассмотрены.
1. Простые отклонения – создаются ветвления основного потока (раз
дел 4.5.6.1).
2. Сложные отклонения – создаются альтернативные потоки (раздел
4.5.7).
4.5. Спецификация прецедентов 105
Основной поток всегда начинается с действий главного актера, на
правленных на инициацию прецедента. Удачным способом начала по
тока можно считать следующую форму записи:
1. Прецедент начинается, когда <актер> <действие>.
Помните, что время тоже может быть актером, поэтому прецедент мо
жет начинаться временным выражением, как на рис. 4.8.
Поток событий состоит из последовательности коротких этапов, декла
ративных, пронумерованных и упорядоченных во времени. Каждый
этап потока прецедента должен быть выражен в следующей форме:
<номер> <ктолибо> <совершает некоторое действие>.
Поток событий прецедента может быть представлен в повествователь
ной форме, однако это не рекомендуется, поскольку данная форма яв
ляется слишком неопределенной.
Ниже приведен пример нескольких этапов прецедента PlaceOrder (раз
местить заказ).
1. Прецедент запускается, когда покупатель выбирает опцию «разместить заказ».
2. Покупатель заполняет в форме свои имя и адрес.
Это правильно сформированные прецеденты. В обоих случаях мы име
ем простое декларативное выражение о том, что некоторая сущность
осуществляет некоторое действие. А вот пример неверного описания
этапа прецедента:
2. Вводятся данные покупателя.
Использование пассивного залога для описания любого этапа является
неверным. На этом конкретном этапе фактически допущены три важ
ных пропуска.
• Кто вводит данные покупателя?
• Куда вводятся эти данные?
• Что конкретно подразумевается под «данными покупателя»?
Важно различать и избегать пропусков при написании потоков преце
дентов, даже если об этом можно сказать или догадаться исходя из
контекста. Прецедент должен быть точным описанием части выпол
няемых функций системы!
Если в процессе анализа встречаются неопределенности, пропуски
или обобщения, полезно ставить следующие вопросы.
• Кто именно…?
• Что именно…?
• Когда именно …?
• Где именно …?
106 Глава 4. Моделирование прецедентов
4.5.6.1. Ветвление потока
Спецификация UML не определяет способа представления ветвления
потока.
Мы пользуемся идиомой, которая позволяет представить ветвление
простым способом без записи отдельного альтернативного потока. Для
этого используется ключевое слово Если (If).
Ветвление потока можно сократить, уменьшая число прецедентов, но
пользоваться этим надо умеренно!
Стоит отметить, что некоторые разработчики моделей прецедентов вы
ступают против ветвления в прецедентах. Они утверждают, что если
есть ответвление, значит, должен быть описан новый альтернативный
поток. Строго говоря, этот аргумент заслуживает внимания. Однако
мы занимаем более пракматичную позицию и считаем, что небольшое
простое ветвление потока допустимо, потому что оно сокращает общее
число альтернативных потоков и обеспечивает более компактное пред
ставление требований.
4.5.6.2. Ключевое слово Если (If)
Для представления ответвления потока используйте ключевое слово
Если (If). Пример, приведенный на рис. 4.9, показывает хорошо структу
рированный поток событий с двумя ветвями. Каждая ветвь начинается
Прецедент: ManageBasket
Главные актеры:
Покупатель
Предусловия:
1. Содержимое корзины для покупок является видимым.
Постусловия:
Нет.
Основной поток:
1. Прецедент начинается, когда Покупатель выбирает товарную позицию
в корзине.
2. Если Покупатель выбирает «удалить позицию».
2.1. Система удаляет позицию из корзины.
3. Если Покупатель вводит новое количество.
3.1. Система обновляет количество товаров в корзине.
ID: 2
Краткое описание:
Покупатель меняет количество товаров в корзине.
Альтернативные потоки:
Нет.
Второстепенные актеры:
Нет.
Рис. 4.9. Прецедент с двумя ветвлениями
4.5. Спецификация прецедентов 107
с ключевого слова Если и простого логического выражения, такого как
Если пользователь вводит новое количество, которое может быть истинным
(true) или ложным (false). Структурированный текст под выражением Ес
ли – это то, что произойдет, если логическое выражение истинно. С по
мощью отступов и нумерации можно четко обозначить тело выраже
ния Если без использования слов конец если (endif) или другого заверша
ющего выражение синтаксиса.
Поскольку события ветвления могут произойти, а могут и не произой
ти в зависимости от обстоятельств, они не могут генерировать постус
ловия, которые должны выполняться обязательно. Поэтому ветвление
может сократить число постусловий прецедента.
4.5.6.3. Повторение в потоке
Иногда некоторое действие в потоке событий необходимо повторить
несколько раз. В моделировании прецедентов это встречается не часто,
но на всякий случай полезно иметь некоторую стратегию для обработ
ки таких вариантов.
Спецификация UML не определяет способа представления повторений
в потоке, поэтому мы предлагаем простые выражения с ключевыми
словами Для (For) и Пока (While).
4.5.6.4. Ключевое слово Для (For)
Смоделировать повторение можно с помощью ключевого слова Для.
Формат следующий:
n. Для (выражение, описывающее итерации)
n.1. Сделать чтото
n.2. Сделать чтото другое
n.3. …
n+1.
Выражение, описывающее итерации, – это некоторое выражение, ре
зультат которого – количество итераций. Каждая структурированная
строка после выражения Для повторяется столько раз, сколько опреде
лено в выражении. Пример приведен на рис. 4.10.
4.5.6.5. Ключевое слово Пока (While)
Ключевое слово Пока (While) используется для моделирования последо
вательности действий в потоке событий, которые осуществляются до
тех пор, пока некоторое логическое условие истинно. Формат в данном
случае следующий:
n. Пока (логическое условие)
n.1. Сделать чтото
n.2. Сделать чтото другое
n.3. …
n+1.
108 Глава 4. Моделирование прецедентов
Как и ключевое слово Для, Пока используется не часто. Пример приве
ден на рис. 4.11. Последовательность структурированных строк после
выражения Пока повторяется до тех пор, пока логическое условие, оп
ределенное в блоке Пока, не станет ложным.
4.5.7. Моделирование альтернативных потоков
У каждого прецедента есть один основной поток и может быть множест
во альтернативных потоков.
У каждого прецедента есть основной поток и может быть множество
альтернативных потоков. Они являются альтернативными путями
в прецеденте, которые перехватывают ошибки, ответвления и преры
вания основного потока. Как мы видели, спецификация прецедента
включает основной поток и список имен альтернативных потоков.
Альтернативные потоки часто не возвращаются в основной поток пре
цедента.
ID: 3
Главные актеры:
Покупатель
Предусловия:
Нет.
Основной поток:
1. Прецедент начинается, когда Покупатель выбирает опцию «найти продукт».
2. Система запрашивает у Покупателя критерий поиска.
3. Покупатель вводит запрашиваемый критерий.
4. Система ищет продукты, соответствующие критерию Покупателя.
5. Если система находит соответствующие продукты, тогда
5.1. Для каждого найденного продукта
5.1.1. Система выводит на экран миниатюрное представление продукта.
5.1.2. Система выводит на экран краткое описание продукта.
5.1.3. Система выводит на экран цену продукта.
6. Иначе (Else)
6.1. Система сообщает Покупателю о том, что соответствующие продукты не найдены.
Постусловия:
Нет.
Альтернативные потоки:
Нет.
Прецедент: FindProduct
Краткое описание:
Система ищет некоторые продукты на основании критерия поиска, заданного Покупателем,
и выводит их на экран для Покупателя.
Второстепенные актеры:
Нет.
Рис. 4.10. Моделирование повторений с помощью ключевого слова «Для»
4.5. Спецификация прецедентов 109
Ключевым моментом является то, что альтернативные потоки часто не
возвращаются в основной поток. Это происходит потому, что они
обычно обрабатывают ошибки и исключения основного потока и име
ют другие постусловия. Альтернативные потоки наглядно представле
ны на рис. 4.12.
ID: 4
Главные актеры:
Покупатель
Предусловия:
Нет.
Основной поток:
1. Прецедент начинается, когда Покупатель выбирает опцию «показать данные о компании».
2. Система выводит на экран веб!страницу с данными о компании.
3. Пока Покупатель просматривает данные о компании.
3.1. Система воспроизводит некоторую фоновую мелодию.
3.2. Система отображает специальные предложения в баннере.
Постусловия:
1. Система показала данные о компании.
2. Система воспроизвела фоновую мелодию.
3. Система показала специальные предложения.
Прецедент: ShowCompanyDetails
Краткое описание:
Система выводит данные о компании для Покупателя.
Альтернативные потоки:
Нет.
Второстепенные актеры:
Нет.
Рис. 4.11. Моделирование последовательности действий в потоке
событий с помощью ключевого слова «Пока»
основной поток
альтернативные потоки
Прецедент
Рис. 4.12. Основной и альтернативные потоки
110 Глава 4. Моделирование прецедентов
Альтернативные потоки могут быть задокументированы отдельно или
добавляться в конце прецедента. Мы предпочитаем документировать
их отдельно.
В качестве примера модели прецедента с альтернативными потоками
рассмотрим рис. 4.13.
Как видим, у этого прецедента три альтернативных потока: InvalidEmail
Address (недействительный адрес электронной почты), InvalidPassword
(недействительный пароль) и Cancel (отмена). На рис. 4.14 задокумен
тирован альтернативный поток InvalidEmailAddress.
Обратите внимание, что для ввода альтернативных потоков в шаблон
прецедента было внесено несколько изменений:
• Имя – для альтернативных потоков используется следующая схема
присваивания имен:
Альтернативный поток: CreateNewCustomerAccount: InvalidEmailAddress
Такое имя говорит о том, что это альтернативный поток InvalidEmail
Address для прецедента CreateNewCustomerAccount.
• ID – обратите внимание на применение иерархической системы ну
мерации для обеспечения связи альтернативного потока с основ
ным прецедентом.
Основной поток:
Прецедент:
CreateNewCustomerAccount
Предусловия:
Нет.
Краткое описание:
Система создает новую учетную запись для Покупателя.
Постусловия:
1. Новая учетная запись создана для Покупателя.
Альтернативные потоки:
InvalidEmailAddress
InvalidPassword
Cancel
1. Прецедент начинается, когда Покупатель выбирает опцию «создать новую
учетную запись Покупателя».
2. Пока данные Покупателя недействительны.
2.1. Система просит Покупателя ввести его данные, включая адрес электронной
почты, пароль и еще раз пароль для подтверждения.
2.2. Система проверяет действительность данных Покупателя.
3. Система создает новую учетную запись для Покупателя.
ID: 5
Главные актеры:
Покупатель
Второстепенные актеры:
Нет.
Рис. 4.13. Спецификация прецедента с альтернативными потоками
4.5. Спецификация прецедентов 111
• Актеры – перечислены актеры, принимающие участие в альтерна
тивном потоке.
• Предусловия и постусловия – альтернативные потоки могут иметь собст
венный набор предусловий и постусловий, отличный от набора пре
цедента. Если альтернативный поток возвращается в основной по
ток, его постусловия добавляются к постусловиям основного потока.
• Альтернативный поток – шаги альтернативного потока.
• У альтернативного потока не должно быть альтернативных пото
ков, иначе описание прецедента становится слишком запутанным.
Альтернативные потоки могут быть инициированы тремя разными
способами:
1. Альтернативный поток может быть инициирован вместо основного
потока.
2. Альтернативный поток может быть инициирован после определен+
ного этапа основного потока.
3. Альтернативный поток может быть инициирован в любой момент
в ходе выполнения основного потока.
Если альтернативный поток выполняется вместо основного потока, он
инициируется главным актером и полностью замещает весь прецедент.
Если альтернативный поток инициируется после определенного этапа
основного потока, он должен начинаться следующим образом:
1. Альтернативный поток начинается после шага X основного потока.
Альтернативные потоки:
Альтернативный поток: CreateNewCustomerAccount:InvalidEmailAddress
Предусловия:
1. Покупатель ввел недействительный адрес электронной почты.
Главные актеры:
Покупатель
Постусловия:
Нет.
1. Альтернативный поток начинается после шага 2.2 основного потока.
2. Система сообщает Покупателю, что он ввел недействительный адрес
электронной почты.
ID: 5.1
Краткое описание:
Система сообщает Покупателю, что он ввел недействительный адрес
электронной почты.
Второстепенные актеры:
Нет.
Рис. 4.14. Альтернативный поток InvalidEmailAddress
112 Глава 4. Моделирование прецедентов
Такой поток – это форма ветвления. Она отличается от рассматривае
мого в разделе 4.5.6.1 тем, что является значительным отклонением
от основного потока и может в него больше не вернуться.
Если альтернативный поток может быть инициирован в любой момент
во время выполнения основного потока, начинать его надо следующим
образом:
1. Альтернативный поток начинается в любой момент времени.
Такие альтернативные потоки используются для моделирования того,
что может произойти в любой точке основного потока до заключитель
ного этапа. Например, в прецеденте CreateNewCustomerAccount Customer
может отменить создание учетной записи в любой момент. Поток Cancel
можно задокументировать, как показано на рис. 4.15.
Если альтернативный поток должен вернуться в основной, можно вос
пользоваться следующей формой записи:
N. Альтернативный поток возвращается на шаг M основного потока.
В этом примере альтернативный поток выполняет свой последний
этап N и продолжается выполнение основного потока с этапа M.
4.5.7.1. Выявление альтернативных потоков
Чтобы выявить альтернативные потоки, нужно внимательно изучить
основной поток. На каждом шаге основного потока необходимо искать:
• возможные альтернативы основному потоку;
• ошибки, которые могут возникнуть в основном потоке;
• прерывания, которые могут случиться в конкретной точке основно
го потока;
Альтернативные потоки:
1. Альтернативный поток начинается в любой момент времени.
2. Покупатель отменяет создание учетной записи.
Альтернативный поток: CreateNewCustomerAccount:Cancel
Предусловия:
Нет.
Главные актеры:
Покупатель
Постусловия:
1. Новая учетная запись не была создана для Покупателя.
ID: 5.2
Краткое описание:
Покупатель отменяет процесс создания учетной записи.
Второстепенные актеры:
Нет.
Рис. 4.15. Альтернативный поток Cancel