An Automatic Approach to Enable Replacement of Conversational Services

  • Luca Cavallaro
  • Elisabetta Di Nitto
  • Matteo Pradella
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5900)


In Service Oriented Architectures (SOAs) services invoked in a composition can be replaced by other services, which are possibly discovered and bound at runtime. Most of the research efforts supporting this replacement assume that the interface of the interchangeable services are the same and known at design time. Such assumption is not realistic since it implies that providers of the same kinds of services agree on the interfaces the services offer. By interface mapping we mean the class of approaches aiming at relaxing this assumption. Most of those approaches available in the literature focus on stateless services and simply address mapping operation names and data structures. Instead, this paper focuses on conversational services for which the sequence of required operation calls, i.e., the interaction protocol, matters. We use model checking to automatically identify the interaction protocols mapping. We validate our technique both by applying it to the invocation of two real services (Flickr and Picasa), and by quantitatively comparing it to a related approach.


Service Composition Service Operation Automatic Approach Label Transition System Service Consumer 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Baresi, L., Nitto, E.D., Ghezzi, C.: Toward open-world software: Issue and challenges. IEEE Computer 39(10), 36–43 (2006)Google Scholar
  2. 2.
    Verma, K., Gomadam, K., Sheth, A.P., Miller, J.A., Wu, Z.: The METEOR-S approach for configuring and executing dynamic web processes. University of Georgia, Athens, Tech. Rep. (June 2005)Google Scholar
  3. 3.
    Antonellis, V.D., Melchiori, M., Santis, L.D., Mecella, M., Mussi, E., Pernici, B., Plebani, P.: A layered architecture for flexible web service invocation. Software Practice and Experience 36(2), 191–223 (2006)CrossRefGoogle Scholar
  4. 4.
    Cavallaro, L., Di Nitto, E.: An approach to adapt service requests to actual service interfaces. In: Proceedings of SEAMS (2008)Google Scholar
  5. 5.
    Cavallaro, L., Ripa, G., Zuccalà, M.: Adapting service requests to actual service interfaces through semantic annotations. In: Proceedings of PESOS (2009)Google Scholar
  6. 6.
    Moser, O., Rosenberg, F., Dustdar, S.: Non-intrusive monitoring and service adaptation for WS-BPEL. In: Proceedings of WWW (2008)Google Scholar
  7. 7.
    Mateescu, R., Poizat, P., Salaün, G.: Adaptation of service protocols using process algebra and on-the-fly reduction techniques. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 84–99. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  8. 8.
    Dumas, M., Spork, M., Wang, K.: Adapt or perish: Algebra and visual notation for service interface adaptation. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 65–80. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  9. 9.
    Nezhad, H.R.M., Benatallah, B., Martens, A., Curbera, F., Casati, F.: Semi-automated adaptation of service interactions. In: Proceedings of WWW 2007 (2007)Google Scholar
  10. 10.
    Drumm, C.: Improving schema mapping by exploiting domain knowledge. Ph.D. dissertation, Universitat Karlsruhe, Fakultat fur Informatik (2008)Google Scholar
  11. 11.
    Fredj, M., Georgantas, N., Issarny, V., Zarras, A.: Dynamic service substitution in service-oriented architectures. In: Proceedings of SERVICES (2008)Google Scholar
  12. 12.
    Brogi, A., Popescu, R.: Automated generation of BPEL adapters. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 27–39. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  13. 13.
  14. 14.
    van der Aalst, W.M.P., ter Hofstede, A.H.M.: Yawl: yet another workflow language. Information Systems 30(4), 245–275 (2005)CrossRefGoogle Scholar
  15. 15.
    Martìn, J.A., Pimentel, E.: Automatic generation of adaptation contracts. In: Proceedings of FOCLASA (2008)Google Scholar
  16. 16.
    Fielding, R.T.: Architectural styles and the design of network-based software architectures. Ph.D. dissertation, chair-Taylor, Richard N (2000)Google Scholar
  17. 17.
    Colombo, M., Di Nitto, E., Mauri, M.: Scene: A service composition execution environment supporting dynamic changes disciplined through rules. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 191–202. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  18. 18.
    Colombo, M., Di Nitto, E., Penta, M.D., Distante, D., Zuccalà, M.: Speaking a common language: A conceptual model for describing service-oriented systems. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 48–60. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  19. 19.
    Ghezzi, C., Mandrioli, D., Morzenti, A.: Trio: A logic language for executable specifications of real-time systems. Journal of Systems and Software 12(2) (1990)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Luca Cavallaro
    • 1
  • Elisabetta Di Nitto
    • 1
  • Matteo Pradella
    • 2
  1. 1.Politecnico di Milano, DEIMilanoItaly
  2. 2.CNR IEIIT-MIMilanoItaly

Personalised recommendations