Deriving semantics from WS-BPEL specifications of parallel business processes on an example

Dimitrov V.
 pdf (651K)  / Annotation

List of references:

  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.

Indexed in Scopus

Full-text version of the journal is also available on the web site of the scientific electronic library eLIBRARY.RU

The journal is included in the Russian Science Citation Index

The journal is included in the RSCI

International Interdisciplinary Conference "Mathematics. Computing. Education"

Copyright © 2009–2024 Institute of Computer Science