fo c t
P
ИСбуМЭК TO 10023-М
TConnection [t] > > stop
III
TConnections |tj
endproc (* TConnections
<*________________________________
10 ОБЕСПЕЧЕНИЕ ТРАНСПОРТНОГО СОЕДИНЕНИЯ
Требования к поведению поставщика услуг, связанные с обес
печение^ одного ТС, распадаются на два класса, а именно ограни
чения, которые являются локальными для оконечной точки ТС, и
межоконечные ограничения. Ограничения первого класса связаны
с поведением в оконечной точке ТС в зависимости от истории при
митивов, выполненных в этой же оконечной точке ТС. Ограничения
второго классе связаны с поведением в оконечной точке ТС в за
висимости от истории примитивов, выполненных в другой оконеч
ной точке ТС.
Следует формально определить подходящее понятие «история».
В частности, удобно принимать во внимание только те события,
которые могут влиять на будущее поведение поставщика услуг,
не учитывая, таким образом, те события, которые ни на что
больше не влияют: такое понятие известно как «влияющая
история». Для локальных ограничений влияющая история
представленасостоя нием
процесса в соответствии с диаграммой переходов состояний,
представленной на рисунке 5 ГОСТ 34.960. Для межоконечных
ог раничений влияющая история представлена параметрами
процес са, чья структура и операции формулируютсяпри
помощиспе
циально созданного определения типа данных (см. 12.3.2).
Эти операции позволяют формулировать требования,
соответствующие таблице 1 и рисунку 4 ГОСТ 34.960, способом,
не зависящим ог
модели.
Локальные органкчения представлены двумя независимыми па
раллельными процессами, представляющими собой два разных эк
земпляра процесса ТАЕР (см. раздел 11) и соответственно ограни
чивают взаимодействия с вызывающим и вызываемым пользовате
лями транспортных услуг. TSUserRole определяет роли вызывающе
го и вызываемого пользователя транспортных услуг.’ Межоконеч
ные ограничения представлены процессом TCEPAssociation(см.
раздел 12), который соотносит индикации, возникающие на каж
дом конце ТС. с соответствующими запросами, возникающими на
другом конце ТС. TSPDirection определяет направления примити
вов запроса и индикации в полном соответствии с разделом 5.
32