West2East: exploiting WEb Service Technologies to Engineer Agent-based SofTware

International Journal of Agent-Oriented Software Engineering

Volumn 1, Issue 3-4, 2007, Pages 396-434

  Casella, Giovanni ^a,b   Mascardi, Viviana ^b  

^a UNIVERSITY OF SALERNO   (Italy)

^b UNIVERSITY OF GENOA   (Italy)

Author keywords

Agent Interaction Protocol; Agent Oriented Software Engineering; AIP; AOSE; CL; Computational Logic; intelligent agent; Web Service; WS

Indexed keywords

EID: 77955740653     PISSN: 17461375     EISSN: 17461383     Source Type: Journal    
DOI: 10.1504/ijaose.2007.016267     Document Type: Article

References (92)

1. Agentcities Task Force (2003) Integrating Web Services into Agentcities Recommendation.
2. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M., Storari, S. and Torroni, P. (2006) ‘Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool’, Third International Workshop on Web Services and Formal Methods, WS-FM 2006, Proceedings, Lecture Notes in Computer Science, Springer, pp.58–72.
3. Alberti, M., Daolio, D., Torroni, P., Gavanelli, M., Lamma, E. and Mello, P. (2004) ‘Specification and verification of agent interaction protocols in a logic-based system’, in H. Haddad, A. Omicini, R.L. Wainwright and L.M. Liebrock (Eds.) ACM Symposium on Applied Computing (SAC 2004), Proceedings, ACM, pp.72–78.
4. Baldoni, M., Baroglio, C., Martelli, A. and Patti, V. (2003) ‘Reasoning about conversation protocols in a logic-based agent language’, in A. Cappelli and F. Turini (Eds.) Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence, AI*IA 2003, Proceedings, Volume 2829 of Lecture Notes in Computer Science, Springer, pp.300–311.
5. Baldoni, M., Baroglio, C., Martelli, A. and Patti, V. (2006) ‘Reasoning about interaction protocols for customizing web service selection and composition’, Journal of Logic and Algebraic Programming, Special Issue on Web Services and Formal Methods, January 2007, Vol. 70, No. 1, pp.53–73.
6. Baldoni, M., Baroglio, C., Martelli, A., Patti, V. and Schifanella, C. (2005) ‘Verifying the conformance of web services to global interaction protocols: a first step’, in M. Bravetti, L. Kloul and G. Zavattaro (Eds.) Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW2005, and International Workshop on Web Services and Formal Methods, WS-FM 2005, Proceedings, Volume 3670 of Lecture Notes in Computer Science, Springer, pp.257–271.
7. Bauer, B. and Huget, M-P. (2004) ‘Modelling web service composition with UML 2.0’, Int. J. Web Eng. Technol., Vol. 1, No. 4, pp.484—501.
8. Bauer, B., Muller, J.P. and Odell, J. (2000) ‘Agent UML: a formalism for specifying multiagent software systems’, in P. Ciancarini and M. Wooldridge (Eds.) Agent-Oriented Software Engineering, First International Workshop, AOSE 2000, Revised Papers, Volume 1957 of Lecture Notes in Computer Science, Springer, pp.91–104.
9. Bellifemine, F., Poggi, A. and Rimassa, G. (2000) ‘Developing multi-agent systems with JADE’, in C. Castelfranchi and Y. Lesperance (Eds.) Intelligent Agents VII. Agent Theories Architectures and Languages, Seventh International Workshop, Proceedings, Volume 1986 of Lecture Notes in Computer Science, Springer, pp.89–103.
10. Bozzano, M. and Delzanno, G. (2002) ‘Automated protocol verification in linear logic’, Fourth International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP 2002, Proceedings, ACM, pp.38–49.
11. Bozzano, M. and Delzanno, G. (2004) ‘Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols’, J. Symb. Comput., Vol. 38, No. 5, pp.1375–1415.
12. Bozzo, L., Mascardi, V., Ancona, D. and Busetta, P. (2005) ‘CooWS: adaptive BDI agents meet service-oriented programming’, in P. Isaias and M.B. Nunes (Eds.) IADIS International Conference WWW/Internet 2005, ICWI 2005, Proceedings, IADIS Press, Vol. 2, pp.205–209.
13. Brak, R.L., Fleuriot, J.D. and McGinnis, J. (2004) ‘Theorem proving for protocol languages’, Second European Workshop on Multi-Agent Systems, EUMAS 2004, Proceedings.
14. Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F. and Mylopoulos, J. (2004) ‘Tropos: an agent-oriented software development methodology’, Autonomous Agents and Multi-Agent Systems, Vol. 8, No. 3, pp.203–236.
15. Brogi, A., Canal, C., Pimentel, E. and Vallecillo, A. (2004) ‘Formalizing web service choreographies’, Electr. Notes Theor. Comput. Sci., Vol. 105, pp.73–94.
16. Buhler, P.A. and Vidal, J.M. (2005) ‘Towards adaptive workflow enactment using multi-agent systems’, Information Technology and Management, Vol. 6, pp.61–87.
17. Bultan, T., Su, J. and Fu, X. (2006) ‘Analyzing conversations of web services’, IEEE Internet Computing, Vol. 10, No. 1, pp.18–25.
18. Busi, N., Gorrieri, R., Guidi, C., Lucchi, R. and Zavattaro, G. (2005) ‘Choreography and orchestration: a synergic approach for system design’, in B. Benatallah, F. Casati and P. Traverso (Eds.) Service-Oriented Computing, Third International Conference, ICSOC 2005, Proceedings, Volume 3826 of Lecture Notes in Computer Science, Springer, pp.228–240.
19. Cabac, L. and Moldt, D. (2004) ‘Formal semantics for AUML agent interaction protocol diagrams’, in J. Odell, P. Giorgini and J.P. Muller (Eds.) Agent-Oriented Software Engineering Workshop, Fifth International Workshop, AOSE 2004, Revised Selected Papers, Volume 3382 of Lecture Notes in Computer Science, Springer, p.4761.
20. Cernuzzi, L. and Zambonelli, F. (2004) ‘Experiencing AUML in the Gaia methodology’, Sixth International Conference on Enterprise Information Systems, ICEIS 2004, Proceedings, Vol. 3, pp.283–288.
21. Cervenka, R., Trencansky, I. and Calisti, M. (2005) ‘Modeling social aspects of multi-agent systems: the AML approach’, Agent-Oriented Software Engineering Workshop, Sixth International Workshop, AOSE 2005, Proceedings.
22. Chella, A., Cossentino, M. and Sabatucci, L. (2003) ‘Designing JADE systems with the support of case tools and patterns’, Exp Journal, Vol. 3, No. 3, pp.86–95.
23. Ciancarini, P. and Wooldridge, M. (2000) ‘Agent-oriented software engineering: the state of the art’, in P. Ciancarini and M. Wooldridge (Eds.) Agent-Oriented Software Engineering, First International Workshop, AOSE 2000, Revised Papers, Volume 1957 of Lecture Notes in Computer Science, Springer, pp.1–28.
24. Collier, R.W., O’Hare, G.M.P., Lowen, T.D. and Rooney, C. (2003) ‘Beyond prototyping in the factory of agents’, in V. Marik, J.P. Muller and M. Pechoucek (Eds.) Multi-Agent Systems and Applications III, Third International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Proceedings, Volume 2691 of Lecture Notes in Computer Science, Springer, pp.383–393.
25. Cossentino, M. and Potts, C. (2002) ‘A CASE tool supported methodology for the design of multi-agent systems’, Software Engineering Research and Practice, International Conference, SERP’02, Proceedings.
26. Cui, B., Dong, Y., Du, X., Kumar, K.N., Ramakrishnan, C.R., Ramakrishnan, I.V., Roychoudhury, A., Smolka, S.A. and Warren, D.S. (1998) ‘Logic programming and model checking’, in C. Palamidessi, H. Glaser and K. Meinke (Eds.) Principles of Declarative Programming, Tenth International Symposium, PLILP’98, Proceedings, Volume 1490 of Lecture Notes in Computer Science, Springer, pp.1–20.
27. Denti, E., Omicini, A. and Ricci, A. (2005) ‘Multi-paradigm Java-Prolog integration in tuProlog’, Sci. Comput. Program., Vol. 57, No. 2, pp.217–250.
28. Dinkloh, M. and Nimis, J. (2003) ‘A tool for integrated design and implementation of conversations in multiagent systems’, in M. Dastani, J. Dix and A.E. Fallah-Seghrouchni (Eds.) Programming Multi-Agent Systems, First International Workshop, PROMAS 2003, Selected Revised and Invited Papers, Volume 3067 of Lecture Notes in Computer Science, Springer, pp.187–200.
29. Dix, J., Sadri, F. and Satoh, K. (Eds.) (2003) ‘Special issue on computational logic in multi-agent systems’, Annals of Mathematics and Artificial Intelligence, Vol. 37, Nos. 1–2.
30. Ehrler, L. and Cranefield, S. (2004) ‘Executing agent UML diagrams’, Autonomous Agents and Multiagent Systems, Third International Joint Conference, AAMAS 2004, Proceedings, IEEE Computer Society, pp.906–913.
31. FIPA Modeling Technical Committee (2003) FIPA Modeling: Interaction Diagrams, First Proposal, 2 July 2003.
32. FIPA Technical Committee (2002) FIPA ACL Message Structure Specification, 6 December 2002.
33. Fu, X., Bultan, T. and Su, J. (2004a) ‘Analysis of interacting BPEL web services’, in S.I. Feldman, M. Uretsky, M. Najork and C.E. Wills (Eds.) World Wide Web, Thirteenth International Conference, WWW 2004, Proceedings, ACM, pp.621–630.
34. Fu, X., Bultan, T. and Su, J. (2004b) ‘Model checking XML manipulating software’, SIGSOFT Softw. Eng. Notes, Vol. 29, No. 4, pp.252–262.
35. Gardner, T. (2003) ‘UML modelling of automated business processes with a mapping to BPEL4WS’, First European Workshop on Object Orientation and Web Services, EOOWS 2003, Proceedings.
36. Gomez-Sanz, J. and Pavon, J. (2003) ‘Agent oriented software engineering with INGENIAS’, in V. Marik, J.P. Muller and M. Pechoucek (Eds.) Multi-Agent Systems and Applications III, Third International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Proceedings, Volume 2691 of Lecture Notes in Computer Science, Springer, pp.394–403.
37. Gomez-Sanz, J.J. and Pavon, J. (2005) ‘Implementing multi-agent systems organizations with INGENIAS’, in R.H. Bordini, M. Dastani, J. Dix and A.E. Fallah-Seghrouchni (Eds.) Programming Multi-Agent Systems, Third International Workshop, ProMAS 2005, Revised and Invited Papers, Volume 3862 of Lecture Notes in Computer Science, Springer, pp.236–251.
38. Greenwood, D. and Calisti, M. (2004) ‘Engineering web service-agent integration’, IEEE Systems, Cybernetics and Man Conference, Proceedings, IEEE, Vol. 2, pp.1918–1925.
39. Grønmo, R. and Solheim, I. (2004) ‘Towards modeling web service composition in UML’, in S. Bevinakoppa and J. Hu (Eds.) Web Services: Modeling, Architecture and Infrastructure, Second International Workshop, WSMAI2004, Proceedings, INSTICC Press, pp.72–86.
40. Gungui, I., Martelli, M. and Mascardi, V. (2005) ‘DCaseLP: a prototyping environment for multilingual agent systems’, Technical Report, DISI, University of Genova, Italy, DISI-TR-05–20.
41. Hinz, S., Schmidt, K. and Stahl, C. (2005) ‘Transforming BPEL to Petri Nets’, in W.M.P. van der Aalst, B. Benatallah, F. Casati and F. Curbera (Eds.) Business Process Management, Third International Conference, BPM 2005, Proceedings, Vol. 3649, pp.220–235.
42. Holzmann, G.J. (Ed.) (2003) The SPIN MODEL CHECKER – Primer and Reference Manual, Addison-Wesley.
43. Huget, M-P. (2002) ‘Generating code for agent UML sequence diagrams’, Technical Report, Department of Computer Science, University of Liverpool, UK, ULCS-02–020.
44. Juan, T., Pearce, A.R. and Sterling, L. (2002) ‘ROADMAP: extending the Gaia methodology for complex open systems’, Autonomous Agents & Multiagent Systems, First International Joint Conference, AAMAS 2002, Proceedings, ACM, pp.3–10.
45. Koning, J. and Romero-Hernandez, I. (2003) ‘Generating machine processable representations of textual representations of AUML’, in F. Giunchiglia, J. Odell and G. Weiß (Eds.) Agent-Oriented Software Engineering, Third International Workshop, AOSE 2002, Revised Papers and Invited Contributions, Volume 2585 of Lecture Notes in Computer Science, Springer, pp.126–137.
46. Kummer, O., Wienberg, F., Duvigneau, M., Schumacher, J., Kohler, M., Moldt, D., Rolke, H. and Valk, R. (2004) ‘An extensible editor and simulation engine for Petri Nets: Renew’, in J. Cortadella and W. Reisig (Eds.) Applications and Theory of Petri Nets, Twenty-fifth International Conference, ICATPN 2004, Proceedings, Volume 3099 of Lecture Notes in Computer Science, Springer, pp.484–493.
47. Li, Y.H., Paik, H-Y., Benatallah, B. and Benbernou, S. (2006) ‘Formal consistency verification between BPEL process and privacy policy’, Privacy Security Trust, PST 2006, Proceedings, McGraw Hill, pp.212–223.
48. Luck, M., McBurney, P., Shehory, O., Willmott, S. and the AL Community (Eds.) (2005) Agent Technology: Computing as Interaction — A Roadmap for Agent-Based Computing, AgentLink III.
49. Mantell, K. (2005) ‘From UML to BPEL – model driven architecture in a web services world’, http://www-128.ibm.com/developerworks/webservices/library/ws-uml2bpel/.
50. Mascardi, V., Martelli, M. and Sterling, L. (2004) ‘Logic-based specification languages for intelligent software agents’, Theory and Practice of Logic Programming, Vol. 4, No. 4, pp.429–494.
51. McIlraith, S.A. (2004) ‘Towards declarative programming for web services’, in R. Gia-cobazzi (Ed.) Static Analysis, 11th International Symposium, SAS 2004, Proceedings, Volume 3148 of Lecture Notes in Computer Science, Springer, p.21.
52. OASIS WSBPEL Technical Committees (2006) Web Services Business Process Execution Language (WS-BPEL) Version 2.0, 17 May 2006.
53. Object Management Group (2005a) MOF 2.0/XMI Mapping Specification, Version 2.1, 1 September 2005.
54. Object Management Group (2005b) Unified Modeling Language (UML): Superstructure, Version 2.0, 4 July 2005.
55. Padgham, L. and Winikoff, M. (2002) ‘Prometheus: a methodology for developing intelligent agents’, Autonomous Agents & Multiagent Systems, First International Joint Conference, AAMAS2002, Proceedings, ACM, pp.37–38.
56. Provost, W. (2003) ‘UML for web services’, http://www.xml.com/pub/a/ws/2003/08/05/uml.html.
57. Purvis, M., Cranefield, S., Nowostawski, M. and Carter, D. (2002) ‘Opal: a multi-level infrastructure for agent-oriented software development’, Discussion Paper 2002/01, Department of Information Science, University of Otago, New Zealand, http://www.otago.ac.nz/informationscience/publctns/complete/papers/dp2002–01.pdf.gz.
58. Rao, J., Kungas, P. and Matskin, M. (2004) ‘Logic-based web services composition: from service description to process model’, IEEE International Conference on Web Services, ICWS’04, Proceedings, IEEE Computer Society, pp.446–453.
59. Romero-Hernandez, I. and Koning, J-L. (2004) ‘A visual tool for the modeling of AUML specifications’, in J. Debenham (Ed.) Symposium on Professional Practice in AI, IFIP World Computer Congress, WCC 2004, Proceedings, Kluwer.
60. Rooney, C., Collier, R.W. and O’Hare, G.M.P. (2004) ‘VIPER: a VIsual Protocol EditoR’, in R.D. Nicola, G.L. Ferrari and G. Meredith (Eds.) Coordination Models and Languages, Sixth International Conference, COORDINATION 2004, Proceedings, Volume 2949 of Lecture Notes in Computer Science, Springer, pp.279–293.
61. Sadri, F. and Toni, F. (1999) ‘Computational logic and multi-agent systems: a roadmap’, Technical Report, Department of Computing, Imperial College, London.
62. Sterling, L. and Shapiro, E.Y. (1994) The Art of PROLOG, MIT Press, ISBN 0–262-19338–8.
63. Sturm, A., Dori, D. and Shehory, O. (2003) ‘Single model method for specifying multiagent systems’, In Autonomous Agents & Multiagent Systems, Second International Joint Conference, AAMAS2003, Proceedings, ACM, pp.121–128.
64. Thang, X. and Kowalczyk, R. (2005) ‘Enabling agent-based management of web services with WS2JADE’, 2005 NASA/DoD Conference on Evolvable Hardware, EH 2005, Proceedings, IEEE Computer Society, pp.407–412.
65. Van Breugel, F. and Koshkina, M. (2006) ‘Models and verification of BPEL’, http://www.cse.yorku.ca/~franck/research/drafts/.
66. Verbeek, H.M.W. and van der Aalst, W.M.P. (2005) ‘Analyzing BPEL processes using Petri nets’, in D. Marinescu (Ed.) Applications of Petri Nets to Coordination, Workflow and Business Process Management, Second International Workshop, Proceedings, pp.59–78.
67. W3C Web Services Choreography Working Group (2002) Web Service Choreography Interface (WSCI) Version 1.0, 8 August 2002.
68. W3C Working Group (1999) XSL Transformations (XSLT) Version 1.0, 16 November 1999.
69. Wagner, G. (2004) ‘AOR modelling and simulation towards a general architecture for agent-based discrete event simulation’, Agent-Oriented Information Systems, Fifth International Bi-Conference Workshop, AOIS 2003, Revised Selected Papers, Volume 3030 of Lecture Notes in Computer Science, Springer, pp.174–188.
70. Walton, C. (2005) ‘Uniting agents and web services’, AgentLinkNews, Vol. 18, pp.26–28.
71. Web Services Description Working Group (2006) Web Services Description Language (WSDL) Version 2.0, 27 March 2006.
72. Winikoff, M. (2005) ‘Towards making agent UML practical: a textual notation and a tool’, 2005 NASA/DoD Conference on Evolvable Hardware, EH 2005, Proceedings, IEEE Computer Society, pp.401–412.
73. Zambonelli, F., Jennings, N.R. and Wooldridge, M. (2003) ‘Developing multiagent systems: the Gaia methodology’, ACM Transactions on Software Engineering and Methodology, Vol. 12, No. 3, pp.317–370.
74. http://www.cs.rmit.edu.au/agents/protocols/
75. http://lia.deis.unibo.it/research/socs/
76. http://centria.di.fct.unl.pt/~clima/
77. http://staff.science.uva.nl/~ulle/DALT-2006/home.html
78. A recent survey of models and verification tools for BPEL is provided by van Breugel and Koshkina (2006).
79. http://www.disi.unige.it/person/MascardiV/Software/WEST2EAST.html
80. http://www.jdom.org/
81. http://www.cs.rmit.edu.au/agents/pdt/
82. http://www.agent-software.com
83. Consider for example the two tutorials http://www.w3schools.com/wsdl/default.asp and http://www.eclipse.org/stp/b2j/docs/tutorials/wsbpel/wsbpel_tut.php, dealing with WSDL and http://www.eclipse.org/stp/b2j/docs/tutorials/wsbpel/wsbpel_tut.php WS-BPEL, respectively.
84. The reader may consider one of the online Prolog tutorials, such as http://www.coli.uni-saarland.de/~kris/learn-prolog-now/lpnpage.php?pageid=online, besides the classic book The Art of Prolog by Sterling and Shapiro (1994).
85. Note that here, SFinal is a Prolog variable that stands for any Prolog term representing the state to reach at the end of the cycle; it should not be confused with the final constant that represents the state in which the protocol terminates.
86. http://www.mysql.com/
87. http://www.alphaworks.ibm.com/tech/ettkws
88. http://www.parasoft.com/jsp/products/home.jsp?product=BPEL&itemId=114
89. http://www.306.ibm.com/software/websphere
90. http://www.oracle.com/technology/products/ias/bpel/index.html
91. http://ingenias.sourceforge.net/
92. http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html