Agent Interaction Protocols in Support of Cloud Services Composition

  • Djamel Benmerzoug
  • Mohamed Gharzouli
  • Mounira Zerari
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8062)


Combining different independent cloud services necessitates a uniform description format that facilitates the design, customization, and composition. In this context, Interaction Protocols (IP) are a useful way for structuring communicative interaction among business partners, by organizing messages into relevant contexts and providing a common guide to the all parts. The challenge here is twofold. First, we must provide a formal model that is rich enough to capture interactions characteristics. Second, we must allow designers to combine existing protocols to achieve a new specific need.

The paper introduces a formal analysis framework allowing the composition of IP. This framework is based on our previous work [7][8]. In this paper, we mainly focus on the compositions of IP, where particular protocols may then be selected and composed to support a desired business application.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bauer, B., Bergenti, F., Massonet, P., Odell, J.J.: Agents and the UML: A Unified Notation for Agents and Multi-agent Systems? In: Wooldridge, M.J., Weiß, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol. 2222, pp. 148–150. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  2. 2.
    Bauer, B., Odell, J.: UML 2.0 and agents: how to build agent-based systems with the new UML standard. International Journal of Eng. Appl. of AI 18(2), 141–157 (2005)Google Scholar
  3. 3.
    Benmerzoug, D.: Agent approach in support of enterprise application integration. International Journal of Computer Science and Telecommunications 4(1), 47–53 (2013)Google Scholar
  4. 4.
    Benmerzoug, D., Boufaida, M., Boufaida, Z.: Developing Cooperative Information Agent-Based Systems with the AMCIS Methodology. In: IEEE International Conference on Advances in Intelligent Systems: Theories and Application, Luxembourg. IEEE Press (November 2004)Google Scholar
  5. 5.
    Benmerzoug, D., Boufaida, Z., Boufaida, M.: From the Analysis of Cooperation Within Organizational Environments to the Design of Cooperative Information Systems: An Agent-Based Approach. In: Meersman, R., Tari, Z., Corsaro, A. (eds.) OTM Workshops 2004. LNCS, vol. 3292, pp. 495–506. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  6. 6.
    Benmerzoug, D., Boufaida, M., Kordon, F.: A Specification and Validation Approach for Business Process Integration based on Web Services and Agents. In: Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2007, In conjunction with ICEIS 2007, pp. 163–168. NSTIIC Press (2007)Google Scholar
  7. 7.
    Benmerzoug, D., Kordon, F., Boufaida, M.: A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration. In: Dietz, J.L.G., Albani, A., Barjis, J. (eds.) CIAO! 2008 and EOMAS 2008. LNBIP, vol. 10, pp. 78–92. Springer, Heidelberg (2008)Google Scholar
  8. 8.
    Benmerzoug, D., Kordon, F., Boufaida, M.: Formalisation and Verification of Interaction Protocols for Business Process Integration: a Petri net Approach. International Journal of Simulation and Process Modelling 4(3-4), 195–204 (2008)CrossRefGoogle Scholar
  9. 9.
    Berardi, D., De Giacomo, D., Mecella, M., Calvanese, D.: Automatic composition of process-based web services: a challenge. In: Proc. 14th Int. World Wide Web Conf., WWW 2005 (2005)Google Scholar
  10. 10.
    Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: An Agent-Oriented Software Development Methodology. International Journal of Autonomous Agents and Multi-Agent Systems 8(3), 203–236 (2004)CrossRefGoogle Scholar
  11. 11.
    Bronsted, J., Hansen, K.M., Ingstrup, M.: Service composition issues in pervasive computing. IEEE Pervasive Computing 9(1), 62–70 (2010)CrossRefGoogle Scholar
  12. 12.
    Buhler, P.A., Vidal, J.M.: Towards adaptive workflow enactment using multiagent systems. International Journal on Information Technology and Management 6, 61–87 (2005)CrossRefGoogle Scholar
  13. 13.
    Cernuzzi, L., Molesini, A., Omicini, A., Zambonelli, F.: Adaptable multi-agent systems: the case of the gaia methodology. International Journal of Software Engineering and Knowledge Engineering 21(4), 491–521 (2011)CrossRefGoogle Scholar
  14. 14.
    Desai, N., Chopra, A.K., Singh, M.P.: Amoeba: A Methodology for Fodeling and Evolving Cross-Organizational Business Processes. Journal of ACM Trans. Softw. Eng. Methodol. 19(2) (2009)CrossRefGoogle Scholar
  15. 15.
    Desai, N., Singh, M.P.: A modular action description language for protocol composition. In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, pp. 962–967. AAAI Press (2007)Google Scholar
  16. 16.
    SAP Siebel Systems IBM, Microsoft. Business process execution language for web services version 1.1. Technical report (2003)Google Scholar
  17. 17.
    Milanovic, N., Malek, M.: Current solutions for web service composition. IEEE Internet Computing 8(6), 51–59 (2004)CrossRefGoogle Scholar
  18. 18.
    Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative specification and verification of service choreographiess. International Journal of ACM Transactions on the Web 4(1) (2010)CrossRefGoogle Scholar
  19. 19.
    Nguyen, D.K., Lelli, F., Papazoglou, M.P., van den Heuvel, W.-J.: Blueprinting Approach in Support of Cloud Computing. International Journal of Future Internet 4(1), 322–346 (2012)CrossRefGoogle Scholar
  20. 20.
    Papazoglou, M.P., Pohl, K., Parkin, M., Metzger, A. (eds.): Service Research Challenges and Solutions. LNCS, vol. 6500. Springer, Heidelberg (2010)Google Scholar
  21. 21.
    Parameswaran, A.V., Chaddha, A.: Cloud interoperability and standardization. SETLabs Briefings 7(7), 19–26 (2009)Google Scholar
  22. 22.
    Penserini, L., Kuflik, T., Busetta, P., Bresciani, P.: Agent-based organizational structures for ambient intelligence scenarios. Ambient Intelligence and Smart Environments 2(4), 409–433 (2010)Google Scholar
  23. 23.
    Mell, P., Grance, T.: The NIST Definition of Cloud Computing (2009)Google Scholar
  24. 24.
    Dustdar, S., Papazoglou, P.M., Traverso, P., Leymann, F.: Service-oriented computing: a research roadmap. Int. Journal of Cooperative Information Systems 17(2), 223–255 (2008)CrossRefGoogle Scholar
  25. 25.
    Sheng, Q.Z., Benatallah, B., Maamar, Z., Ngu, A.H.H.: Configurable composition and adaptive provisioning of web services. IEEE T. Services Computing 2(1), 34–49 (2009)CrossRefGoogle Scholar
  26. 26.
    Vitteau, B., Huget, M.-P.: Modularity in interaction protocols. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol. 2922, pp. 291–309. Springer, Heidelberg (2004)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Djamel Benmerzoug
    • 1
  • Mohamed Gharzouli
    • 1
  • Mounira Zerari
    • 1
  1. 1.Faculty of New Technologies of Information and CommunicationUniversity Constantine 2Algeria

Personalised recommendations