Distributed and Parallel Databases
Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions
Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions
Correlation patterns in service-oriented architectures
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Contracting workflows and protocol patterns
BPM'03 Proceedings of the 2003 international conference on Business process management
A compositional framework for service interaction patterns and interaction flows
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Formalizing service interactions
BPM'06 Proceedings of the 4th international conference on Business Process Management
BPM'05 Proceedings of the 3rd international conference on Business Process Management
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
GPSL: a programming language for service implementation
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Service Interaction: Patterns, Formalization, and Analysis
Formal Methods for Web Services
Interacting services: From specification to execution
Data & Knowledge Engineering
CorPN: managing instance correspondence in collaborative business processes
Distributed and Parallel Databases
Hi-index | 0.00 |
Organizations, to function effectively and expand their boundaries, require a deep insight into both process orchestration and choreography of cross-organization business processes. The set of requirements for service interactions is significant, and has not yet been sufficiently refined. Service Interaction Patterns studies by Barros et al. demonstrate this point. However, they overlook some important aspects of service interaction of bilateral and multilateral nature. Furthermore, the definition of these patterns are not precise due to the absence of a formal semantics. In this paper, we analyze and present a set of patterns formed around the subset of patterns documented by Barros et al. concerned with Request-Reply interactions, and extend these ideas to cover multiple parties and multiple messages. We concentrate on the interaction between multiple parties, and analyze issues of a non-guaranteed response and different aspects of message handling. We propose one configurable, formally defined, conceptual model to describe and analyze options and variants of request-reply patterns. Furthermore, we propose a graphical notation to depict every pattern variant, and formalize the semantics by means of Coloured Petri Nets. In addition, we apply this pattern family to evaluate WS-BPEL v2.0 and check how selected pattern variants can be operationalized in Oracle BPEL PM.