МОДЕЛИРОВАНИЕ СЕРВИСНОЙ КОМПОЗИЦИИ С ПОМОЩЬЮ ОКРАШЕННЫХ СЕТЕЙ ПЕТРИ
И.В. Артамонов
Байкальский государственный университет экономики и права, ул. Ленина, д. 11, г. Иркутск. 664003 dark@darkis.ru
Ключевые слова: сервис-ориентированная архитектура, сервис, веб-сервис, сервисная композиция, сети Петри, окрашенные сети Петри, WF-сети
Страницы: 180-187 Подраздел: БИЗНЕС-ИНФОРМАТИКА
Аннотация
Статья описывает свойства сервиса как программной единицы и предлагает рассмотреть аспекты его моделирования с помощью аппарата окрашенных сетей Петри. Для этого сервис представляется как конечное множество операций, обладающих предусловиями и постусловиями вызова. Каждая операция может участвовать в сервисных композициях, а каждая композиция может быть рекурсивно представлена как самостоятельная операция.
|