In this presentation we will report on a number of projects where we have successfully applied the ASM methodology to provide models for a number of problems that are commonly found in Service Oriented Architectures (SOAs). In particular, we will provide solutions for the following topics: (1) service behaviour mediation, (2) service discovery, and (3) service composition.