Электронный каталог: Язык формального описания протоколов и сервисов. ( Базовые средства языка)