Describing and reasoning on Web Services using process algebra

International Journal of Business Process Integration and Management

Volumn 1, Issue 2, 2006, Pages 116-128

  Salaün, Gwen ^a   Bordeaux, Lucas ^b   Schaerf, Marco ^c  

^a INRIA RHÔNE ALPES   (France)

^b MICROSOFT RESEARCH   (United Kingdom)

^c SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

Abstract descriptions; Automated reasoning; Process Algebra (PA); Web services (WSs)

Indexed keywords

EID: 33746654119     PISSN: 17418763     EISSN: 17418771     Source Type: Journal    
DOI: 10.1504/IJBPIM.2006.010025     Document Type: Article

References (37)

1. Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I. and Weerawarana, S. (2003) 'Specification: business process execution language for web services version 1.1', Available at: http:// www-106.ibm.com/developerworks/library/ws-bpel/.
2. Baeten, J.C.M. and Weijand, W.P. (1990) Process Algebra, Volume 18 of Cambridge Tracts in Theoretical Computer Science, Cambridge, England: Cambridge University Press.
3. Bergstra, J.A., Ponse, A. and Smolka, S.A. (Eds) (2001) Handbook of Process Algebra, Elsevier.
4. Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M. and Mecella, M. (2003) 'Automatic composition of e-services that export their behavior', Proceedings of ICSOC'03, LNCS, Italy: Springer-Verlag, Vol. 2910, pp.43-58.
5. Bolognesi, T. and Brinksma, E. (1989) 'Introduction to the ISO specification language LOTOS', The Formal Description Technique LOTOS. North-Holland: Elsevier Science Publishers, pp.23-73.
6. Bordeaux, L., Salaün, G., Berardi, D. and Mecella, M. (2004) 'When are two web services compatible?', in M-C. Shan et al. (Eds). Proceedings of TES'04, LNCS, Canada: Springer-Verlag, Vol. 3324, pp.15-28.
7. Clarke, E.M., Grumberg, O. and Peled, D. (2000) Model Checking, The MIT Press.
8. Cleaveland, R., Li, T. and Sims, S. (2000) 'The Concurrency Workbench of the New Century (Version 1.2)', Department of Computer Science, North Carolina State University.
9. Chirichiello, A. and Salaün, G. (2005) 'Encoding abstract descriptions into executable web services: towards a formal development', Proceedings of WI'05, France, IEEE Computer: Society Press, pp.457-463.
10. DAML-S Coalition: Ankolekar, A., Burstein, M., Hobbs, J.R., Lassila, O., Martin, D., McDermott, D., McIlraith, S.A., Narayanan, S., Paolucci, M., Payne, T. and Sycara, K. (2002) 'DAML-S: web service description for the Semantic Web', Proceedings of ISWC'02, LNCS, Italy: Springer-Verlag, Vol. 2342, pp.348-363.
11. de Alfaro, L. and Henzinger, T.A. (2001) 'Interface automata', Proceedings of ESEC/FSE'01, Austria: ACM Press, pp. 109-120.
12. Deutsch, A., Sui, L. and Vianu, V. (2004) 'Specification and verification of data-driven web services', Proceedings of PODS'04, USA: ACM Press, pp.71-82.
13. Fu, X., Bultan, T. and Su, J. (2004) 'Analysis of interacting BPEL web services', Proceedings of WWW'04, USA: ACM Press, pp.621-630.
14. Foster, H., Uchitel, S., Magee, J. and Kramer, J. (2003) 'Model-based verification of web service compositions', Proceedings of ASE'03, Canada: IEEE Computer Society Press, pp. 152-163.
15. Hamadi, R. and Benatallah, B. (2003) 'A Petri net-based model for web service composition', Proceedings of ADC'03, CRPIT, Australia: Australian Computer Society, Vol. 17.
16. Hull, R., Benedikt, M., Christophides, V. and Su, J. (2003) 'E-services: a look behind the curtain', Proceedings of PODS'03, USA: ACM Press, pp.1-14.
17. Hoare, C.A.R. (1984) Communicating Sequential Processes, Prentice-Hall.
18. Holzmann, G. (2003) The SPIN Model-Checker: Primer and Reference Manual, Addison-Wesley.
19. Lazovik, A., Aiello, M. and Papazoglou, M.P. (2003) 'Planning and monitoring the execution of web service requests', Proceedings of ICSOC'03, LNCS, Italy: Springer-Verlag, Vol. 2910, pp.335-350.
20. Leymann, F. (2001) 'Managing business processes via workflow technology', Tutorial at VLDB'01, Italy.
21. Manna, Z. and Pnueli, A. (1995) Temporal Verification of Reactive Systems: Safety, Springer.
22. McIlraith, S.A. and Son, T.C. (2002) 'Adapting golog for composition of Semantic Web services', Proceedings of KR'02, France: Morgan Kaufmann Publishers, pp.482-496.
23. Medjahed, B., Bouguettaya, A. and Elmagarmid, A.K. (2003) 'Composing web services on the Semantic Web', The VLDB Journal, Vol. 12, No. 4, pp.333-351.
24. Meredith, G. and Bjorg, S. (2003) 'Contracts and types', Communication of the ACM, Vol. 46, No. 10, pp.41-47.
25. Milner, R. (1989)' Communication and concurrency', International Series in Computer Science, Prentice Hall.
26. Nakajima, S. (2002) 'Model-checking verification for reliable web service', Proceedings of OOWS'02, Satellite Event of OOPSLA'02, USA.
27. Narayanan, S. and McIlraith, S. (2003) 'Analysis and simulation of web services', Computer Networks, Vol. 42, No. 5, pp.675-693.
28. Ng, M.Y. and Butler, M. (2002) 'Tool support for visualizing CSP in UML', Proceedings of ICFEM'02, LNCS, China: Springer-Verlag, Vol. 2495, pp.287-298.
29. Parrow, J. (2001) 'An introduction to the π-calculus', In [5], Chapter 8, Elsevier, pp.479-543.
30. Pistore, M., Roveri, M. and Busetta, P. (2004) 'Requirements-driven verification of web services', Proceedings of WS-FM'04, Italy: ENTCS, Vol. 105, pp.95-108.
31. Salaün, G., Ferrara, A. and Chirichiello, A. (2004) 'Negotiation among web services using LOTOS/CAD', in L-J. Zhang (Ed). Proceedings of ECOWS'04, LNCS, Germany: Springer-Verlag, Vol. 3250, pp. 198-212.
32. Schneider, S., Davies, J., Jackson, D.M., Reed, G.M., Reed, J.N. and Roscoe, A.W. (1992) 'Timed CSP: theory and practice', Proceedings of REX Workshop on Real-Time: Theory in Practice, LNCS, Germany: Springer, Vol. 600, pp.640-675.
33. Thatte, S. (2001) XLANG: Web Services for Business Process Design.
34. Viroli, M. (2004) 'Towards a formal foundation to orchestration languages', Proceedings of WS-FM'04, Italy: ENTCS, Vol. 105, pp.51-71,
35. C (2002) 'Web services choreography interface 1.0', Available at: http:www.w3.org/TR/wsci.
36. C (2003) 'Web services choreography requirements 1.0', Available at: http:www.w3.org/TR/ws-chor-reqs.
37. C (2004) 'Web services choreography description language 1.0', Available at: http://www.w3.org/TR/ws-cdl-10/.