Издательство СО РАН

Издательство СО РАН

Адрес Издательства СО РАН: Россия, 630090, а/я 187
Новосибирск, Морской пр., 2

soran2.gif

Baner_Nauka_Sibiri.jpg


Яндекс.Метрика

Array
(
    [SESS_AUTH] => Array
        (
            [POLICY] => Array
                (
                    [SESSION_TIMEOUT] => 24
                    [SESSION_IP_MASK] => 0.0.0.0
                    [MAX_STORE_NUM] => 10
                    [STORE_IP_MASK] => 0.0.0.0
                    [STORE_TIMEOUT] => 525600
                    [CHECKWORD_TIMEOUT] => 525600
                    [PASSWORD_LENGTH] => 6
                    [PASSWORD_UPPERCASE] => N
                    [PASSWORD_LOWERCASE] => N
                    [PASSWORD_DIGITS] => N
                    [PASSWORD_PUNCTUATION] => N
                    [LOGIN_ATTEMPTS] => 0
                    [PASSWORD_REQUIREMENTS] => Пароль должен быть не менее 6 символов длиной.
                )

        )

    [SESS_IP] => 18.119.159.196
    [SESS_TIME] => 1733247809
    [BX_SESSION_SIGN] => 9b3eeb12a31176bf2731c6c072271eb6
    [fixed_session_id] => a03557cb15350abf5b63d180a39e0470
    [UNIQUE_KEY] => fd94bc62c2d1bce4511f5617e6c8648c
    [BX_LOGIN_NEED_CAPTCHA_LOGIN] => Array
        (
            [LOGIN] => 
            [POLICY_ATTEMPTS] => 0
        )

)

Поиск по журналу

Вестник НГУЭУ

2013 год, номер 2

МОДЕЛИРОВАНИЕ СЕРВИСНОЙ КОМПОЗИЦИИ С ПОМОЩЬЮ ОКРАШЕННЫХ СЕТЕЙ ПЕТРИ

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

Аннотация

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