Verifying correctness of Web services choreography

Proceedings of ECOWS 2006: Fourth European Conference on Web Services

Volumn , Issue , 2006, Pages 306-317

  Tarek, Melliti ^a   Boutrous Saab, Celine ^b   Rampacek, Sylvain ^c  

^a UNIVERSITY OF EVRY   (France)

^b UNIVERSITÉ PARIS DAUPHINE   (France)

^c UNIVERSITÉ DE REIMS CHAMPAGNE ARDENNE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRONIC COMMERCE; MATHEMATICAL MODELS; PROBLEM SOLVING; SOCIETIES AND INSTITUTIONS;

INTER-ORGANIZATIONAL BUSINESS COOPERATION; WEB SERVICES CHOREOGRAPHY;

WEB SERVICES;

EID: 38649083140     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECOWS.2006.38     Document Type: Conference Paper

References (21)

1. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. Business Process Execution Language for Web Services v1.1, may 2003.
2. M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Verifying the conformance of web services to global interaction protocols: A first step. In International Workshop on Web Services and Formal Methods (WS-FM'05), Versailles, France, 2005. Springer-Verlag.
3. J. Bergstra and J. Klop. Process algebra for synchronous communication. Information and Control, 60(1-3), pages 109-137, 1984.
4. M. Bravetti, C. Guidi, R. Lucchi, and G. Zavattaro. Supporting e-commerce systems formalization with choreography languages. In SAC '05: Proceedings of the 2005 ACM symposium on Applied computing, pages 831-835, New York, NY, USA, 2005. ACM Press.
5. N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro. Towards a formal framework for choreography. In WETICE '05: Proceedings of the 14th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprise, pages 107-112, Washington, DC, USA, 2005. IEEE Computer Society.
6. O. C., van der Aalst, S. Breutel, D. M. ter Hofstede, and V. H. Formal semantics and analysis of control flow in wsbpel. echnical Repor BPM-05-13, BPM, 2005.
7. A. Ferrara. Web services: a process algebra approach. In ACM, editor, ICSOC, pages 242-251, 2004.
8. S. Haddad, T. Melliti, P. Moreaux, and S. Rampacek. A dense time semantics for web service specification languages. In Proceedings of International Conference Of Telecomunication Theories, ICTTA, pages 287-295, Damascus, Syria, 2004.
9. S. Haddad, T. Melliti, P. Moreaux, and S. Rampacek. Modelling web services interoperability. In Proceedings of the Sixth International Conference on Entreprise Information Systems, pages 287-295, Porto, Portugal, 2004.
10. R. Hamadi and B. Benatallah. A Petri Net-based model for web service composition. In K.-D. Schewe and X. Zhou, editors, Fourteenth Australasian Database Conference (ADC2003), volume 17 of CRPIT, pages 191-200, Adelaide, Australia, 2003. ACS.
11. C. Hoare. Communicating sequential processes. Prentice Hall, 1985.
12. T. Melliti and S. Haddad. Synthesis of agents for web services interaction. International Confrence Electronic Commerce, workshop, Sept 2003.
13. L. Meredith and S. Bjorg. Contracts and types. In Communications of the ACM, volume 40(10), pages 41-47, 2003.
14. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
15. S. Nakajima. Model-checking verification for reliable web service. In Workshop on Object-Oriented Web Services, Seattle, Washington, 2002.
16. X. Nicollin and J. Sifakis. The algebra of timed process, ATP: Theory and application. Technical report, Technical Report RT-C26, Institut National Polytechnique De Grenoble, 1991.
17. B.-H. Schlingloff, A. Martens, and K. Schmidt. Modeling and model checking web services. Electr. Notes Theor. Comput. Sci., 126:3-26, 2005.
18. K. Schmidt and C. Stahl. A Petri Net semantic for BPEL4WS - validation and application. In E. K. (ed.), editor, Workshop on Algorithms and Tools for Petri Nets (AWPN 04), pages 1-6, Germany, 2004.
19. C. Stahl. A Petri Net semantics for bpel. technical repport 10099, Humboldt-Universitat zu Berlin, 2004.
20. van Breugel Franck and K. Mariya. Dead-path-elimination in BPEL4WS. In 5th International Conference on Application of Concurrency to System Design, St Malo, 2005. IEEE.
21. W. van der Aalst, M. Dumas, C. Ouyang, A. Rozinat, and H. Verbeek. Choreography conformance checking: An approach based on BPEL and Petri Nets, may 2005.