Технологии разработки программного обеспечения

       

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


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

q       автоматы;

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

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

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

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

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

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

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

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

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

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

 



Содержание раздела