Извлечение семантики из спецификаций WS-BPEL обработки параллельных процессов в бизнесе на примере

 pdf (651K)

WS-BPEL — это широко распространённый стандарт для спецификации распределенных и параллельных бизнес-процессов. Этот стандарт не подходит для алгебраических парадигм и парадигм направленных графов Петри. Исходя из этого, легко определить бизнес-процесс WS-BPEL с нежелательными особенностями. Именно поэтому проверка бизнес-процессов WS-BPEL очень важна. Цель этой статьи состоит в том, чтобы показать некоторые возможности для преобразования процессов WS-BPEL в более формальные спецификации, которые могут быть проверены. CSP и система обозначений Z используются как формальные модели. Система обозначений Z полезна для спецификации абстрактных типов данных. Web-сервисы могут рассматриваться как своего рода абстрактные типы данных.

Ключевые слова: параллельные бизнес-процессы, спецификация WS-BPEL, семантика
Цитата: Димитров В. Извлечение семантики из спецификаций WS-BPEL обработки параллельных процессов в бизнесе на примере // Компьютерные исследования и моделирование, 2015, т. 7, № 3, с. 445-454
Citation in English: Dimitrov V. Deriving semantics from WS-BPEL specifications of parallel business processes on an example // Computer Research and Modeling, 2015, vol. 7, no. 3, pp. 445-454

Полнотекстовая версия журнала доступна также на сайте научной электронной библиотеки eLIBRARY.RU

Журнал входит в Перечень российских рецензируемых научных журналов, в которых должны быть опубликованы основные научные результаты диссертаций на соискание ученых степеней доктора и кандидата наук ВАК, группы специальностей: 01.01.00, 01.02.00, 03.01.00, 03.02.00.
 

Международная Междисциплинарная Конференция "Математика. Компьютер. Образование"

Международная Междисциплинарная Конференция МАТЕМАТИКА. КОМПЬЮТЕР. ОБРАЗОВАНИЕ.

Журнал включен в базу данных Russian Science Citation Index (RSCI) на платформе Web of Science