A hybrid approach for generating compatible WS-BPEL partner processes

Authors:
Simon Moser;Axel Martens;Marc Häbich;Jutta Mülle
Affiliations:
Business Process Solutions, IBM Böblingen Lab, Böblingen, Germany;Component Systems Group, IBM TJ Watson Center, Hawthorne, NY;Business Process Solutions, IBM Böblingen Lab, Böblingen, Germany;Information Systems Group, University of Karlsruhe, Karlsruhe, Germany
Venue:
BPM'06 Proceedings of the 4th international conference on Business Process Management
Year:
2006

Citing 3
Cited 8

Modeling and Analyzing Interorganizational Workflows

CSD '98 Proceedings of the 1998 International Conference on Application of Concurrency to System Design
A Petri net-based model for web service composition

ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
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

Extending the compatibility notion for abstract WS-BPEL processes

Proceedings of the 17th international conference on World Wide Web
Algorithms Based on Pattern Analysis for Verification and Adapter Creation for Business Process Composition

OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Analyzing BPEL4Chor: verification and participant synthesis

WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Conceptual modeling approaches for dynamic web service composition

The evolution of conceptual modeling
A model-driven framework for runtime adaptation of web service compositions

Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Diagnosing SCA components using WOMBAT

BPM'06 Proceedings of the 4th international conference on Business Process Management
Optimal Adapter Creation for Process Composition in Synchronous vs. Asynchronous Communication

ACM Transactions on Management Information Systems (TMIS)
Design for service compatibility

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.01

Visualization

Abstract

The Business Process Execution Language for Web Services provides an technology to aggregate encapsulated functionalities for defining high-value Web services. For a distributed application in a B2B interaction, the partners simply need to expose their behavior as BPEL processes and compose them. Still, modeling and composing BPEL processes can be complex and error-prone. With formal methods like Petri nets, it is possible to analyze crucial properties (e.g. compatibility) effectively. In this paper, we present a method that automatically generates compatible partner BPEL processes for a given BPEL processes. Our hybrid approach makes use of formal methods, but also incorporates the structure of the original BPEL process model, such that the generated partner process is easier to understand and manage.