Symbolic model checking composite Web services using operational and control behaviors