abstract: Анализируется возможность формализации задач компьютерной телефонии с целью синтеза предоставляемых услуг «на лету». Главной задачей этих исследований является создание средств и технологий, обеспечивающих универсальную полноту синтезируемых систем на разных уровнях проектирования. Для этого к общей задаче предоставления услуг компьютерной телефонии применяется метод декомпозиции больших систем. Предложен метод синтеза формальных объектов для формирования услуг компьютерной телефонии при помощи сетей Петри.
keywords: компьютерная телефония, сеть петри, декомпозиция