All you need to know about WMS
Discovery of SOA patterns via Model Checking Authors: M. Di Penta, A. Santone, M.L. Villani.