A Study on Network Service Behavior Verification with Process Algebra and Its Application
Chen Fu · Chinese Journal of Computers · 2011
With formalization and modeling system,we can analyze system characteristics,verify system behavior and try to avoid conflicts through.This paper presents a behavior modeling method for network services components using process algebra,including strong simulation,strong bisimulation,timeliness,service triggers,and service content.Then the P2P discovery of nodes and firewall traversal behavior description are presented.And a network self-management protocol named RCMMS is proposed with process algebra description to verify the proposed method.