J4 ›› 2011, Vol. 46 ›› Issue (9): 99-105.
• Articles •
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.
composite Web services; interface automata; composition environment; strong and weak compatibility; reachable analysis
CHEN Bo. Strong and weak compatibility of services interacting under specific environment and its reachable analysis[J].J4, 2011, 46(9): 99-105.
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks