From Maude Specifications to SOAP Distributed Implementations: A Smooth Transition