Strong and weak compatibility of services interacting under a specific environment and its reachable analysis
Bo Chen · Journal of Shandong University · 2011
Analysis and verification of composite services interacting with an 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 an 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.