Verifying the conformance of web services to global interaction protocols: A first step

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3670 LNCS, Issue , 2005, Pages 257-271

  Baldoni, M ^a   Baroglio, C ^a   Martelli, A ^a   Patti, V ^a   Schifanella, C ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

Conformance test; Finite state automata; Formal verification; Web service interaction protocols

Indexed keywords

COMPUTER NETWORKS; ENCODING (SYMBOLS); FINITE AUTOMATA; FORMAL LANGUAGES; INTEROPERABILITY; NETWORK PROTOCOLS;

CONFORMANCE TEST; FINITE STATE AUTOMATA; FORMAL VERIFICATION; WEB SERVICE INTERACTION PROTOCOLS;

WORLD WIDE WEB;

EID: 33646130829     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11549970_19     Document Type: Conference Paper

References (18)

1. M. Alberti, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Specification and verification of agent interactions using social integrity constraints. In Proc. of the Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003, volume 85(2), Eindhoven, the Netherlands, 2003. Elsevier.
2. G. Alonso, F. Casati, H. Kuno, and V. Machiraju. Web Services. Springer, 2004.
3. M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Verifying protocol conformance for logic-based communicating agents. In Proc. of CLIMA V, LNCS series 2005. To appear.
4. A. Barros, M. Dumas, and P. Oaks. A critical overview of the web services choreography description language(ws-cdl). Business Process Trends, 2005. http://www.bptrends.com.
5. D. Berardi, D. Calvanese, G. G. De Giacomo, M. Lenzerini, and M. Mecella. Automatic composition of e-services that export their behavior. In Proc. of ICSOC 2003, LNCS 2910, pages 43-58. Springer, 2003.
6. BPEL4WS. http://www-106.ibm.com/developerworks/library/ws-bpel. 2003.
7. M. Bravetti, C. Guidi, R. Lucchi, and G. Zavattaro. Supporting e.commerce systems formalization with choreography languages. In Proc. of SAC'05. ACM Press, 2005.
8. T. Bultan, X. Fu, R. Hull, and J. Su. Conversation specification: A new approach to design and analysis of e-service composition. In Proc. of WWW'03, 2003.
9. U. Endriss, N. Maudet, F. Sadri, and F. Toni. Protocol conformance for logic-based agents. In Proc. of IJCAI-2003, pages 679-684. 2003.
10. U. Endriss, N. Maudet, F. Sadri, and F. Toni. Logic-based agent communication protocols. In Advances in agent communication languages, LNAI 2922, pages 91-107. Springer-Verlag, 2004.
11. V. Garg and M.T. Ragunath. Concurrent regular expressions and their relationship to Petri nets. Theoretical Computer Science, 96:285-304, 1992.
12. F. Guerin and J. Pitt. Verification and Compliance Testing. In Communication in Multiagent Systems, LNAI 2650, pages 98-112. Springer, 2003.
13. J. E. Hopcroft and J. D. Ullman. Introduction to automata theory, languages, and computation. Addison-Wesley Publishing Company, 1979.
14. M. P. Huget and J.L. Koning. Interaction Protocol Engineering. In Communication in Multiagent Systems, LNAI 2650, pages 179-193. Springer, 2003.
15. N. Kavantzas, D. Burdett, G. Ritzinger, and Y. Lafon. Web services choreography description language version 1.0. Available at http://www.w3.org/ TR/ws-cdl-10, 2004.
16. M. Mazzara and R. Lucchi. A framework for generic error handling in business processes. In Proc. of WS-FM 2004, volume 105 of ENTCS. Elsevier, 2004.
17. J. Odell, H. V. D. Parunak, and B. Bauer. Extending UML for agents. In Proc. of the Agent-Oriented Information System Workshop at AAAI'00. 2000.
18. M. Viroli. Towards a formal foundation to orchestration languages. In Proc. of WS-FM 2004, volume 105 of ENTCS, pages 51-71, Eindhoven, the Netherlands, 2004. Elsevier.