Using process algebra for web services: Early results and perspectives

Lecture Notes in Computer Science

Volumn 3324, Issue , 2005, Pages 54-68

  Bordeaux, Lucas ^a   Salaün, Gwen ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; ALGEBRA; COMPUTER PROGRAMMING; FORMAL LANGUAGES; TELECOMMUNICATION SERVICES;

COMPUTATIONAL ENTITIES; FORMAL DESCRIPTION; PROCESS ALGEBRA; WEB LANGUAGES;

WORLD WIDE WEB;

EID: 23944484455     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31811-8_5     Document Type: Conference Paper

References (33)

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. Specification: Business Process Execution Language for Web Services Version 1.1. 2003. Available at http://www-106.ibm.com/developerworks/webservices/library/ ws-bpel/.
2. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. Automatic Composition of E-services That Export Their Behavior. In M. E. Orlowska, S. Weerawarana, M. P. Papazoglou, and J. Yang, editors, Proc. of ICSOC'03, volume 2910 of LNCS, pages 43-58, Italy, 2003. Springer-Verlag.
3. L. Bordeaux, G. Salaün, D. Berardi, and M. Mecella. When are two Web Services Compatible? In Proc. of TES'04, To appear.
4. M. Bravetti and G. Zavattaro, editors. Proc. of the 1st International Workshop on Web Services and Formal Methods (WS-FM'04), Italy, 2004. To appear in ENTCS.
5. A. Brogi, C. Canal, E. Pimentel, and A. Vallecillo. Formalizing Web Services Choreographies. In Proc. of WS-FM'04, Italy, 2004. To appear.
6. A. Chirichiello and G. Salaün. Developing Executable and Certified Web Services from Abstract Descriptions. Submitted.
7. E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. The MIT Press, 2000.
8. A. Deutsch, L. Sui, and V. Vianu. Specification and Verification of Data-driven Web Services. In ACM, editor, Proc. of PODS'04, pages 71-82, Paris, 2004. ACM Press.
9. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based Verification of Web Service Compositions. In Proc. of ASE'OS, pages 152-163, Canada, 2003. IEEE Computer Society Press.
10. X. Fu, T. Bultan, and J. Su. Analysis of Interacting BPEL Web Services. In Proc. of WWW'04, pages 621-630, USA, 2004. ACM Press.
11. A. Fuxman, L. Liu, M. Pistore, M. Roveri, and J. Mylopoulos. Specifying and Analyzing Early Requirements: Some Experimental Results. In Proc. of RE'03, USA, 2003. IEEE Computer Society Press.
12. R. Hamadi and B. Benatallah. A Petri Net-based Model for Web Service Composition. In K.-D. Schewe and X. Zhou, editors, Proc. of ADC'03, volume 17 of CRPIT, pages 191-200, Australia, 2003. Australian Computer Society.
13. J. Harrison. Verification: Industrial Applications. Lecture at 2003 Marktoberdorf Summer School, USA.
14. G. J. Holzmann. The Spin Model Checker, Primer and Reference Manual. AddisonWesley, Reading, Massachusetts, 2003.
15. R. Hull, M. Benedikt, V. Christophides, and J. Su. E-Services: a Look Behind the Curtain. In ACM, editor, Proc. of PODS'03, pages 1-14, USA, 2003. ACM Press.
16. ISO. LOTOS: a Formal Description Technique based on the Temporal Ordering of Observational Behaviour. Technical Report 8807, International Standards Organisation, 1989.
17. D. Lau and J. Mylopoulos. Designing Web Services with Tropos. In Proc. of ICWS'04, pages 306-313, San Diego, USA, 2004. IEEE Computer Society Press.
18. A. Lazovik, M. Aiello, and M. P. Papazoglou. Planning and Monitoring the Execution of Web Service Requests. In M. E. Orlowska, S. Weerawarana, M. P. Papazoglou, and J. Yang, editors, Proc. of ICSOC'03, volume 2910 of LNCS, pages 335-350, Italy, 2003. Springer-Verlag.
19. F. Leymann. Managing Business Processes via Workflow Technology. Tutorial at VLDB'01, Italy, 2001.
20. Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems - Safety. Springer, 1995.
21. K. Mantell. From UML to BPEL. IBM developer Works report, 2003.
22. S. A. Mcllraith and T. C. Son. Adapting Golog for Composition of Semantic Web Services. In D. Fensel, F. Giunchiglia, D. McGuinness, and M.-A. Williams, editors, Proc. of KR'02, pages 482-496, France, 2002. Morgan Kaufmann Publishers.
23. B. Medjahed, A. Bouguettaya, and A. K. Elmagarmid. Composing Web services on the Semantic Web. The VLDB Journal, 12(4):333-351, 2003.
24. G. Meredith and S. Bjorg. Contracts and Types. Communications of the ACM, 46(10):41-47, 2003.
25. R. Milner. Communication and Concurrency. International Series in Computer Science. Prentice Hall, 1989.
26. S. Nakajima. Model-checking Verification for Reliable Web Service. In Proc. of OOWS'02, satellite event of OOPSLA'02, USA, 2002.
27. S. Narayanan and S. McIlraith. Analysis and Simulation of Web Services. Computer Networks, 42(5):675-693, 2003.
28. J. Parrow. An Introduction to the π-Calculus, chapter 8,.pages 479-543. Handbook of Process Algebra. Elsevier, 2001.
29. G. Salaün, L. Bordeaux, and M. Schaerf. Describing and Reasoning on Web Services using Process Algebra. In Proc. of ICWS'04, pages 43-51, San Diego, USA, 2004. IEEE Computer Society Press.
30. G. Salaün, A. Ferrara, and A. Chirichiello. Negotiation among Web Services using LOTOS/CADP. In M. Jeckle and L.-J. Zhang, editors, Proc. of ECOWS'04, volume 3250 of LNCS, Germany, 2004. Springer-Verlag. To appear.
31. W3C. Web Services Choreography Description Language Version 1.0. Available at http://www.w3.org/TR/2004/WD-ws-cdl-10-20040427/.
32. W3C. Web Services Choreography Interface 1.0. Available at http:www.w3.org/TR/wsci.
33. W3C. Web Services Choreography Requirements 1.0 (draft). Available at http:www.w3.org/TR/ws-chor-reqs.