ГОСТ Р ИСО/МЭК ТО 10023-93
ся и 8.5.2—8.5.4 соответственно и ссылаются на вспомогательные
определения КУ. приведенные в 8.5.5.
Как конструкция TQOS, так н конструкция TCPerformance. а
также их подструктуры п основном состоят нз декартова произве
дения. образованного функциями проекции, каждая нз которых
лает один множитель значения произведения и булевых функций,
спеинфииируюшнх равенство и частичное упорядочение КУ.как
определено в разделе !0 ГОСТ 34 960
В 85.2 в виде пояснения представлены видовые произведения,
относящиеся к производительности ТС.
П р им еч ани я
1 Порядок, в которой представлены определения КУ, отличается от поряд
ка. представленного в разделе J0 ГОСТ 33 960. что обеспечивает группирование
(о формальном контексте) сходных определений, что облегчает чтение.
2 Представление значений TQOS формально полное только для той облас
ти. которая оказывается необходимой, чтобы обеспечить абстрактную специфи
кацию таких значений, как параметры TSP, и соответствующих требований по
согласованию КУ (см. четвертый абзац раздела 10 ГОСТ 34 96П)
Дополнитель ные функции, позволяющие оценивать КУ при тестирование, и
примеры измере ний не определены Оценка каким-либо образом КУ не связана с
динамическими требованиями, представленными настоящим формализованным
описанием, так как семантика LOTOS абстрагируется от количественных
аспектов, таких как
время и вероятности.
3
В
настоящем описании не указано, является ли значение КУ абсолютным
требованием пользователя или приемлемо также пониженное значение.
Структура параметров КУ режима-без-установления-соедино-
ния представлена в виде декартова произведения параметров
TCTransitDelay, TCProtection. N’CProbabilily и TCPriority.
type TSQuality
is POThreeTuple actualizedhy TCPerformance, TCPriority,
TCProtection using
sortnames
TQOS for ThreeTuplc
TCPerformance for Element
TCPriority for Elcment2
TCProtection for Element.!
Bool for FBool
opnnames
TQOSPerformance for First
TQOSPriority for Second
TQOSProtection for Third
TQOS for Tuple
tndtype (* TSQuality *)
15