Representing, analysing and managing Web service protocols

Data and Knowledge Engineering

Volumn 58, Issue 3, 2006, Pages 327-357

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

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

^b HEWLETT PACKARD COMPANY   (United States)

^c UNIVERSITÉ BLAISE PASCAL   (France)

Author keywords

Compatibility analysis; Protocol management operators; Replaceability analysis; Web service protocols

Indexed keywords

COMPUTER ARCHITECTURE; DATA REDUCTION; INFORMATION RETRIEVAL; KNOWLEDGE ENGINEERING; MIDDLEWARE; WORLD WIDE WEB;

COMPATIBILITY ANALYSIS; PROTOCOL MANAGEMENT OPERATORS; REPLACEABILITY ANALYSIS; WEB SERVICE PROTOCOLS;

NETWORK PROTOCOLS;

EID: 33745626091     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2005.07.006     Document Type: Article

References (32)

1. Benatallah B., Casati F., and Toumani F. Web service conversation modeling: A cornerstone for e-business automation. IEEE Internet Comput. 8 1 (2004) 46-54
2. Alonso G., Casati F., Kuno H., and Machiraju V. Web Services Concepts, Architectures and Applications (2004), Springer-Verlag
3. Papazoglou M.P., and Georgakopoulos D. Special issue on service oriented computing. Commun. ACM 46 10 (2003) 24-28
4. B. Benatallah, F. Casati, D. Grigori, H.R.M. Nezhad, F. Toumani, Developing adapters for web services integration, in: CAiSE 2005, 415-429, Porto, Portugal, LNCS 3520 Springer, ISBN 3-540-26095-1.
5. Benatallah B., Casati F., and Toumani F. Analysis and management of web service protocols. ER Conference, Shanghai, China. Lecture Notes in Computer Science vol. 3288 (2004), Springer 524-541
6. Zeng L., Benatallah B., Ngu A.H., Dumas M., Kalagnanam J., and Chang H. QoS-aware Middleware for Web Services Composition. IEEE Trans. Software Eng. 30 5 (2004) 311-327
7. Medjahed B., Benatallah B., Bouguettaya A., Ngu A., and Elmagarmid A. Business-to-business interactions: issues and enabling technologies. VLDB J. 12 1 (2003) 59-85
8. Bussler C. B2B Integration: Concepts and Architecture (2003), Springer-Verlag
9. Baina K., Benatallah B., Casati F., and Toumani F. Model-driven web service development. CAiSE'04, LNCS vol. 3084 (2004), Springer, Riga, Latvia 290-306
10. Skogsrud H., Benatallah B., and Casati F. Model-driven trust negotiation for web services. IEEE Internet Comput. 7 6 (2003) 45-52
11. Benatallah B., Casati F., Skogsrud H., and Toumani F. Abstracting and enforcing web service protocols. Int. J. Cooperat. Inf. Syst. 13 4 (2004) 413-440
12. Yellin D., and Storm R. Protocol specifications and component adaptors. ACM Trans. Prog. Lang. Syst. 19 2 (1997) 292-333
13. Milner R. Communication and Concurrency (1989), Prentice Hall International
14. Glabbeek R.V. The linear time-branching time spectrum (extended abstract). CONCUR'90, LNCS vol. 458 (1990), Springer 278-297
15. Henzinger T., Qadeer S., Rajamani S., and Tasiran S. An assume-guarantee rule for checking simulation. ACM Trans. Prog. Lang. Syst. 24 1 (2002) 51-64
16. Ioannidis Y., Ramakrishnan R., and Winger L. Transitive closure algorithms based on graph traversal. ACM Trans. Database Syst. 18 3 (1993) 512-576
17. Canal C., Fuentes L., Pimentel E., Troya J.M., and Vallecillo A. Adding roles to corba objects. IEEE TSE 29 3 (2003) 242-260
18. Bultan T., Fu X., Hull R., and Su J. Conversation specification: a new approach to design and analysis of e-service composition. WWW'03 (2003), ACM 403-410
19. Mecella M., Pernici B., and Craca P. Compatibility of e-services in a cooperative multi-platform environment. VLDB-TES'01 (2001), Springer, Rome, Italy 44-57
20. Hull R., Benedikt M., Christophides V., and Su J. E-services: a look behind the curtain. PODS, San Diego, USA (2003), ACM 1-14
21. L. Bordeaux, G. Salaün, D. Berardi, M. Mecella, When are two web services compatible? in: VLDB TES'04. Toronto, Canada, 2004, pp. 15-28.
22. A.H.X. Dong, J. Madhavan, E. Nemes, J. Zhang, Similarity search for web services, in: VLDB'04. Toronto, Canada, 2004, pp. 372-383.
23. S.R. Ponnekanti, A. Fox, Interoperability among independently evolving web services, in: Middleware'04, Toronto, Canada, 2004, pp. 331-351.
24. A. Wombacher, B. Mahleko, P. Fankhauser, E. Neuhold, Matchmaking for business processes based on choreographies, in: EEE'04, Taipei, Taiwan, 2004, pp. 359-368.
25. E. Best, R. Devillers, M. Koutny, Petri nets, process algebras and concurrent programming languages, in: Petri Nets (2), 1996, pp. 1-84.
26. Harel D., and Naamad A. The STATEMATE semantics of statecharts. ACM Trans. Software Eng. Methodol. (TOSEM 5 4 (1996) 293-333
27. S. Narayanan, S. McIlraith, Simulation, verification and automated composition of web services, in: International World Wide Web Conference, 2002, pp. 77-88.
28. R. Hamadi, B. Benatallah, A Petri net-based model for web service composition, in: ADC, 2003, pp. 191-200.
29. M. Mecella, F. Parisi-Presicce, B. Pernici, Modeling E-service orchestration through Petri nets, in: TES, 2002, pp. 38-47.
30. B. Benatallah, F. Casati, J. Ponge, F. Toumani, On temporal abstractions of web service protocols, in: Procs of CAiSE Forum 2005, Porto, Portugal, June 2005.
31. B. Benatallah, F. Casati, J. Ponge, F. Toumani, Timed web services protocols: compatibility and replaceability analysis (extended version), Tech. rep., LIMOS Clermont-Ferrand, Available from: 2005.
32. Benatallah B., Casati F., Toumani F., and Hamadi R. Conceptual modeling of web service conversations. Proc. CAiSE'03, LNCS vol. 2681 (2003), Springer, Klagenfurt, Austria 449-467