Encoding abstract descriptions into executable web services: Towards a formal development

Proceedings - 2005 IEEE/WIC/ACM InternationalConference on Web Intelligence, WI 2005

Volumn 2005, Issue , 2005, Pages 457-463

  Chirichiello, Antonella ^a   Salaün, Gwen ^b  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b INRIA RHÔNE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; ARTIFICIAL INTELLIGENCE; FORMAL LANGUAGES; INFORMATION SERVICES;

E-BUSINESS APPLICATION; PROCESS ALGEBRA; STANDARD ORCHESTRATION LANGUAGES; WEB SERVICES;

WORLD WIDE WEB;

EID: 33746636585     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WI.2005.59     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. Specification: Business Process Execution Language for Web Services Version 1.1. 2003.
2. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. Automatic Composition of E-services That Export Their Behavior. In Proc. of ICSOC'03, volume 2910 of LNCS, pages 43-58, Italy, 2003. Springer-Verlag.
3. J. A. Bergstra, A. Ponse, and S. A. Smolka, editors. Handbook of Process Algebra. Elsevier, 2001.
4. M. Butler and C. Ferreira. An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions. In Proc. of COORDINATION'04, volume 2949 of LNCS, pages 87-104, Italy, 2004. Springer-Verlag.
5. A. Chirichiello and G. Salaün. Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development. Technical Report 08-05, DIS - Università di Roma "La Sapienza", Italy, 2005. Available on the Chirichiello's webpage.
6. A. Deutsch, L. Sui, and V. Vianu. Specification and Verification of Data-driven Web Services. In Proc. of PODS'04, pages 71-82, Paris, 2004. ACM Press.
7. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based Verification of Web Service Compositions. In Proc. of ASE'03, pages 152-163, Canada, 2003. IEEE Computer Society Press.
8. X. Fu, T. Bultan, and J. Su. Analysis of Interacting BPEL Web Services. In Proc. of WWW'04, USA, 2004. ACM Press.
9. A. Fuxman, L. Liu, M. Pistore, M. Roveri, and J. Mylopoulos. Specifying and Analyzing Early Requirements: Some Experimental Results. In Proc. of RE'03, pages 105-114, USA, 2003. IEEE Computer Society Press.
10. H. Garavel, F. Lang, and R. Mateescu. An Overview of CADP 2001. EASST Newsletter, 4:13-24, 2001.
11. Also available as INRIA Technical Report RT-0254.
12. R. Hamadi and B. Benatallah. A Petri Net-based Model for Web Service Composition. In Proc. of ADC'03, volume 17 of CRPIT, Australia, 2003. Australian Computer Society.
13. R. Hull, M. Benedikt, V. Christophides, and J. Su. E-Services: a Look Behind the Curtain. In Proc. of PODS'03, pages 1-14, USA, 2003. ACM Press.
14. ISO. LOTOS: a Formal Description Technique based on the Temporal Ordering of Observational Behaviour. Technical Report 8807, International Standards Organisation, 1989.
15. D. Lau and J. Mylopoulos. Designing Web Services with Tropos. In Proc. of ICWS'04, pages 306-314, San Diego, USA, 2004. IEEE Computer Society Press.
16. K. Mantell. From UML to BPEL. IBM developerWorks report, 2003.
17. S. Narayanan and S. Mcllraith. Analysis and Simulation of Web Services. Computer Networks, 42(5):675-693, 2003.
18. M. Pistore, M. Roveri, and P. Busetta. Requirements-Driven Verification of Web Services. In Proc. of WS-FM'04, volume 105 of ENTCS, pages 95-108, Italy, 2004.
19. 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.
20. W3C. Web Services Choreography Description Language Version 1.0.
21. W3C. Web Services Description Language (WSDL) 1.1.