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