Контрольные вопросы

1. Поясните назначение статических моделей объектно-ориентированных программных систем.

2. Что является основным средством для представления статических моделей?

3. Как используются статические модели?

4. Какие секции входят в графическое обозначение класса?

5. Какие секции класса можно не показывать?

6. Какие имеются разновидности области действия свойства (операции)?

7. Поясните общий синтаксис представления свойства.

8. Какие уровни видимости вы знаете? Их смысл?

9. Какие характеристики свойств вам известны?

10. Поясните общий синтаксис представления операции.

11. Какой вид имеет форма представления параметра операции?

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

13. Что означают три точки в списке свойств (операций)?

14. Как организуется группировка свойств (операций)?

15. Как ограничить количество экземпляров класса?

16. Перечислите известные вам «украшения» отношения ассоциации.

17. Может ли статическая модель программной системы не иметь отношений ассоциации?

18. Какой смысл имеет квалификатор? К чему он относится?

19. Какие отношения могут иметь пометки видимости и что эти пометки обозначают?

20. Какой смысл имеет класс-ассоциация?

21. Чем отличается агрегация от композиции? Разновидностями какого отношения (в UML) они являются?

22. Что обозначает в UML простая зависимость?

23. Какой смысл имеет отношение обобщения?

24. Какие недостатки у множественного наследования?

25. Перечислите недостатки ромбовидной решетки наследования.

26. В чем смысл отношения реализации?

27. Что обозначает мощность «многие-ко-многим» и в каких отношениях она применяется?

28. Что такое абстрактный класс (операция) и как он (она) отображается?

29. Как запретить полиморфизм операции?

30. Как обозначить корневой класс?

Глава 12. Динамические модели объектно-ориентированных программных систем

Динамические модели обеспечивают представление поведения систем. «Динамизм» этих моделей состоит в том, что в них отражается изменение состояний в процессе работы системы (в зависимости от времени). Средства языка UML для создания динамических моделей многочисленны и разнообразны [8], [23], [41], [53], [67]. Эти средства ориентированы не только на собственно программные системы, но и на отображение требований заказчика к поведению таких систем.

Моделирование поведения программной системы

Для моделирования поведения системы используют:

• автоматы;

• взаимодействия.

Автомат (State machine) описывает поведение в терминах последовательности состояний, через которые проходит объект в течение своей жизни. Взаимодействие (Interaction) описывает поведение в терминах обмена сообщениями между объектами.

Таким образом, автомат задает поведение системы как цельной, единой сущности; моделирует жизненный цикл единого объекта. В силу этого автоматный подход удобно применять для формализации динамики отдельного трудного для понимания блока системы.

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

Автоматы отображают с помощью:

• диаграмм схем состояний;

• диаграмм деятельности.

Взаимодействия отображают с помощью:

• диаграмм сотрудничества (кооперации);

• диаграмм последовательности.