Comparing and evaluating Petri net semantics for BPEL Online publication date:: Sun, 12-Jul-2009
by Niels Lohmann, Eric Verbeek, Chun Ouyang, Christian Stahl
International Journal of Business Process Integration and Management (IJBPIM), Vol. 4, No. 1, 2009
Abstract: We compare two Petri net semantics for the Web Services Business Process Execution Language (BPEL). The comparison reveals different modelling decisions. These decisions together with their consequences are discussed. We also give an overview of the different properties that can be verified on the resulting models. A case study helps to evaluate the corresponding compilers which transform a BPEL process into a Petri net model.
Online publication date:: Sun, 12-Jul-2009
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Business Process Integration and Management (IJBPIM):
Login with your Inderscience username and password:
Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.
If you still need assistance, please email firstname.lastname@example.org