ГОСТ Р ИСО/МЭК ТО 10023—93
лля пользователя транспортных услуг. Это достигается при помо-
шн идентификатора оконечного пункта ТС — tcei, который пере
дается с каждым сервисным примитивом на каждый ПДУТ. Сле
довательно, требуется, чтобы:
a) на любом ПДУТ в любой момент времени никакой tcei не
мог быть назначен более чем одному TConnection и
b
) каждый TConnection использовал один и тот же tcei на каж
дом ПДУТ в течение всего времени существования ТС. который он
представляет.
Если последнее ограничение можно специфицировать внутри •
определения TConnection (см. 11.2), то первое ограничение имеет
более глобальный характер и ниже представлено процессом
ТС Identification.
Для каждого ПДУТ хранится след используемых идентифика
торов оконечного пункта ТС при помощи параметра Use. который
являетсямножеством пар вида Tfd- TAddressXTCEl(см.
TCEldentification в 8.3). Определение TCEIdentifications представ
ляет зги множества Use вначале пустыми. Пара(ta. tcei) нахо
дится в Use тогда и только тогда, когда tcei назначается некоторо
му ТС. имеющему доступ к ПДУТ с адресом ta.
TCIdent позволяет передавать любой запрос или индикацию
^СОЕДИНЕНИЕ любому заданному ПДУТ с адресом ta только
с таким tcei, чтобы пара (ta, tcei) не присутствовала в Use. На
другие примитивы
что
ограничение не налагается, но при выпол
нении примитива Т-РАЗЪЕДИНЕНИЕ соответствующая пара (ta,
tcei) удаляется из Use.
П р и м е ч а н и е — Необходимо учитывать следующую техническую деталь:
lnsert(e. s> -(e ) U s. Следовательно, Insert(е, s ) - s всякий раз, когда е С s.
^
.....^^/
type TCEIdentifications
is Set actualizedby TCEldentification using
sortnames
TId for Element
Bool for FBool
TIds for Set
endtype (* TCEIdentifications *)
process TCldentification (t] : noexit : =
TCIdent ft] ({ ) of Tlds)
endproc (* TCldentification •)
process TCIdent ft] (Use : Tlds) : noexit
i ?ta : TAddress ?tcei : TCEI ?tsp : TSP flsTCON! (tsp)implies
(TId(ta, tcei) Notin Use)];