Title
An Approach To Checking Behavioral Compatibility Between Web Services
Abstract
This paper proposed 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.
Year
DOI
Venue
2008
10.1142/S0218194008003647
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING
Keywords
Field
DocType
web services, behavioral compatibility, state diagrams
Web development,World Wide Web,Computer science,Web standards,Data Web,WS-I Basic Profile,Web modeling,Web application security,Web service,WS-Policy
Journal
Volume
Issue
ISSN
18
2
0218-1940
Citations 
PageRank 
References 
9
0.54
13
Authors
3
Name
Order
Citations
PageRank
Heung Seok Chae132923.26
Joon-Sang Lee2635.51
Jung Ho Bae3423.94