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

Autor:	Vladimir Dimitrov
Jazyk:	ruština
Rok vydání:	2015
Předmět:	parallel business processes specification WS-BPEL semantics Applied mathematics. Quantitative methods T57-57.97 Mathematics QA1-939
Zdroj:	Компьютерные исследования и моделирование, Vol 7, Iss 3, Pp 445-454 (2015)
Druh dokumentu:	article
ISSN:	2076-7633 2077-6853
DOI:	10.20537/2076-7633-2015-7-3-445-454
Popis:	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.
Databáze:	Directory of Open Access Journals
Externí odkaz:	https://doaj.org/article/7d3f7f18f93a4e5d825c15a70231eca4 Zobrazit plný text záznamu View record in DOAJ