Service interaction : patterns, formalization, and analysis

W.M.P. Aalst, van der, A.J. Mooij, C. Stahl, K. Wolf

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

91 Citations (Scopus)


As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the development of such systems. However, the paradigm shift towards service orientation, requires a fundamentally different way of looking at processes. This survey aims to provide some foundational notions related to service interaction. A set of service interaction patterns is given to illustrate the challenges in this domain. Moreover, key results are given for three of these challenges: (1) How to expose a service?, (2) How to replace and refine services?, and (3) How to generate service adapters? These challenges will be addressed in a Petri net setting. However, the results extend to other languages used in this domain.
Original languageEnglish
Title of host publicationFormal Methods for Web Services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
EditorsM. Bernardo, L. Padovani, G. Zavattaro
Place of PublicationBerlin
ISBN (Print)978-3-642-01917-3
Publication statusPublished - 2009

Publication series

NameLecture Notes in Computer Science


Dive into the research topics of 'Service interaction : patterns, formalization, and analysis'. Together they form a unique fingerprint.

Cite this