J4 ›› 2011, Vol. 46 ›› Issue (9): 99-105.

• Articles • Previous Articles     Next Articles

Strong and weak compatibility of services interacting under specific environment and its reachable analysis

CHEN Bo   

  1. Department of Computer Engineering, Guangxi University of Technology, Liuzhou 545006, Guangxi, China
  • Received:2011-06-16 Online:2011-09-20 Published:2011-09-08


analysis and verification of composite services interacting with interface is an important issue in service computing. The interface automata are taken as the model of composite services interacting in this paper. By introducing environment factor into analysis, the concept of strong and weak compatibility of service interacting under specific environment is proposed, and the expression of criterion for compatibility checking is presented. In order to check the compatibility of service interfaces, the interacting model of composite services is traversed with the reachable analysis, and the compatibility of service with environment has been checked.

Key words: composite Web services; interface automata; composition environment; strong and weak compatibility; reachable analysis

No related articles found!
Full text



No Suggested Reading articles found!