1. Ko, J.M., Kim, C.O., Kwon, I.-H.: Quality-of-service oriented web service composition algorithm and planning architecture. J. Syst. Softw. 81(11), 2079–2090 (2008)
2. Bucchiarone, A., Gnesi, S.: A survey on services composition languages and models. In: Proceedings of the International Workshop on Web Services Modeling and Testing, WS-MaTe, pp. 51–63. Palermo, Italy (2006)
3. Dijkman, R., Dumas, M.: Service-oriented design: a multi-view-point approach. Int. J. Coop. Inf. Syst. 13(4), 337–368 (2004)
4. Avanesovm, T., Chevalier, Y., Mekki, M.A., et al.: Web services verification and prudent implementation. In: Proceedings of the DPM 2011 and SETOP 2011. LNCS 7122, pp. 173–189 (2012)
5. Mateo, J.A., Valero, V., Diaz, G.: An operational semantics of BPEL orchestrations integrating web services resource framework. In: Proceedings of the WS-FM 2011, LNCS 7176, pp. 79–94 (2012)