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

Dimitrov V.
 pdf (651K)  / List of references

WS-BPEL is a widely accepted standard for specification of business distributed and parallel processes. This standard is a mismatch of algebraic and Petri net paradigms. Following that, it is easy to specify WS-BPEL business process with unwanted features. That is why the verification of WS-BPEL business processes is very important. The intent of this paper is to show some possibilities for conversion of a WS-BPEL processes into more formal specifications that can be verified. CSP and Z-notation are used as formal models. Z-notation is useful for specification of abstract data types. Web services can be viewed as a kind of abstract data types.

Keywords: parallel business processes, specification WS-BPEL, semantics
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
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
URL: http://crm-en.ics.org.ru/journal/article/2291/
Creative Commons License This work is licensed under a Creative Commons Attribution-NoDerivs 3.0 Unported License.
Views (last year): 6.

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