Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
ЛАБОРАТОРНАЯ РОБОТА5.doc
Скачиваний:
12
Добавлен:
10.11.2019
Размер:
3.83 Mб
Скачать

Состояния и переходы

Значения атрибутов объекта изменяются, однако не все подобные изменения приводят к переходу между состояниями. Рассмотрим объект BankAccount [банковский счет) и связанное с ним бизнес-правило, по которому банк отказывает-от взимания платы за услуги по ведению счета, когда остаток на счету (balance) яревышает 100000 долларов. Можно сказать, что объект BankAccount переходит в привилегированное (priviledged) состояние. В противном случае объект пребы­вает в обычном состоянии. Остаток на счету (balance) изменяется после каждого перехода, соответствующего операции по снятию/вкладу денег, однако, состояние изменяется только тогда, когда баланс превышает или становится ниже порога в 100000 долларов.

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

Диаграмма состояний

Диаграмма состояний обычно присоединяется к классу, но, в общем случае, она может присоединяться к другим модельным представлениям, например, прецеден­там. Диаграмма состояний, присоединенная к классу, определяет способ реагирова­ния объектов класса на события. Более точно, диаграмма определяет — для каждого состояния объекта — действие (actiori), выполняемое объектом при получении им сиг­нала о событии. Один и тот же объект может выполнять различные действия в ответ на одно и то же событие в зависимости от состояния объекта. Выполнение действия, как правило, вызывает изменение состояния.

Полное описание перехода (transition) состоит из трех частей:

event (parameters) [guard] / action.

Каждая из частей является необязательной. Если строка перехода самоочевидна, допустимо опустить все компоненты. Событие — это кратковременное явление, кото­рое воздействует на объект. Оно может обладать параметрами, например, кнопка мыши нажата (правая_кнопка). Событие может быть защищено ограждающим усло­вием (guard), например, кнопка мыши нажата (правая_кнопка) [внутри окна]. Только в том случае, если условие принимает значение "истина", событие срабатыва­ет и воздействует на объект.

Различие между событием и защитой не всегда очевидно. Это различие состоит в том, что событие "происходит" и оно может быть даже сохранено до тех пор, пока объект не приготовится к его обработке. С этих позиций защитное условие проверя­ется на истинность, чтобы определить, должен ли сработать переход.

Действие (action) представляет собой короткое атомическое вычисление, которое вы­полняется при срабатывании перехода. Действие также может быть связано с состоянием. В общем случае действие — это отклик объекта на обнаруженное событие. Состояние мо­жет содержать более продолжительное вычисление — вид деятельности (activity).

Состояние может состоять из других состояний, которые называются вложенными (nestedstate). Составное состояние (composite state) является абстрактным — это всего лишь родовое имя для всех вложенных состояний. Переход, который берет начало из-за границы составного состояния, означает, что он может сработать от любого из вло­женных состояний. Это делает диаграмму более ясной и лаконичной. Конечно, переход, который берет начало вне границы составного состояния, может сработать от вложенного состояния.

Диаграмма состояний для класса Order показана на Рисунок 5.17. Начальное состоя­ние объекта класса — New Order (новый заказ). Это одно из вложенных состояний со­ставного состояния Pending (ожидающий [заказ]) — к другим относятся состояния Back Order (невыполненный заказ) и Future Order (будущий заказ). Из каждого из этих трех состояний, вложенных в состояние Pending, возможны два перехода.

Рисунок 5.17 - Диаграмма состояний для класса Order (Internet-магазин)

Переход в состояние Canceled (отменен) защищено условием [canceled]. Должна существовать возможность — без изменения правил моделирования состояний — заме­нить защитное условие событием cancel. Переход в состояние Ready to Ship (готов к доставке) помечен полным описанием, содержащим событие, защиту и действие [5].

