Все выпуски

[ Switch to English ]

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

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
DOI: 10.20537/2076-7633-2015-7-3-445-454
Creative Commons License Статья доступна по лицензии Creative Commons Attribution-NoDerivs 3.0 Unported License.
Просмотров за год: 6.

Журнал индексируется в Scopus

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

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

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

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