• Publications
  • Influence
Modeling Business Processes - A Petri Net-Oriented Approach
  • W. V. Aalst, C. Stahl
  • Business, Computer Science
  • Cooperative Information Systems series
  • 27 May 2011
TLDR
An introduction to the modeling of business information systems, with processes formally modeled using Petri nets. Expand
  • 201
  • 16
  • PDF
Transforming BPEL to Petri Nets
TLDR
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Expand
  • 323
  • 15
  • PDF
Multiparty Contracts: Agreeing and Implementing Interorganizational Processes
TLDR
We propose to use such a process-oriented contract which can be seen as the composition of the public views of all participating parties. Expand
  • 148
  • 12
  • PDF
Service Interaction: Patterns, Formalization, and Analysis
TLDR
A set of service interaction patterns is given to illustrate the challenges in this domain. Expand
  • 118
  • 7
  • PDF
From Public Views to Private Views - Correctness-by-Design for Services
TLDR
We propose to use a process-oriented contract that specifies the composition of the public views of all participating parties. Expand
  • 89
  • 6
  • PDF
A Petri Net Semantics for BPEL
TLDR
We present a pattern-based Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Expand
  • 83
  • 6
  • PDF
Deciding Substitutability of Services with Operating Guidelines
TLDR
We define three substitutability notions for services: accordance, restriction (in two variants), and equivalence. Expand
  • 63
  • 6
  • PDF
Analyzing interacting WS-BPEL processes using flexible model generation
TLDR
We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri net model. Expand
  • 127
  • 5
  • PDF
Deciding service composition and substitutability using extended operating guidelines
TLDR
In this paper, we present an extension of the concept of an operating guideline to characterize all correctly interacting partners of a service P. Expand
  • 36
  • 5
  • PDF
Analyzing Interacting BPEL Processes
TLDR
We present a technology chain that starts out with a BPEL process and transforms it into a Petri net model. Expand
  • 132
  • 4
  • PDF