КОНТРОЛЬНЫЕ ВОПРОСЫ:

  1. В чем состоит необходимость различения объектов-экземпляров и объектов-классов?

  2. Что такое идентичность?

  3. Какими свойствами обладают реальные объекты?

  4. Что такое идентификатор объекта?

  5. В чем заключается различие между временными и постоянными объектами?

  6. Как объекты кооперируются?

  7. Что такое временная и постоянная связь? Каким образом они используются во время вы­полнения программы?

  8. Что такое класс?

  9. Что подразумевают, когда говорят, что тип атрибута обозначает класс? Приведите пример.

  10. Хорошая объектная модель отличается тем, что большинство атрибутов в ней закрытых, а большинство операций — открытых. Почему?

  11. В чем различие между понятиями видимости и области действия операции?

  12. Какой принцип видимости операций?

  13. Что такое ассоциация?

  14. В какой ситуации при моделировании должен использоваться ассоциативный класс? При­ведите пример.

  15. Что такое порядок ассоциации?

  16. Что определяет кратность ассоциации?

  17. Какие виды отношений помимо ассоциации Вы знаете?

  18. Дайте характеристику понятиям ассоциативная связь и объем ассоциации.

  19. Что такое ассоциативный класс?

  20. В чем различие между композицией и агрегацией?

  21. Какие три типа моделей UML Вы знаете?

  22. Объясните смысл замечания о том, что в типичной объектной среде программирования наследование применяется к классам, а не к объектам?

  23. Какова связь между переопределением и полиморфизмом?

  24. Что такое сигнатура?

  25. Что такое поведение системы?

  26. Что такое субъекты?

  27. Что такое диаграмма прецедентов?

  28. Какова структура документа, описывающего прецеденты?

  29. В чем различие между множественной классификацией и множественным наследованием?

  30. В чем преимущества использования абстрактных классов для моделирования?

  31. Объясните, в чем состоят основные отличительные черты и принципиальные отличия меж­ду моделью состояний, моделью поведения и моделью изменения состояний?

  32. Может ли субъект обладать атрибутами и операциями? Объясните свой ответ.

  33. Объясните, какова роль и место диаграммы видов деятельности в системном моделировании?

  34. В чем различие между ветвлением по условию и разделением потоков управления на диа­граммах видов деятельности? Приведите пример.

  35. Что такое классы-сущности?

  36. Что такое обобщение?

  37. Что охватывает моделирование взаимодействий?

  38. Охарактеризуйте моделирование состояний.

  39. Что такое фактический аргумент и что такое формальный аргумент?

  40. В чем состоит различие между действием и деятельностью на диаграмме состояний? При­ведите пример.

СПИСОК ЛИТЕРАТУРЫ:

  1. Карл И. Вигерс. Разработка требований к программному обеспечению. — Русская редакция, 2004. — ISBN 5-7502-0240-2;

  2. Steve McConnell. Rapid Development;

  3. Кобёрн А. Современные методы описания функциональных требований к системам. — М.: Лори, 2002. — ISBN 0-201-70225-8, ISBN 5-85582-152-8;

  4. Леффингуелл Д., Уидриг Д. Принципы работы с требованиями к программному обеспечению. — М.: Вильямс, 2002. — ISBN ISBN 5-8459-0275-4;

  5. Лешек А. Мацяшек. Анализ требований и проектирование систем. – Вильямс, 2002. 432стр.;

  6. Трофимов С.А. CASE-технологии: практическая работа в Rational Rose. Изд. 2-е. – М.: Бином-Пресс, 2002 г. - 288 с.: ил.;

  7. Фаулер М., Скотт К. UML. Оснвы. – Пер. с англ. – СПб:Символ-Плюс,2002. – 192с.,ил.;

  8. Якобсон А., Буч Г., Рамбо Дж. Унифицированный процесс разработки программного обеспечения. — СПб.:Питер, 2002. — 496 с: ил.;

  9. Г. Буч, Д. Рамбо, А. Джекобсон, Язык UML. Руководство пользователя. Перевод с английского.;

  10. http://ru.wikipedia.org;

  11. www.all-eBooks.com;