Последовательные процессы

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

Пусть событие ev принадлежит множеству Ev, а момент времени t – множеству Т, тогда между событиями и моментами времени можно установить соответствие t: Ev ® Т, состоящее в приписывании событию ev Î Ev момента времени t Î Т. Так как для элементов множества Т определено отношение полного порядка, то с помощью соответствия оно может быть задано и для элементов множества Ev. При таком способе определения порядка для событий ev Î Ev мы имеем дело с так называемой абсолютной временной шкалой. Но кроме абсолютных шкал могут использоваться относительные шкалы, когда за начальную точку отсчета принимается момент времени наступления некоторого события, используемого в описании данного фрагмента действительности. В этом случае можно определить взаимный порядок событий без привлечения конкретных значений моментов времени t. Так, в предложении «После того как студент Петров пришел домой с занятий в институте, он отправился в кино» можно выделить события:

ev1 – событие, заключающееся в том, что студент Петров приходит домой с занятий в институте,

ev2 – событие, заключающееся в том, что студент Петров идет в кино, и явное указание на относительный порядок этих событий с помощью операции ПОСЛЕ, которую можно определить выражением

ПОСЛЕ (U, V) ВРЕМЯ (U) & ВРЕМЯ (V) & БОЛЬШЕ (U, V),

где переменные U, V - события.

Аналогично могут быть определены на событиях отношения

ОДНОВРЕМЕННО (U, V) ВРЕМЯ (U) & ВРЕМЯ (V) & РАВНО (U, V),

ДО (U, V) ВРЕМЯ (U) & ВРЕМЯ (V) & МЕНЬШЕ (U, V).

Таким образом, для событий кроме отношений агрегации и обобщения могут быть введены дополнительные отношения ОДНОВРЕМЕННО, ДО и ПОСЛЕ и т. д., связанные с привязкой событий к временной шкале.

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

Можно выделить три класса процессов:последовательные, рекурсивные и ветвящиеся.

Если ev – событие, а p – процесс, то, следуя системе обозначений, предложенной Ч. Хоаром в работе, можно записать выражение (ev ® p), которое описывает тот факт, что сначала наступает событие ev, а затем выполняется процесс p, т.е. операция ® отражает отношение следования между некоторым событием и процессом. Событие ev называется префиксом.

Пусть процесс определен выражением (ev1 ® ev2 ®p) = (ev ® p).

Событие ev, заключающееся в том, что сначала наступает событие ev1, а затем событие ev2, назовем следованием и будем обозначать выражением ev = seq (ev1, ev2). Тогда семантика следования определяется тем, что вначале осуществляется отображение, определяемое интенсионалом события ev1

intsev1 : D ® D1.

а затем отображение, определяемое интенсионалом события ev2,

intsev2: D1 ® D2,

т. е. при последовательном наступлении событий интенсионал результирующего события ev определяется композицией интенсионалов событий ev1 и ev2

intsseq (ev1, ev2) = intsev1 ¡ intsev2.

Если интенсионалы событий ev1 и ev2 определить логическими формулами

intLev1 = Рrе (ev1) ® Post (ev1),

intLev2 = Рrе (ev2) ® Post (ev2)
и учесть, что для последовательных событий справедливо соотношение

Рrе (ev2) = Post (ev1),
то для интенсионала события ev = seq (ev1, ev2) будем иметь

intLseq (ev1, ev2) = Рrе (ev1) – Post (ev2).

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








Дата добавления: 2016-03-05; просмотров: 926;


Поиск по сайту:

При помощи поиска вы сможете найти нужную вам информацию.

Поделитесь с друзьями:

Если вам перенёс пользу информационный материал, или помог в учебе – поделитесь этим сайтом с друзьями и знакомыми.
helpiks.org - Хелпикс.Орг - 2014-2024 год. Материал сайта представляется для ознакомительного и учебного использования. | Поддержка
Генерация страницы за: 0.004 сек.