科研之友
微信
新浪微博
Facebook
分享链接
摘要
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 pi-calculus, the behavioral equivalence for Web services can be analyzed automatically in a derivative way according to the proposed notions.
