1. WSSL: A Fluent Calculus-based Language for Web Service Specifications George Baryannis and Dimitris Plexousakis Computer Science Department, University of Crete Institute…