1. Formal Specification and Verification of Data- Centric Web Services Iman Saleh, Ph. D. Assistant Scientist University of Miami Florida March 15th, 2014 2. In a Nutshell……