Abstract:

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