Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

15

BPM
2005
Springer

favoriteEmaildiscussreport

129views Business» more BPM 2005»

Transforming BPEL to Petri Nets

13 years 10 months ago

Transforming BPEL to Petri Nets

Download www2.informatik.hu-berlin.de

We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional behaviour (e.g. faults, events, compensation). The semantics is implemented as a parser that translates BPEL speciﬁcations into the input language of the Petri net model checking tool LoLA. We demonstrate that the semantics is well suited for computer aided veriﬁcation purposes. Key words: Business process modeling and analysis, Formal models in business process management, Process veriﬁcation and validation, BPEL, Petri nets

Sebastian Hinz, Karsten Schmidt 0004, Christian St

Real-time Traffic

BPM 2005 | Business | Business Process | Petri Nets | Semantics |

claim paper

Related Content

» Analyzing Interacting BPEL Processes

» A Petri Net Approach to Analysis and Composition of Web Services

» Verifying web services composition based on hierarchical colored petri nets

» Compatibility Analysis and MediationAided Composition for BPEL Services

» Static Information Flow Analysis of Workflow Models

» Translating unstructured workflow processes to readable BPEL Theory and implementation

» Choreography Conformance Checking An Approach based on BPEL and Petri Nets

» A structural encoding technique for the synthesis of asynchronous circuits

» Petri Net Transformations in the Petri Net Baukasten

Post Info
More Details (n/a)

Added	26 Jun 2010
Updated	26 Jun 2010
Type	Conference
Year	2005
Where	BPM
Authors	Sebastian Hinz, Karsten Schmidt 0004, Christian Stahl

Comments (0)