Work

Comparing and evaluating Petri net semantics for BPEL

Year: 2009

Type: article

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.

Source: International Journal of Business Process Integration and Management

DOI: 10.1504/ijbpim.2009.026986

Authors: Niels Lohmann, Eric Verbeek, Chun Ouyang, Christian Stahl

Institutions: University of Rostock, Eindhoven University of Technology, Queensland University of Technology, Humboldt-Universität zu Berlin

Language: English

Topic: Business Process Modeling and Analysis

Subfield: Management Information Systems

Field: Business, Management and Accounting

Domain: Social Sciences

Open Access status: green

Funders: Deutsche Forschungsgemeinschaft, Humboldt-Universität zu Berlin, Australian Research Council

OpenAlex ID: W1537464421

FWCI: 11.91

Cites: 42

Cited by: 41

Related to: 10