Skip to main content
SpringerLink
Log in

Dynamic service composition enabled by introspective agent coordination

  • Published:
Autonomous Agents and Multi-Agent Systems Aims and scope Submit manuscript

Abstract

Service composition has received much interest from many research communities. The major research efforts published to date propose the use of service orchestration to model this problem. However, the designed orchestration approaches are static since they follow a predefined plan specifying the services to be composed and their data flow, and most of them are centralized around a composition engine. Further, task decomposition is made prior to service composition, whereas it should be performed according to the available competencies. In order to overcome these limitations, we propose to model a dynamic approach for service composition. The studied approach relies on the decentralized and autonomous collaboration of a set of services whose aim is to achieve a specific goal. In our work, this goal is to satisfy requirements in software services that are freely expressed by human users (i.e. not predefined through a composition plan). We propose to enable the service collaborations through a multi-agent coordination protocol. In our model, agents offer services and are endowed with introspective capabilities, that is, they can access and reason on their state and actions at runtime. Thereby, the agents are capable of decomposing a monolithic task according to their service skills, and dynamically coordinating with their acquaintances to cover the whole task achievement. This paper presents the adaptive agent-based approach we propose for dynamic service composition, describes its architecture, specifies the underlying coordination protocol, called

omposer, verifies the protocol’s main properties, and validates it by unfolding an implemented scenario.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Alves, A., Arkin, A., Askary, S., Bloch, B., Curbera, F., Goland, Y., Kartha, N., Commerce, S., König D., Mehta, V., Thatte, S., van der Rijn, D., Yendluri, P., & Yiu, A. (2007). Web services business process execution language (WS-BPEL) version 2.0. Technical report, The OASIS Committee.

  2. Andrieux, A., Czajkowski, K., Dan, A., Keahey, K., Ludwig, H., Nakata, T., Pruyne, J., Rofrano, J., Tuecke, S., & Xu, M. (2004). Web services agreement specification (WS-Agreement). Technical report, Globus Alliance.

  3. Arkin, A., Askary, S., Fordin, S., Jekeli, W., Kawaguchi, K., Orchard, D., Pogliani, S., Riemer K., Struble, S., Nagy, P. T., Trickovic, I., & Zimek, S. (2002). Web service choreography interface (WSCI) 1.0. Technical report, W3C.

  4. Atkinson, K., Girle, R. A., McBurney, P., & Parsons, S. (2008). Command dialogues. In Proceedings of the 5th international workshop international argumentation in multi-agent systems (ArgMAS’08) (pp. 93–106).

  5. Austin, D., Barbir, A., Peters, E., & Ross-Talbot S. (2004). Web services choreography requirements W3C working draft. Technical report, World Wide Web Consortium (W3C).

  6. Barker A., Walton C. D., Robertson D. (2009) Choreographing web services. IEEE Transactions on Services Computing 2: 152–166 ISSN 1939-1374

    Article  Google Scholar 

  7. Barros, A., Dumas, M., & Oaks, P. (2005). A critical overview of the web services choreography description language (WS-CDL). In Proceedings of the business process trends (BPTrends).

  8. Bauer B., Odell J. (2005) UML 2.0 and agents: How to build agent-based systems with the new UML standard. Engineering Applications of Artificial Intelligence 18(2): 141–157

    Article  Google Scholar 

  9. Bench-Capon, T. J. M., Atkinson, K., & McBurney, P. (2009). Altruism and agents: An argumentation based approach to designing agent decision mechanisms. In Proceedings of the 8th international joint conference on autonomous agents and multiagent systems (AAMAS’09) (pp. 1073–1080).

  10. Berger, A., & Pesty, S. (2005). Towards a conversational language for artificial agents in mixed community. In Proceedings of the 3rd international Central and Eastern European conference on multi-agent systems (CEEMAS’05) (pp. 31–40).

  11. Bertoli P., Pistore M., Traverso P. (2010) Automated composition of web services via planning in asynchronous domains. Artificial Intelligence 174(3–4): 316–361

    Article  MathSciNet  Google Scholar 

  12. Bolognesi T., Brinksma E. (1987) Introduction to the ISO specification language LOTOS. Computer Networks 14: 25–59

    Google Scholar 

  13. Booth, D., Champion, M., Ferris, C., McCabe, F., Newcomer, E., & Orchard, D. (2003). Web services architecture. http://www.w3.org/TR/2003/WD-ws-arch-20030514/, May 2003.

  14. Booth, D., Haas, H., McCabe, F., Newcomer, E., Champion, M., Ferris, C., & Orchard, D. (2004). Web services architecture. Technical report, W3C Working Group Note 11. http://www.w3.org/TR/ws-arch/.

  15. Business Process Model and Notation (BPMN) Version 2.0, January 2011.

  16. Chakraborty, D., & Joshi, A. (2001). Dynamic service composition: State-of-the-art and research directions. Technical report, University of Maryland.

  17. Charif, Y., & Sabouret, N. (2004). A model of interactions about actions for active and semantic web services. In Proceedings of the semantic web service workshop (SWS) at 3rd international semantic web conference (ISWC’04) (pp. 31–46).

  18. Charif, Y., Stathis, K., & Mili, H. (2010). Towards anticipatory service composition in ambient intelligence. In Proceedings of the 10th IEEE international conference on new technologies of distributed systems (NOTERE’10).

  19. Das S., Panigrahi B.K. (2009) Multi-objective evolutionary algorithms. Encyclopedia of Artificial Intelligence 3: 1145–1151

    Google Scholar 

  20. Decker, G., Kopp, O., Leymann, F., & Weske, M. (2007). BPEL4Chor: Extending BPEL for modeling choreographies. In Proceedings of the IEEE international conference on web services (ICWS’07) (pp. 296–303).

  21. Dignum, F., Dunin-Kȩplicz, B., & Verbrugge, R. (2000). Creating collective intention through dialogue. In J. Cunningham & D. M. Gabbay, Proceedings of the international conference on formal and applied practical reasoning (FAPR’00) (pp. 145–158). London: Department of Computing, Imperial College, University of London.

  22. Domingue J., Fensel D. (2009) Problem solving methods in a global networked age. Artificial Intelligence for Engineering Design, Analysis and Manufacturing 23(4): 373–390 ISSN 0890-0604

    Article  Google Scholar 

  23. Durfee E. H. (1988) Coordination of distributed problem solvers. Kluwer Academic Publishers, Norwell, MA ISBN 089838284X

    Book  Google Scholar 

  24. Durfee E.H. (2001) Distributed problem solving and planning. In: Carbonell J.G., Siekmann J. (eds) Multi-agent systems and applications. Springer-Verlag New York, Inc., New York, pp 118–149

    Google Scholar 

  25. Durfee, E. H., & Lesser, V. (1987). Using partial global plans to coordinate distributed problem solvers. In Proceedings of the 10th international joint conference on artificial intelligence (IJCAI’87) (pp. 875–883).

  26. Ermolayev V., Keberle N., Plaksin S., Kononenko R., Terziyan V. (2004) Towards a framework for agent-enabled semantic web service composition. International Journal of Web Services Research 1: 63–87

    Article  Google Scholar 

  27. Fensel D., Motta E. (2001) Structured development of problem solving methods. IEEE Transactions on Knowledge and Data Engineering 13: 913–932 ISSN 1041-4347

    Article  Google Scholar 

  28. Finin, T., Fritzson, R., & McKay, D. (1992). An overview of KQML: A knowledge query and manipulation language. Technical report, University of Maryland Baltimore Country.

  29. FIPA. (2001). FIPA interaction protocol library specification. http://www.fipa.org/specs/fipa00025/XC00025E.pdf.

  30. Génin, T., & Aknine, S. (2008). Coalition formation strategies for self-interested agents. In Proceedings of the 18th European conference on artificial intelligence (ECAI’08), Amsterdam, The Netherlands (pp. 418–422). IOS Press. ISBN 978-1-58603-891-5.

  31. Georgeff M. P. (1990) Planning. In: Allen J., Hendler J., Tate A. (eds) Readings in planning. Kaufmann, San Mateo, CA

    Google Scholar 

  32. Greaves, M., Holmback, H., & Bradshaw, J. (2000) What is conversation policy? In F. Dignum & M. Greaves (Eds.), Issues in agent communication (pp. 118–131). Heidelberg, Germany: Springer-Verlag

    Chapter  Google Scholar 

  33. Guessoum Z., Briot J.-P. (1999) From active objects to autonomous agents. IEEE Concurrency 7(3): 68–76

    Article  Google Scholar 

  34. Gustavo A., Casati F., Kuno H., Machiraju V. (2004) Web services. Concepts, architectures and applications. Springer-Verlag, Berlin, Heidelberg

    MATH  Google Scholar 

  35. Hindriks, K. V., de Boer, F. S., van der Hoek, W., & Meyer, J.-J. Ch. (1998). Formal semantics for an abstract agent programming language. In Proceedings of the 4th international workshop on intelligent agents IV, agent theories, architectures, and languages (ATAL’98), London, UK (pp. 215–229). Springer-Verlag.

  36. Huhns, M. N. (2002). Software agents: The future of web services. In Proceedings of agent technologies, infrastructures, tools, and applications for E-services (pp. 1–18)

  37. JACK. (1999). JACK intelligent agents tutorials. Agent Oriented Software Pty. http://www.disi.unige.it/person/ZiniF/Didattica/Jack/jack_tutorial.pdf.

  38. JADE. (2004). Java agent developement framework. http://jade.tilab.com.

  39. Kavantzas, N., Burdett, D., Ritzinger, G., & Lafon, Y. (2005). Web services choreography description language (WS-CDL) version 1.0. W3C Candidate Recommendation. Technical report, W3C.

  40. Klush, M., Gerber, A., & Schmidt, M. (2005). Semantic web service composition planning with OWLS-Xplan. In Proceedings of the 1st international AAAI fall symposium on agents and the semantic web (pp. 55–62). AAAI Press.

  41. Koning J.-L. (2007) Operational semantics rules as a computational coordination mechanism in multi-agent systems. International Journal on Intelligent Control and Systems 2(12): 167–178

    Google Scholar 

  42. Kuter U., Sirin E., Parsia B., Nau D., Hendler J. (2005) Information gathering during planning for web service composition. Web Semantics: Science, Services and Agents on the World Wide Web 3(2–3): 183–205

    Article  Google Scholar 

  43. Lauren, H., Roman, D., & Keller, U. (2004, March). Web services modeling ontology—standard (WSMO-Standard). http://wsmo.org/2004/d2/v0.2/.

  44. Malone T.W., Crowston K. (1994) The interdisciplinary study of coordination. ACM Computing Surveys 26(1): 87–119 ISSN 0360-0300

    Article  Google Scholar 

  45. Martin, D., Paolucci, M., McIlraith, S., Burstein, M., McDermott, D., McGuinness, D., Parsia, B., Payne, T., Sabou, M., Solanki, M., Srinivasan, N., & Sycara, K. (2004). Bringing semantics to web services: The OWL-S approach. In J. Cardoso & A. P. Sheth (Eds.), Proceedings of the 1st international workshop on semantic web services and web process composition (SWSWPC’04), San Diego, CA, USA (Vol. 3387, pp. 26–42). Springer-Verlag.

  46. McBurney P., Van Eijk R.M., Parsons S., Amgoud L. (2003) A dialogue game protocol for agent purchase negotiations. Autonomous Agents and Multi-Agent Systems 7(3): 235–273 ISSN 1387-2532

    Article  Google Scholar 

  47. McIlvenna, S., Dumas, M., & Wynn, M. T. (2009). Synthesis of orchestrators from service choreographies. In Proceedings of the 6th Asia-Pacific conference on conceptual modelling (APCCM’09) (pp. 129–138).

  48. Mizoguchi, R., Vanwelkenhuysen, J., & Ikeda, M. (1995). Task ontology for reuse of problem solving knowledge. In Proceedings of the 2nd international conference on building and sharing of very large-scale knowledge bases.

  49. Müller, I., Kowalczyk, R., & Braun, P. (2006). Towards agent-based coalition formation for service composition. In Proceedings of the international conference on intelligent agent technology (IAT’06) (pp. 73–80).

  50. Oliveira E., Fisher K., Stepankova O. (1999) Multi-agent systems: Which research for which applications. Robotics and Autonomous Systems 27: 91–106

    Article  Google Scholar 

  51. Osman, T., Thakker, D., & Al-Dabass, D. (2005). Bridging the gap between workflow and semantic-based web services composition. In Proceedings of the web service composition workshop (WSCOMPS’05).

  52. Paurobally, S., Tamma, V., & Wooldridge, M. (2005). Cooperation and agreement between semantic web services. In W3C workshop on frameworks for semantics in web services, Innsbruck, Austria, June 2005.

  53. Pellier, D., & Fiorino, H. (2007). A unified framework based on HTN and POP approaches for multi-agent planning. In Proceedings of the international conference on intelligence agent technology (IAT), California, USA.

  54. Peltz C. (2003) Web services orchestration and choreography. Computer 26(10): 46–52

    Article  Google Scholar 

  55. Platon E., Mamei M., Sabouret N., Honiden S., Van Dyke Parunak H. (2006) Mechanisms of the environment for mutli-agent systems, survey and opportunities. Autonomous Agents and Multi-Agent Systems 14: 1–17

    Article  Google Scholar 

  56. Ponnekanti, S. R., & Fox, A. (2002). SWORD: A developer toolkit for web services composition. In Proceedings of the 11the WWW conference (pp. 83–107). Elsevier.

  57. Roldán A. M., Pimentel E., Brogi A. (2009) Software composition with Linda. Computer Languages, Systems & Structures 35(4): 395–405

    Article  Google Scholar 

  58. Rubinstein A. (1982) Perfect equilibrium in a bargaining model. Econometrica 50(1): 97–109

    Article  MathSciNet  MATH  Google Scholar 

  59. Sabouret, N. (2002). Representing, requesting and reasoning about actions for active components in human-computer interaction. Technical report 2002-09, LIMSI-CNRS.

  60. Searle J.R. (1969) Speech acts. Cambridge University Press, Cambridge ISBN 0-521-09626-X

    Google Scholar 

  61. Shehory O., Kraus S. (1998) Methods for task allocation via agent coalition formation. Artificial Intelligence 101(1–2): 165–200

    Article  MathSciNet  MATH  Google Scholar 

  62. Tong, H., Cao, J., Zhang, S., & Li, M. (2009). A distributed agent coalition algorithm for web service composition. In Proceedings of IEEE congress on services (pp. 62–69).

  63. Vasiliev Y. (2007) SOA and WS-BPEL. Packt Publishing, Birmingham

    Google Scholar 

  64. Vieira R., Moreira Á.F., Wooldridge M., Bordini Rafael H. (2007) On the formal semantics of speech-act based communication in an agent-oriented programming language. Journal of Artificial Intelligence Research (JAIR) 29: 221–267

    MATH  Google Scholar 

Download references

Author information

Author notes

  1. Yasmine Charif

    Present address: Xerox, 800 Phillips Road, Webster, NY, 14580, USA

Authors and Affiliations

  1. Université Pierre et Marie Curie, UMR 7606, LIP6, 4 Place Jussieu, 75005, Paris, France

    Yasmine Charif & Nicolas Sabouret

Authors
  1. Yasmine Charif
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nicolas Sabouret
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yasmine Charif.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Charif, Y., Sabouret, N. Dynamic service composition enabled by introspective agent coordination. Auton Agent Multi-Agent Syst 26, 54–85 (2013). https://doi.org/10.1007/s10458-011-9182-5

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10458-011-9182-5

Keywords

Search

Navigation