Пример спецификации прецедентов

Обращаясь к постановке задачи для системы «Запись науниверситетские курсы» установим прецеденты на основеанализа функциональных требований.

На рисунке3 показана обобщенная диаграмма прецедентов дляприложения «Запись на университетские курсы». Модель содержитчетыре субъекта и четыре прецедента. Каждый прецедент инициируетсясубъектом и является завершенным, внешне видимым и ортогональнымфрагментом функциональных возможностей. Все субъекты, заисключением субъекта Student, представляют собой инициирующихсубъектов. Субъект Student получает результаты экзаменов и инструкциипо записи на учебные курсы перед тем, как программа обучения вследующем семестре (учебном периоде) может быть введена и проверена.

Прецедент ProvideExaminationResults (Предоставить результатыэкзаменов) может «расширить» («extend») прецедент ProvideEnrolmentInstructions (Предоставить инструкции по записи). Первый прецедент не всегда расширяет последний прецедент. Например, для новых студентоврезультаты экзаменов неизвестны. Вот почему отношение моделируется сиспользованием стереотипа расширения («extend»), а не включения («include»).

Отношение «include» было установлено от прецедента EnterProgramofStudy (Ввести программу обучения) к прецеденту ValidateProgramofStudy (Проверить программу обучения). Отношение «include» означает, что первый из прецедентов всегда включаетпоследний. Как только программа изучения введена, она проверяется напредмет конфликтов расписания, специальных согласований и т.д.

Рисунок 3 – Обобщенная диаграмма прецедентов для приложения «Запись науниверситетские курсы»

Выявление видов деятельности

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

Виды деятельности лучше всего выявлять на основе анализапредложений неформальной спецификации прецедентов. Каждая фраза,содержащая глагол, может рассматриваться как потенциальный виддеятельности. Описание альтернативных потоков вводит в граф видовдеятельности ветвление и разделение потоков.

Они приводят к исключительным (непредвиденным) состояниямдеятельности. Возможны также параллельные потоки управления.

Спецификация видов деятельности

После выявления состояний видов деятельности спецификациявидов деятельности выглядит как довольно простой процесс соединенияэтих состояний линиями переходов.

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

Внешние события на графе видов деятельности обычно отсутствуют.

Однако существует графический метод включения внешних событий вграф. Аналогично существуют графические обозначения для состоянийпотоков объектов для представления объектов, которые являютсявходными или выходными для вида деятельности.

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

Выявление последовательностей сообщений является логическимпродолжением моделирования видов деятельности. Виды деятельности,представленные на соответствующей диаграмме, отображаются насообщения диаграммы последовательностей.

Если уровни абстракции, используемые для построения моделивидов деятельности и модели последовательностей, совпадают, тоосуществить отображение видов деятельности на сообщения довольнопросто.

Спецификация последовательностей сообщений

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