Deriving semantics from WS-BPEL specifications of parallel business processes on an example
Vladimir Dimitrov · Computer Research and Modeling · 2015
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.