Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem. A service-oriented architecture (SOA) framework for choreography verification. In Takayuki Ito, Yanggon Kim, Naoki Fukuta, editors, 14th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2015, Las Vegas, NV, USA, June 28 - July 1, 2015. pages 642-646, IEEE, 2015. [doi]
Abstract is missing.