When are two web services compatible
作者： Lucas Bordeaux , Gwen Salaün , Daniela Berardi , Massimo Mecella
DOI: 10.1007/978-3-540-31811-8_2
关键词:
摘要: Whether two web services are compatible depends not only on static properties like the correct typing of their message parameters, but also dynamic behaviour. Providing a simple description service behaviour based process-algebraic or automata-based formalisms can help detecting many subtle incompatibilities in interaction. Moreover, this compatibility checking to large extent be automated if we define notion sufficiently formal way. Based behavioural representation, survey, propose and compare number definitions notion, illustrate them examples.
springer.com
sci-hub.se 参考文章(19)
Axel Martens, On Compatibility of Web Services ,(2003)
Service-Oriented Computing - ICSOC 2003 Springer Berlin Heidelberg. ,(2003) , 10.1007/B94513
Andrea Bracciali, Antonio Brogi, Carlos Canal, Dynamically Adapting the Behaviour of Software Components international conference on coordination models and languages. pp. 88- 95 ,(2002) , 10.1007/3-540-46000-4_10
George A. Papadopoulos, Farhad Arbab, Coordination models and languages Advances in Computers. ,vol. 46, pp. 329- 400 ,(1998) , 10.1016/S0065-2458(08)60208-9
Robin Milner, Communication and Concurrency ,(1989)
Massimo Mecella, Barbara Pernici, Paolo Craca, Compatibility of e -Services in a Cooperative Multi-platform Environment Lecture Notes in Computer Science. pp. 44- 57 ,(2001) , 10.1007/3-540-44809-8_4
Valeria De Antonellis, Michele Melchiori, Barbara Pernici, Pierluigi Plebani, A methodology for e-service substitutability in a virtual district environment conference on advanced information systems engineering. pp. 552- 567 ,(2003) , 10.1007/3-540-45017-3_37
Sriram K. Rajamani, Jakob Rehof, Conformance Checking for Models of Asynchronous Message Passing Software computer aided verification. pp. 166- 179 ,(2002) , 10.1007/3-540-45657-0_13
Daniel M. Yellin, Robert E. Strom, Protocol specifications and component adaptors ACM Transactions on Programming Languages and Systems. ,vol. 19, pp. 292- 333 ,(1997) , 10.1145/244795.244801
Antonio Brogi, Ernesto Pimentel, Ana M Roldan, None, Compatibility of Linda-based Component Interfaces Electronic Notes in Theoretical Computer Science. ,vol. 66, pp. 82- 96 ,(2002) , 10.1016/S1571-0661(04)80451-1