1. Service Interaction:Patterns, Formalization, and Analysis9th International School on Formal Methods for the Design ofComputer, Communication and Software Systems: WebServices…