Диаграммы перехода состояний

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

Моделируемая система в текущий момент времени находится только в одном состоянии из всего множества состояний. В течение времени она может изменить свое состояние и тем самым перейти в следующее из заданного множества состояний. Для перехода в состояние необходимо какое-либо условие – условие перехода. Оно может быть информационным или временным.

Основные объекты:

Состояние – рассматривается как устойчивое значение некоторого свойства в течение определенного времени.

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

Переход – определяет перемещение моделируемой системы из одного состояния в другое. Имя перехода – событие, которое вызвало этот переход.

Триггер – логическое выражение, написанное на макроязыке, которое показывает условие перехода в данное состояние.

Условие перехода – событие, вызывающее переход и идентифицируемое именем перехода.

Объект	Нотация	Гейна-Сарсона	Йодана	SAG
Состояние
Начальное состояние
Переход			условие по данным   условие по времени

4. Диаграммы инфологических моделей «сущность-связь»

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

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

Основные объекты:

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

Отношение – связь между двумя и более сущностями

Независимая сущность – представляет независимые данные, которые всегда существуют в системе

Зависимая сущность – представляет данные, которые зависят от других сущностей.

Объект	нотация	Чена	Беркера	SADT	SAG
Независимая сущность
Зависимая сущность
Отношение (связь)
Мощность отношения:
1:1
1:N
N:N
Возможность поддержания иерархических отношений	Нет	Нет	Нет	Да
Необязательное отношение (ограничение)
Категоризация сущности	….	…	….	…
Отражение ключевых атрибутов	-	-	PK - первичный FK - наследуемый	i