This paper proposes an approach to checking behavioral compatibility between Web services. If Web service B can be used in replacement of Web service A in such a way that the replacement is transparent to clients, Web service B is compatible to Web service A. We use state machines with guarded transitions to specify behaviors of Web services. To check compatibility between two Web services, we propose an extended version of the conventional methods rule, which has been used in object-oriented paradigm. To support our approach, we have implemented a tool. First, the tool constructs a state machine for a Web service whose behavior is expressed in WSDL and WSCI. Then, the tool can verify compatibility between Web services by using the extended methods rule.
[1]
Greg Meredith,et al.
Contracts and types
,
2003,
CACM.
[2]
Antonio Vallecillo,et al.
Formalizing Web Service Choreographies
,
2004,
Electron. Notes Theor. Comput. Sci..
[3]
Bertrand Meyer,et al.
Applying 'design by contract'
,
1992,
Computer.
[4]
Heike Wehrheim.
Behavioral Subtyping Relations for Active Objects
,
2003,
Formal Methods Syst. Des..
[5]
Padmal Vitharana.
Risks and challenges of component-based software development
,
2003,
CACM.
[6]
Michael Schrefl,et al.
Behavior-consistent specialization of object life cycles
,
2002,
TSEM.