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 Chae | 1 | 329 | 23.26 |
Joon-Sang Lee | 2 | 63 | 5.51 |
Jung Ho Bae | 3 | 42 | 3.94 |