Методология введения количественного анализа в язык описаний и спецификаций требований к алгоритмам протоколов интеллектуальных сетей

Abstract

Формализован процесс приоритетного обслуживания мультимедийного трафика базовыми интеллектуальными узлами коммутации интеллектуальных сетей. Предложена методология введения математических моделей количественного анализа в процесс спецификации и описания требований к протоколам базовых интеллектуальных узлов коммутации. Представлен фрагмент языка описания, моделирования и спецификации SMDL.