A Systematic Survey report on Various Frameworks and Models for Verification of Choreography in SOA Journal title: International Journal of Computer Science & Engineering Technology Authors: Choudhury Bandana Das , Prachet Bhuyan Subject(s):