Journal of Beijing University of Posts and Telecommunications

  • EI核心期刊

JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM ›› 2006, Vol. 29 ›› Issue (s2): 59-64.doi: 10.13190/jbupt.2006s2.59.zhangwt

• Papers • Previous Articles     Next Articles

Interface compatibility for Asynchronously Communicating E-Service

ZHANG Wen-tao,ZHANG Shu-bo, CHEN Jun-liang   

  1. School of Computer Science and Technology, Beijing University of Posts and Telecommunications, Beijing 100876, China
  • Received:2006-09-05 Revised:1900-01-01 Online:2006-11-30 Published:2006-11-30
  • Contact: ZHANG Wen-tao

Abstract:

Although Asyn message interaction is undecidable, the asynchronous interaction behaviors equal to synchronous if the interface peers hold synchronizable condition. Based on this theory a new method is proposed to analyze interface compatibility of E-service under asynchronously communicating environment. Through checking synchronizable condition as well as customization on compo sited interface automata, this method also supports the asynchronous interaction check between two service interfaces. Meantime, when applied service composition it can assist composer to guarantee the correctness of composition in term of synchronizable condition.

Key words: interface compatibility, asynchronously communicating, composition, session-oriented E-service, Finite states machine, Web service

CLC Number: