Основы объектно-ориентированного проектирования


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


Рис. 12.10 подводит итог предшествующего обсуждения, показывая различные возможные состояния, в которых могут находиться объекты и процессоры, и их изменения в результате вызовов.

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

Состояния объектов и процессоров и переходы между ними

Рис. 12.10.  Состояния объектов и процессоров и переходы между ними




Начало  Назад  Вперед



Книжный магазин