C. Stahl

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

An introduction to the modeling of business information systems, with processes formally modeled using Petri nets. Expand

Transforming BPEL to Petri Nets

S. Hinz, K. Wolf, C. Stahl
Computer Science
Business Process Management
5 September 2005

We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Expand

Multiparty Contracts: Agreeing and Implementing Interorganizational Processes

W. V. Aalst, Niels Lohmann, Peter Massuthe, C. Stahl, K. Wolf
Computer Science
Comput. J.
2010

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

Service Interaction: Patterns, Formalization, and Analysis

W. V. Aalst, A. Mooij, C. Stahl, K. Wolf
Computer Science
SFM
22 May 2009

A set of service interaction patterns is given to illustrate the challenges in this domain. Expand

From Public Views to Private Views - Correctness-by-Design for Services

W. V. Aalst, Niels Lohmann, Peter Massuthe, C. Stahl, K. Wolf
Computer Science, Medicine
WS-FM
28 September 2007

We propose to use a process-oriented contract that specifies the composition of the public views of all participating parties. Expand

A Petri Net Semantics for BPEL

C. Stahl
Computer Science
6 July 2005

We present a pattern-based Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Expand

Deciding Substitutability of Services with Operating Guidelines

C. Stahl, Peter Massuthe, Jan Bretschneider
Computer Science
Trans. Petri Nets Other Model. Concurr.
26 March 2009

We define three substitutability notions for services: accordance, restriction (in two variants), and equivalence. Expand

Analyzing interacting WS-BPEL processes using flexible model generation

Niels Lohmann, Peter Massuthe, C. Stahl, D. Weinberg
Computer Science
Data Knowl. Eng.
2008

We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri net model. Expand

Deciding service composition and substitutability using extended operating guidelines

C. Stahl, K. Wolf
Computer Science
Data Knowl. Eng.
1 September 2009

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

Analyzing Interacting BPEL Processes

Niels Lohmann, Peter Massuthe, C. Stahl, D. Weinberg
Computer Science
Business Process Management
5 September 2006

We present a technology chain that starts out with a BPEL process and transforms it into a Petri net model. Expand

Recommended Authors