ASMs in Service Oriented Architectures

Michael Altenhofen (CEC Karlsruhe, Germany)

Andreas Friesen (CEC Karlsruhe, Germany)

Jens Lemcke (CEC Karlsruhe, Germany)

Abstract: We give a survey on work we did in the past where we have successfully applied the ASM methodology to provide abstract models for a number of problem areas that are commonly found in Service Oriented Architectures (SOA). In particular, we summarize our work on (1) service behavior mediation, (2) service discovery, and (3) service composition, showing that the corresponding solutions can be described as variations of a fundamental abstract processing model—the Virtual Provider.

Keywords: process mediation, service discovery, workflow composition

Categories: D.2.1, H.4.3, I.6.5