A study on network service behavior verification with process algebra and its application

作者：Chen Fu^*; Yang Jia Hai; Yang Yang; Wang Yuan Zhuo; Jia Mei Ying

来源：Chinese Journal of Computers, 2011, 34(9): 1660-1668.

DOI：10.3724/SP.J.1016.2011.01600

• Behavior modeling
• Firewall traversal
• Interactive system
• Modeling systems
• Network services
• Process algebras
• Self management
• Service behavior
• Service content
• Strong bisimulation
• System behaviors
• System characteristics

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.

• 出版日期2011
• 单位北京外国语大学