Skip to main content
SpringerLink
Log in

Agent Interaction Protocols in Support of Cloud Services Composition

  • Conference paper
Book cover Industrial Applications of Holonic and Multi-Agent Systems

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 8062))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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)

    Chapter  Google Scholar 

  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. 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. 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. 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)

    Chapter  Google Scholar 

  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. 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. 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)

    Article  Google Scholar 

  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. 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)

    Article  Google Scholar 

  11. Bronsted, J., Hansen, K.M., Ingstrup, M.: Service composition issues in pervasive computing. IEEE Pervasive Computing 9(1), 62–70 (2010)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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. SAP Siebel Systems IBM, Microsoft. Business process execution language for web services version 1.1. Technical report (2003)

    Google Scholar 

  17. Milanovic, N., Malek, M.: Current solutions for web service composition. IEEE Internet Computing 8(6), 51–59 (2004)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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. Parameswaran, A.V., Chaddha, A.: Cloud interoperability and standardization. SETLabs Briefings 7(7), 19–26 (2009)

    Google Scholar 

  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. Mell, P., Grance, T.: The NIST Definition of Cloud Computing (2009)

    Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of New Technologies of Information and Communication, University Constantine 2, Algeria

    Djamel Benmerzoug, Mohamed Gharzouli & Mounira Zerari

Authors
  1. Djamel Benmerzoug
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mohamed Gharzouli
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mounira Zerari
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Cybernetics, Czech Technical University, Technická 2, 166 27, Prague, Czech Republic

    Vladimír Mařík

  2. Department of Production Engineering, Tampere University of Technology, Korkeakoulunkatu 6, 33720, Tampere, Finland

    Jose L. Martinez Lastra

  3. Smart Solutions Ltd., Moscowskoe shosse 17, 443013, Samara, Russia

    Petr Skobelev

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Benmerzoug, D., Gharzouli, M., Zerari, M. (2013). Agent Interaction Protocols in Support of Cloud Services Composition. In: Mařík, V., Lastra, J.L.M., Skobelev, P. (eds) Industrial Applications of Holonic and Multi-Agent Systems. Lecture Notes in Computer Science(), vol 8062. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40090-2_26

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-40090-2_26

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-40089-6

  • Online ISBN: 978-3-642-40090-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation