Заключительное замечание

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

3.13 Рабочие продукты Модели состояний

Каждый объект, который имеет модель состояний, документируется предоставлением:

диаграммы переходов в состояния (ДПС);

• таблицы переходов в состояния (ТПС);

• описания каждого действия на диаграмме переходов в состояния (требуется, только если действия занимают слишком много места и не могут поместиться на ДПС).

Список событий

Список событий - это просто список всех событий, которые были определены для всех моделей состояний. Рекомендуемая форма для списка событий показана на рис.3.13.1.

Список событий

МЕТКА	ЗНАЧЕНИЕ	ДАННЫЕ ЗНАЧЕНИЯ	ИСТОЧНИК	ПРЕДНАЗНАЧЕНИЕ
V1	Кнопка нажата	ID печи	кнопка	печь
V2	Назначенное время истекло	ID печи	таймер печи	печь
З1	Лампочка включена	ID лампочки	печь	лампочка
З1	Подаётся напряжение на элемент	ID элемента	печь	силовой элемент
….	….	….	….	….

Рис.3.13.1. Рекомендуемая форма для списка событий.

Мы обнаружили, что электронная таблица, база данных или CASE-средство чрезвычайно полезны для поддержки списка событий. Инструменты такого типа делают его простым для сортировки событий в различном порядке, что облегчает понимание и проверку моделей состояний. В частности, рассматривают сортировку списка событий:

• в алфавитном порядке по метке события;

• по исходной модели состояний;

• по модели состояний предназначения.

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

Эта глава объясняет, как формализовать динамическое поведение связей и как поступать с конкуренцией в анализе.

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

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

Когда мы формализуем отношение в реальном мире как связь на информационной модели, мы сохраняем только статический аспект отношения: должно оно или может ли существовать? То, что мы не сохраняем, представляет собой динамику связи.

Как связь изменяется во времени?

При каких условиях создается или уничтожается экземпляр связи?

Как выбираются экземпляры объектов для участия в связи?

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