When are two web services compatible?

Lecture Notes in Computer Science

Volumn 3324, Issue , 2005, Pages 15-28

  Bordeaux, Lucas ^a   Salaün, Gwen ^a   Berardi, Daniela ^a   Mecella, Massimo ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; AUTOMATA THEORY; PARAMETER ESTIMATION; SECURITY OF DATA; TELECOMMUNICATION SERVICES;

AUTOMATA-BASED FORMALISMS; COMPATIBILITY; MESSAGE PARAMETERS; PROCESS-ALGEBRA;

WORLD WIDE WEB;

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

References (17)

1. [AMPP03] V. De Antonellis, M. Melchiori, B. Pernici, and P. Plebani. A methodology for e-service substitutability in a virtual district environment. In Proc. of Conf. on Advanced Information Systems Engineering (CAISE), pages 552-567. Springer, 2003.
2. [BBC02] A. Bracciali, A. Brogi, and C. Canal. Dynamically adapting the behaviour of software components. In Proc. of Conf. on Coordination Models and Languages (COORDINATION), pages 88-95. Springer, 2002.
3. +03] D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. Automatic composition of e-services that export their behavior. In Proc. of Int. Conf. on Service-Oriented Computing (ICSOC'03), pages 43-58. Springer, 2003.
4. [BCPV04] A. Brogi, C. Canal, E. Pimentel, and A. Vallecillo. Formalizing web services choreographies. In Proc. of workshop on Web Services and Formal Methods (WS-FM), 2004.
5. [BFHS03] T. Bultan, X. Fu, R. Hull, and J. Su. Conversation specification: a new approach to the design and analysis of E-service composition. In Proc. of World Wide Web Conference (WWW), pages 403-410. ACM Press, 2003.
6. [BPR02] A. Brogi, E. Pimentel, and A. M. Roldán. Compatibility of Linda-based component interfaces. In Proc. of workshop on Formal Methods and Component Interaction (FMCI), volume 66(4) of Elec. Notes on Theor. Comput. Science, 2002.
7. [BZ83] D. Brand and P. Zafiropulo. On communicating finite-state machines. J. of the ACM, 30(2):323-342, 1983.
8. +03] C. Canal, L. Fuentes, E. Pimentel, J. M. Troya, and A. Vallecillo. Adding roles to CORBA objects. IEEE Transactions on Software Engineering, 29(8):242-260, 2003.
9. [LJ03] Y. Li and H. V. Jagadish. Compatibility determination in web services. In Proc. of ICEC eGovernment Services WS, 2003.
10. [Mar03] A. Martens. On compatibility of web services. Petri Net Newsletter, 65, 2003.
11. [MB03] G. Meredith and S. Bjorg. Contracts and types. Communications of the ACM, 46(10):41-47, 2003.
12. [Mil89] R. Milner. Communication and Concurrency. Prentice Hall, 1989.
13. [MPC01] M. Mecella, B. Pernici, and P. Craca. Compatibility of e-services in a cooperative multi-platform environment. In Proc. of VLDB satellite workshop on Technologies for E-Services (TES), pages 44-57. Springer, 2001.
14. [NM02] S. Narayanan and S. McIlraith. Simulation, verification and automated composition of web services. In Proc. of World Wide Web Conference (WWW), pages 77-88. ACM Press, 2002.
15. [RR02] S. K. Rajamani. and J. Rehof. Conformance checking for models of asynchronous message passing software. In Proc. of Conf. on Computer Aided Verification (CAV), pages 166-179. Springer, 2002.
16. [SBS04] G. Salaün, L. Bordeaux, and M. Schaerf. Describing and reasoning on web services using process algebra. In Proc. of Int. Conf. on Web Services (ICWS), pages 43-51. IEEE Computer Society Press, 2004.
17. [YS97] D. Yellin and R. Strom. Protocol specifications and component adaptors. ACM Transactions on Programming Languages and Systems, 19(2):292-333, 1997.