1. S-Cube Learning PackageService Specifications:Formal Specifications for Services and Service Compositions University of Crete (UoC), Universidad Politecnica de Madrid…