Investigation on Interface Compatibility of Session-Orient E-Service
Junliang Chen · Beijing Youdian Xueyuan xuebao · 2006
Formalism is proposed to model the behavior interface of session-oriented E-Service,along with the interface compatibility check upon this formalism to provide type system of service interaction as well as design-time verification of service composition.The method adopts the optimistic approach.An improvement is resulted to ensure both peers satisfy session-integrated(deadlock free),it requires each peer ends in final states or can continue.The detailed algorithm of interface compatibility named is presented in the last.