Рассмотрено применение математического аппарата граф-схем алгоритмов и детерминированных конечных автоматов для описания функционирования сервис-ориентированных приложений. В качестве объекта исследования выбраны Web-сервисы с типовой внутренней архитектурой провайдера услуг.