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.
Similar content being viewed by others
References
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.
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.
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.
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).
Austin, D., Barbir, A., Peters, E., & Ross-Talbot S. (2004). Web services choreography requirements W3C working draft. Technical report, World Wide Web Consortium (W3C).
Barker A., Walton C. D., Robertson D. (2009) Choreographing web services. IEEE Transactions on Services Computing 2: 152–166 ISSN 1939-1374
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).
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
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).
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).
Bertoli P., Pistore M., Traverso P. (2010) Automated composition of web services via planning in asynchronous domains. Artificial Intelligence 174(3–4): 316–361
Bolognesi T., Brinksma E. (1987) Introduction to the ISO specification language LOTOS. Computer Networks 14: 25–59
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.
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/.
Business Process Model and Notation (BPMN) Version 2.0, January 2011.
Chakraborty, D., & Joshi, A. (2001). Dynamic service composition: State-of-the-art and research directions. Technical report, University of Maryland.
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).
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).
Das S., Panigrahi B.K. (2009) Multi-objective evolutionary algorithms. Encyclopedia of Artificial Intelligence 3: 1145–1151
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).
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.
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
Durfee E. H. (1988) Coordination of distributed problem solvers. Kluwer Academic Publishers, Norwell, MA ISBN 089838284X
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
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).
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
Fensel D., Motta E. (2001) Structured development of problem solving methods. IEEE Transactions on Knowledge and Data Engineering 13: 913–932 ISSN 1041-4347
Finin, T., Fritzson, R., & McKay, D. (1992). An overview of KQML: A knowledge query and manipulation language. Technical report, University of Maryland Baltimore Country.
FIPA. (2001). FIPA interaction protocol library specification. http://www.fipa.org/specs/fipa00025/XC00025E.pdf.
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.
Georgeff M. P. (1990) Planning. In: Allen J., Hendler J., Tate A. (eds) Readings in planning. Kaufmann, San Mateo, CA
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
Guessoum Z., Briot J.-P. (1999) From active objects to autonomous agents. IEEE Concurrency 7(3): 68–76
Gustavo A., Casati F., Kuno H., Machiraju V. (2004) Web services. Concepts, architectures and applications. Springer-Verlag, Berlin, Heidelberg
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.
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)
JACK. (1999). JACK intelligent agents tutorials. Agent Oriented Software Pty. http://www.disi.unige.it/person/ZiniF/Didattica/Jack/jack_tutorial.pdf.
JADE. (2004). Java agent developement framework. http://jade.tilab.com.
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.
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.
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
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
Lauren, H., Roman, D., & Keller, U. (2004, March). Web services modeling ontology—standard (WSMO-Standard). http://wsmo.org/2004/d2/v0.2/.
Malone T.W., Crowston K. (1994) The interdisciplinary study of coordination. ACM Computing Surveys 26(1): 87–119 ISSN 0360-0300
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.
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
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).
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.
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).
Oliveira E., Fisher K., Stepankova O. (1999) Multi-agent systems: Which research for which applications. Robotics and Autonomous Systems 27: 91–106
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).
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.
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.
Peltz C. (2003) Web services orchestration and choreography. Computer 26(10): 46–52
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
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.
Roldán A. M., Pimentel E., Brogi A. (2009) Software composition with Linda. Computer Languages, Systems & Structures 35(4): 395–405
Rubinstein A. (1982) Perfect equilibrium in a bargaining model. Econometrica 50(1): 97–109
Sabouret, N. (2002). Representing, requesting and reasoning about actions for active components in human-computer interaction. Technical report 2002-09, LIMSI-CNRS.
Searle J.R. (1969) Speech acts. Cambridge University Press, Cambridge ISBN 0-521-09626-X
Shehory O., Kraus S. (1998) Methods for task allocation via agent coalition formation. Artificial Intelligence 101(1–2): 165–200
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).
Vasiliev Y. (2007) SOA and WS-BPEL. Packt Publishing, Birmingham
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
Author information
Authors and Affiliations
Corresponding author
Rights 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
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10458-011-9182-5