Adaptive compatibility analysis for autonomic network service based on Petri net

Autonomic Networks, as active networks with self-management, can configure network service dynamically by apperceiving environmental changes, which enhance the adaptive ability of service. The key to improve autonomic network service adaptation is overcoming the incompatibility between service interfaces. In virtue of modeling and analytical ability of Petri net, we model the autonomic network service, and define the concepts of opposite service, service simulation and so on. We also discuss the logical correctness of service. On the basis of autonomic network service model, we analyze the patterns of incompatibility between services, giving the formal representation and solution of incompatibility. Finally, we propose a detection algorithm of service compatibility, which is implemented in the service models. By running detection algorithm, we can achieve the location and pattern of service incompatibility. The achievements of this study have significant reference value to the research on the autonomic networks service adaption which includes service discovery, composition and replacement.