Извлечение семантики из спецификаций 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.

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

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

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

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

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

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