Formalizing Service Interactions

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.

• Type: Conference
• Year: 2006
• Where: BPM
• Authors: Gero Decker, Frank Puhlmann, Mathias Weske
• Keywords: BPM 2006, Business, Common Interaction Patterns, Cross-organizational Business Processes, Interaction Patterns