科研之友
微信
新浪微博
Facebook
分享链接
摘要
Substitutability of Web service is the key aspect for ensuring reliability of Web service-oriented software. Along with more large and coarse granularity services appear across the Internet continuously, it has become a new challenge that how to determine the substitutability between different granularity services. In this paper, we propose the notion of interface inverted dependence to reveal all functions and business logic of large granularity services. A formal model is bulit by extending the Martin-Lof's type theory. The model can clearly describe both large and small granularity services from three aspects: syntax, semantics, and behaviour. Based on the formalization, we introduce the notions of substitutability between different granularity services with different stringency through considering the context of services. In order to judge the substitutability, a mechanism based on subtyping theory is proposed. At last, the case study is given to show the effectiveness of the proposed substitutability.
