Все выпуски

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

 pdf (651K)  / Аннотация

Список литературы:

  1. Z formal specification notation — Syntax, type system and semantics. — ISO/IEC 13568:2002, Information technology. — http://www.iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?csnumber=21573.
  2. OASIS, Web Services Business Process Execution Language Version 2.0, OASIS Standard, 11 April 2007. — http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html.
  3. W3C, Web Services Description Language (WSDL) 1.1, W3C Note 15 March 2001. — http://www.w3.org/TR/wsdl.

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

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

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

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

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