1. A Novel Specification and Composition Language for Services George Baryannis Computer Science Department Institute of Computer Science PhD Defense Presentation University…