Analysis and management of web service protocols

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

Volumn 3288, Issue , 2004, Pages 524-541

  Benatallah, Boualem ^a   Casati, Fabio ^b   Toumani, Farouk ^c  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

^b HEWLETT PACKARD LABORATORIES   (United States)

^c Software Engineering Department ISIMA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION SERVICES; INTERNET PROTOCOLS; LIFE CYCLE; MIDDLEWARE; NETWORK ARCHITECTURE; SERVICE LIFE; SERVICE ORIENTED ARCHITECTURE (SOA); WEBSITES;

BUSINESS PROTOCOLS; PROTOCOL DESCRIPTION; PROTOCOL INFORMATION; SERVICE DESCRIPTION; SERVICE PROTOCOLS; SUPPORT SERVICES; WEB SERVICE DESCRIPTION;

WEB SERVICES;

EID: 35048824354     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30464-7_40     Document Type: Article

References (13)

1. G. Alonso, F. Casati, H. Kuno, and V. Machiraju. Web Services Concepts, Architectures and Applications. Springer Verlag, 2004.
2. K. Baina, B. Benatallah, F. Casati, and F. Toumani. Model-Driven Web Service Development. In CAiSE'04, volume 3084 of LNCS, Riga, Latvia, 2004. Springer.
3. B. Benatallah, F. Casati, and F. Toumani. Web Service Conversation Modeling: A Cornerstone for e-Business Automation. IEEE Internet Computing, 6(1),-2004.
4. B. Benatallah, F.Casati, and F. Toumani. A Framework for Modeling, Analyzing, and Managing Web Service Protocols. Technical Report 0430, CSE-UNSW, August, 2004.
5. T. Bultan, X. Fu, R. Hull, and J. Su. Conversation specification: a new approach to design and analysis of e-service composition. In WWW'03. ACM, 2003.
6. C. Bussler. B2B Integration: Concepts and Architecture. Springer Verlag, 2003.
7. C. Canal, L. Fuentes, E. Pimentel, J. M. Troya, and A. Vallecillo. Adding Roles to CORBA Objects. IEEE TSE, 29(3):242-260, March 2003.
8. R.J. van Glabbeek. The Linear Time - Branching Time Spectrum (extended abstract). In CONCUR'90, volume 458 of LNCS, pages 278-297. Springer, 1990.
9. T.A. Henzinger, S. Qadeer, S.K. Rajamani, and S. Tasiran. An assume-guarantee rule for checking simulation. ACM Trans. Prog. Lang. Syst., 24(1):51-64, Jan' 02.
10. H.Skogsrud, B.Benatallah, and F.Casati. Model-Driven Trust Negotiation for Web Services. IEEE Internet Computing, 7(6), October 2003.
11. M. Mecella, B. Pernici, and P. Craca. Compatibility of e -Services in a Cooperative Multi-platform Environment. In VLDB-TES'O1, Rome, Italy, 2001. Springer.
12. M. P. Papazoglou and D. Georgakopoulos. Special issue on service oriented computing. Commun. ACM, 46(10):24-28, 2003.
13. D.M. Yellin and R.E. Storm. Protocol Specifications and Component Adaptors. ACM Trans. Program. Lang. Syst., 19(2):292-333, March 1997.