关键词: 接口兼容, 组合, 会话类E-Service, 有限状态自动机, Web服务

Abstract: Formalism is proposed to model the behavior in
terface 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 optim
istic 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 i
n the last.

Key words: interface compatibility, composition, sessionorient EService, finite states machine, Web service