|
|
 |
| |
|
|
|
A Framework for Criteria for the Behavioral Equivalence of Services |
|
|
|
PP: 1S-7S |
|
|
|
Author(s) |
|
|
|
Li Kuang,
Liang Chen,
|
|
|
|
Abstract |
|
|
| The behavioral analysis for Web services provides a priori detection of errors to ensure the successful interactions in services invocation and composition, and the behavioral equivalence for Web services is one of the most important issues in such analysis, which can be applied in service discovery, service substitution and service compatibility. We propose an extensible framework containing a series of criteria for the behavioral equivalence of services and explore the implications of relations among them. The proposed criteria can be adapted to different requirements in various scenarios. When one formalizes services with π-calculus, the behavioral equivalence for Web services can be analyzed automatically in a derivative way according to the proposed notions. |
|
|
|
|
|
|
|
