@inproceedings{RebaiKKHK151,
  author    = {Sirine Rebai and Hatem Hadj Kacem and Mohamed Karaa and Sa{\'{u}}l E. Pomares Hern{\'{a}}ndez and Ahmed Hadj Kacem},
  title     = {A service-oriented architecture {(SOA)} framework for choreography verification},
  booktitle = {14th {IEEE/ACIS} International Conference on Computer and Information
               Science, {ICIS}},
  pages     = {642--646},
  year      = {2015},
  doi       = {10.1109/ICIS.2015.7166671},
}