Formalizing service interactions

Authors:
Gero Decker;Frank Puhlmann;Mathias Weske
Affiliations:
Business Process Technology Group, Hasso-Plattner-Institute for IT Systems Engineering, at the University of Potsdam, Potsdam, Germany;Business Process Technology Group, Hasso-Plattner-Institute for IT Systems Engineering, at the University of Potsdam, Potsdam, Germany;Business Process Technology Group, Hasso-Plattner-Institute for IT Systems Engineering, at the University of Potsdam, Potsdam, Germany
Venue:
BPM'06 Proceedings of the 4th international conference on Business Process Management
Year:
2006

Citing 10
Cited 10

PI-Calculus: A Theory of Mobile Processes

PI-Calculus: A Theory of Mobile Processes
Workflow Patterns

Distributed and Parallel Databases
The P2P Approach to Interorganizational Workflows

CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Formalizing Web Service Choreographies

Electronic Notes in Theoretical Computer Science (ENTCS)
Business process management: a survey

BPM'03 Proceedings of the 2003 international conference on Business process management
Choreography and orchestration: a synergic approach for system design

ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Analyzing web service based business processes

FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Using the π-calculus for formalizing workflow patterns

BPM'05 Proceedings of the 3rd international conference on Business Process Management
Service interaction patterns

BPM'05 Proceedings of the 3rd international conference on Business Process Management
Reasoning about interaction patterns in choreography

EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes

The benefits of service choreography for data-intensive computing

Proceedings of the 7th international workshop on Challenges of large applications in distributed environments
Service Interaction: Patterns, Formalization, and Analysis

Formal Methods for Web Services
Extending BPMN for modeling complex choreographies

OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
The conceptualization of a configurable multi-party multi-message request-reply conversation

OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Evie: a developers toolkit for encoding service interaction patterns

BPM'07 Proceedings of the 2007 international conference on Business process management
Interaction soundness for service orchestrations

ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Let's dance: a language for service behavior modeling

ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Execution semantics for service choreographies

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Graph representation of sessions and pipelines for structured service programming

FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Algorithms for checking channel passing in web service choreography

Frontiers of Computer Science: Selected Publications from Chinese Universities

Quantified Score

Hi-index	0.00

Visualization

Abstract

Cross-organizational business processes are gaining increased attention these days, especially with the service oriented architecture (SOA) as a realization for business process management (BPM). In SOA, interaction agreements between business partners are defined as choreographies containing common interaction patterns. However, complex interactions are difficult to specify, basically because a formal, common standard supporting all interaction patterns is missing. This paper motivates the use of the π-calculus for formally representing service interaction patterns.