Все выпуски
- 2024 Том 16
- 2023 Том 15
- 2022 Том 14
- 2021 Том 13
- 2020 Том 12
- 2019 Том 11
- 2018 Том 10
- 2017 Том 9
- 2016 Том 8
- 2015 Том 7
- 2014 Том 6
- 2013 Том 5
- 2012 Том 4
- 2011 Том 3
- 2010 Том 2
- 2009 Том 1
Извлечение семантики из спецификаций WS-BPEL обработки параллельных процессов в бизнесе на примере
Список литературы:
- 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.
- — 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.
- — 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
Международная Междисциплинарная Конференция "Математика. Компьютер. Образование"
Copyright © 2009–2024 Институт компьютерных исследований