1. Элементы процесса как поведенческой категории :

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

Действие – переход от одного состояния к другому.

Асинхронность – отсутствие ограничения на относительных – длительность, состояние и действие, т.е. длительность-состояние и длительность-действие имеют конечную продолжительность.

Согласованность – свойство, отражающее причинно-следственную связь между состояниями. Переход из одного состояния в другое происходит только после окончания первого.

Событие – мгновенное действие, которое в рассматриваемой нами модели не имеет продолжительности.

Ситуация – сочетание условий и обстоятельств, создающих определенную обстановку.

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

Будем рассматривать 2 вида асинхронных процессов при моделировании :

1. Дескриптивный асинхронный процесс (dp)

DP – четверка <S, F, J, R>, в которой:

Билет 4

S – не пустое множество ситуаций;

F – бинарное отношение, определенное на множестве P(S) подмножеств ситуаций, которое некоторому подмножеству ситуаций αP(S) ставит в соответствие подмножество βP(S) такое, что α ≠ β;

J – множество инициаторов, входящих в множество P(S) ( P(S)), таких что:

•  i  J  , что iF

• Если iF, где   J, т.е. F следует, что   J

• Для  i  J не  , причем J, такого что Fi

R – множество результантов, причем R P(S):

•  r  R, если rF, то R

•  r  R  , что Fr

2. Асинхронный процесс (ap)

Эта модель ориентирована в основном на анализ свойств системы и решение вопросов ее аппаратной реализации.

Уточнение: асинхронность в этой модели подчеркивает, что категория времени формально не фигурирует в определении. Привязка к сущности времени осуществляется с помощью отношения F, т.е. если F, то время перехода из подмножества ситуаций  в подмножество ситуаций  не определено, но конечно.

Введение отношения F может пониматься как отношение следования и представляет собой логическую необходимость.

F:

 - подмножество (совокупность) причин;

 - совокупность следствий.

2. Инициаторы

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

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

Асинхронный процесс – четверка <S, E, I, R>, в которых:

S – непустое множество системы;

E – отношение непосредственного следствия ситуаций, определенная на множестве SS, т.е. E  SS – бинарное (декартово) множество;

I – множество инициаторов, при этом I является подмножеством ситуаций S, т.е. I  S, причем таких, где:

• если iES_K, где i  I, S_K  I

R – множество результантов, R  S, при этом r  S, r  R, то и S  R.