3.11 Когда формируются жизненные циклы

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

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

Рис.3.10.3. Жизненные циклы для подтипов Бака-Смесителя.

Рис.3.10.4. Срощенные модели состояний для супертипно-подтипных объектов.

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

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

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

Рис.3.11.1. Экземпляры этого объекта приобретают значения для своих атрибутов на протяжении своих жизненных циклов.

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

Объект производится или возникает поэтапно. Объект, который возникает шаг за шагом, должен иметь формализованный жизненный цикл.

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

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

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

Пассивные средства обслуживания. Если объект представляет собой средства обслуживания, которые являются полностью пассивными, его жизненный цикл, скорее всего, не должен формализоваться. Например, объект Здание на рис.3.10.1 полностью пассивен, хотя содержит оборудование, которое имеет существенное динамическое поведение.

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

3.12 Анализ отказов Анормальное поведение

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

Цель анализа отказов состоит в том, чтобы изучить воздействие определенных видов сбоев и ошибок и оценить используемые стратегии. Более высокой целью является обычно поддержка или восстановление управления индустриальным или другим внешним процессом. В результате анализ отказов часто ведет к утверждению поначалу не ожидаемых требований, установке дополнительных датчиков, формализации производственных процедур на предприятии и т.п.