Последовательные процессы
События отличаются от других понятий мгновенным характером свершения и привязкой к моменту времени. Употребление временных меток для событий позволяет ввести специфичные только для событий отношения.
Пусть событие 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;