This volumecontainstheproceedingsofthe 5thInternationalWorkshoponWeb Services and Formal Methods (WS-FM 2008) held during September 4-5, 2008 in Milan, Italy, co-located with the 6th International Conference on Business Process Management (BPM 2008). Previous editions of the workshop were held in Pisa, Italy (WS-FM 2004), Versailles, France(WS-FM 2005), Vienna, Austria (WS-FM 2006) and Brisbane, Australia (WS-FM 2007). The aim of the workshop series is to bring together researchers working on web servicesand formal methods in order to catalyzefruitful collaboration. Web service (WS)...

Constitutes the refereed proceedings of the 9th International Conference on Business Process Management, BPM 2011, held in Clermont-Ferrand, France, in August/September 2011. This book contains the papers that address research from computer science, management information science, service-oriented computing, and technology management.