From Public Views to Private Views – Correctness-by-Design for Services (2009)
Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf
Abstract. Service orientation is a means for integrating across diverse systems. Each resource, whether an application, system, or trading partner, can be accessed as a service. The resulting...
Multiparty Contracts: Agreeing and Implementing Interorganizational Processes (2009)
Peter Massuthe, Christian Stahl, Karsten Wolf
Abstract. A contract specifies an interorganizational process together with a distribution of responsibilities for the activities among the parties involved. In this paper, we formally show how a...
An Approach to Tackle Livelock-freedom in SOA (2009)
Abstract. We calculate a fixed finite set of state space fragments for a service P, where each fragment carries a part of the whole behavior of P. By composing these fragments according to the...
A Finite Representation of all Substitutable Services and its Applications (2009)
Jarungjit Parnjai, Christian Stahl, Karsten Wolf
Abstract. We present a finite representation of all substitutable services P ′ of a given service P. We show that our approach can be used for at least two applications: (1) given a finite set of...
K.: Extending the compatibility notion for abstract WS-BPEL processes (2009)
Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf
Abstract. WS-BPEL defines a standard for executable processes. Executable processes are business processes which can be automated through an IT infrastructure. The WS-BPEL specification also...
K.: Extending the compatibility notion for abstract WS-BPEL processes (2009)
Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf
Abstract. WS-BPEL defines a standard for executable business processes. Executable processes are business processes which can be automated through an IT infrastructure. The WS-BPEL specification also...
From Public Views to Private Views – Correctness-by-Design for Services (2009)
Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf
Abstract. Service orientation is a means for integrating across diverse systems. Each resource, whether an application, system, or trading partner, can be accessed as a service. The resulting...
A Price of Service in a Compositional SOA Framework (2008)
Kees Van Hee, Natalia Sidorova, Christian Stahl, Eric Verbeek
Abstract. In this paper we propose a framework for SOA covering such important features as proper termination (soundness) and correct correlation of tasks. Within this framework, we define a method...
Comparing and Evaluating Petri Net Semantics for BPEL (2008)
Niels Lohmann, Eric Verbeek, Chun Ouyang, Christian Stahl
Abstract. We compare two Petri net semantics for the Web Services
Analysis Techniques for Service Models (Invited Paper) (2008)
Wolfgang Reisig, Dirk Fahl, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, ...
provides a framework for interorganizational business processes and for the emerging programming-in-the-large. The basic idea of SOC, the interaction of services, rises a lot of issues such as proper...
Services as a Paradigm of Computation (2008)
Wolfgang Reisig, Jan Bretschneider, Dirk Fahl, Niels Lohmann, Peter Massuthe, Christian Stahl
Abstract. The recent success of service-oriented architectures gives rise to some fundamental questions: To what extent do services constitute a new paradigm of computation? What are the elementary...
Enhanced GALS Techniques for Datapath Applications (2008)
Eckhard Grass, Frank Winkler, Miloš Krsti, Ra Julius, Christian Stahl, Maxim Piz
Abstract. Based on a previously reported request driven technique for Globally-Asynchronous Locally-Synchronous (GALS) circuits this paper presents two significant enhancements. Firstly, the...
Copyright © XXXX Inderscience Enterprises Ltd. An SOA-based architecture framework (2008)
Michael Beisiegel, Dieter König, Christian Stahl
Abstract: We present an Service-Oriented Architecture (SOA)-based architecture framework. The architecture framework is designed to be close to industry standards, especially to the Service...
Hazard Detection in a GALS Wrapper: a Case Study (2008)
Christian Stahl, Wolfgang Reisig
An asynchronous wrapper of a fabricated GALS system is analyzed for hazards. For this purpose a Petri net based modelling approach of this GALS wrapper is presented. In our model the question whether...
Hazard Detection in a GALS Wrapper: a Case study (2008)
Christian Stahl, Wolfgang Reisig, Milos Krstic
An asynchronous wrapper of a fabricated GALS system is analyzed for hazards. For this purpose a Petri net based modelling approach of this GALS wrapper is presented. In our model the question whether...
Deciding Substitutability of Services with Operating Guidelines (2008)
Stahl, Christian, Massuthe, Peter, Bretschneider, Jan
Deciding whether a service S can be substituted by another service S0 is an important problem in practice and one of the research challenges in service-oriented computing. In this paper, we define...
Deciding Substitutability of Services with Operating Guidelines (2008)
Stahl, Christian, Massuthe, Peter, Bretschneider, Jan
Deciding whether a service S can be substituted by another service S0 is an important problem in practice and one of the research challenges in service-oriented computing. In this paper, we define...
D.: Analyzing interacting WSBPEL processes using flexible model generation (2008)
Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg
Abstract. We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri net model....
Analyzing Interacting BPEL Processes (2006)
Lohmann, Niels, Massuthe, Peter, Stahl, Christian, Weinberg, Daniela
This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it into a Petri net model. On...
Analyzing Interacting BPEL Processes (2006)
Lohmann, Niels, Massuthe, Peter, Stahl, Christian, Weinberg, Daniela
This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it into a Petri net model. On...
Thesis (doctoral) - Universität, Stuttgart, 2006.
Fundamentals of Multiagent Systems (2006)
José M. Vidal, Paul Buhler, Christian Stahl, Michael N. Huhns, Static Workflow
Industry and researchers have two different visions for the future of Web services. Industry wants to capitalize on Web service technology to automate business processes via centralized workflow...
Analyzing interacting BPEL processes (2006)
Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg
Abstract. This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it into a Petri net...
A SOA-Based Architecture Framework (2006)
Van Der Aalst, Wil, Beisiegel, Michael, Van Hee, Kees, König, Dieter, Stahl, Christian
In this paper we present first results of a SOA-based architecture framework. The architecture framework is required to be close to industry standards, especially to service component architecture...
Kommunizierende Workflow-Services modellieren und analysieren (2005)
Reisig, Wolfgang, Schmidt, Karsten, Stahl, Christian
We consider workflow implementations of communicating business processes. We propose theoretic concepts for their adequate use. Based on a class of Petri nets, we characterize different versions of...
Kommunizierende Workflow-Services modellieren und analysieren (2005)
Reisig, Wolfgang, Schmidt, Karsten, Stahl, Christian
We consider workflow implementations of communicating business processes. We propose theoretic concepts for their adequate use. Based on a class of Petri nets, we characterize different versions of...
Werkzeuge Für Petrinetze, Christian Stahl, Jörg Desel, Gabriel Juhas Eichstätt, Peter Kemper Dortmund, ...
Proceedings
Transforming BPEL to Petri Nets (2005)
Sebastian Hinz, Karsten Schmidt, Christian Stahl
Abstract. 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...
Request-Driven GALS Technique for Wireless Communication System (2005)
Miloš Krstić, Eckhard Grass, Christian Stahl
A Globally Asynchronous- Locally Synchronous (GALS) technique for application in wireless communication systems is proposed and evaluated. The GALS wrappers are based on a request-driven operation...
A Petri Net Semantics for BPEL (2004)
this paper, we consider a Petri net semantics for BPEL. The semantics is complete (i.e., covers all the standard and exceptional behaviour of BPEL), and formal (i.e., feasible for model checking)....
A Petri net Semantic for BPEL4WS - Validation and Application (2004)
Karsten Schmidt, Christian Stahl
Abstract. We translated a small business process into a recently defined Petri net semantic. Then we used the tool LoLA for validating the semantic as well as for proving relevant properties of the...
Verteilte Geschäftsprozesse modellieren und analysieren
Reisig, Wolfgang, Schmidt, Karsten, Stahl, Christian
Verteilte Geschäftsprozesse nutzen das Internet, um auf heterogenen Rechnerstrukturen Dienste auszubieten. Modellierungstechniken und Implementierungssprachen für solche Dienste werfen im Vergleich...
A Petri Net Semantics for BPEL
We present a pattern-based Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics is complete - it covers the standard behaviour of BPEL as well as the...
Hazard Detection in a GALS Wrapper: a Case study
Stahl, Christian, Reisig, Wolfgang, Krstić, Miloš
An asynchronous wrapper of a fabricated GALS system is analyzed for hazards. For this purpose a Petri net based modelling approach of this GALS wrapper is presented. In our model the question whether...
Hazard Detection in a GALS Wrapper: a Case study
Stahl, Christian, Reisig, Wolfgang, Krstić, Miloš
An asynchronous wrapper of a fabricated GALS system is analyzed for hazards. For this purpose a Petri net based modelling approach of this GALS wrapper is presented. In our model the question whether...
A Petri Net Semantics for BPEL
We present a pattern-based Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics is complete - it covers the standard behaviour of BPEL as well as the...
Verteilte Geschäftsprozesse modellieren und analysieren
Reisig, Wolfgang, Schmidt, Karsten, Stahl, Christian
Verteilte Geschäftsprozesse nutzen das Internet, um auf heterogenen Rechnerstrukturen Dienste auszubieten. Modellierungstechniken und Implementierungssprachen für solche Dienste werfen im Vergleich...