ГОСТ
Р
ИСО.’МЭК ТО 10023-93
си без изменения. Этот «бедэффсктиый
подход на индикации соблюдается так
же и во втором определении
Второе определение расширяет основной тип данных четырьмя
операциями, необходимыми для формулировки межоконечных or-
Р "a^Reduce — описывает историю своего верхнего элемента (т. с.
самого раннего по времени выполненного запроса).
b)Remove — удаляет заданный запрос из заданной истории,
если последний имеет далее много экземпляров, то удаляется пер-
BU’c)J Append - добавляет запрос к истории в качестве последнего
элемента. Заметим, что Append действует как OnTopOf, но с дру
о онца ис ории.
__
гог
d)
к
Tops —
т
создаст историю, состоящую из тех примитивов
„
в
аргументе истории, которые могут привести к последующей инди-
^Введены также другие функции, а именно TDISTopsи
TEXDISTops. для выразительности определения,luibiops
TEXDISTops дают непосредственные результаты для вычисления
Т-ДАННЫЕ < Т-СРОЧНЫЕ
Т° РВ соответствии с таблицей 1 ГОСТ 34.960 определен следую
щий порядок значимости примитивов:
-ДАННЫЕ
< Т-РАЗЪЕДИНЕНИЕ.
Т-СОЕДИНЕНИЕ < Т-РАЗЪЕДИНЕНИЕ.
причем между примитивами одной услуги нет и°ря^а значимости.
Tops определяется следующим образом: для любого данного
значения rh вида TReqHistory, Tops(rh) представляет собой после
довательность запросов, которая:
a) содержит только запросы различных услуг, и
b
) содержит запрос t тогда и только тогда, когда t содержи с .
в rh и все запросы перед ним в rh (т. е. выполненные раньше по
времени) являются ниже по значимости, чем t. и
c) сохраняет порядок запросов в rh.
sorts
TreqHistory
opns
NoTReqs
_OnTopOf-
:
: TSP. TreqHistory
’ )
type TransportServiceBasicTSPRequestHistory
is TransportServicePrimitivc
- > TreqHistory
-> TreqHistory
40