Общие формы жизненных циклов Циркулярный Объект имеет операционный цикл поведения. Рождение-смерть Экземпляры создаются и уничтожаются в пределах времени жизни анализируемой системы.

Циркулярный

Рождение-смерть

Формирование жизненных циклов 1.Взгляд снаружи. Черный ящик Модель состояний используется для описания внешне различимого поведения системы 2.Взгляд изнутри. Белый(светлый) ящик Модель состояний используется для описания подробностей поведения изнутри системы.

Эти инциденты абстрагируются как события

Черный ящик

Белый(светлый) ящик

Жизненные циклы для подтипов и супертипов 1.Миграция подтипов Когда экземпляр объекта супертипа мигрирует между объектами подтипа, жизненный цикл может быть изображен на уровне супертипа илим подтипа.

Жизненные циклы для подтипов и супертипов 2. Немигрирующие подтипы Когда экземпляр объекта супертипа остается экземпляром одного подтипа на протяжении всего существования.

Необходимость формирования жизненных циклов

Анализ отказов

Моделирование нормального, желательного поведения объектов в моделях состояний. Добавление состояний, событий и действий к моделям нормального поведения, чтобы охватить анормальное поведение

Ключевая проблема Идентификация источников ошибок и отказов. 2 подхода к решению: 1.Исследование внешнего процесса 2.Сквозной контроль ООА моделей

Исследование внешнего процесса

Сквозной контроль ООА моделей

Динамика связей

Жизненный цикл связей

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

Конкурирующие связи: монитор

Конкурирующие связи: общий случай Информационная модель Модели состояний для участвующих объектов Модель состояний Определителя, первый набросок Корректировка МС Определителя Корректировка МС объектов

Первый набросок в виде монитора.

Конкурирующие связи с жизненными циклами экземпляров Агенство размещения собак.

Динамики системы как единого целого