面向服务性能的认知网络理论及形式化建模方法

认知网络是解决复杂异构网络系统自我管理的一个新途径,其模型与分析方法研究是亟待解决的关键问题.提出一种基于多元π演算的认知网络形式化建模方法,首先分析认知网络的基本特征,然后结合认知问题本质,构建认知网络理论参考模型,并将多元π演算为描述语言建立认知网络系统形式化模型,把自感知、上下文感知和动作调用的过程抽象成一系列进程,利用进程动作及其运算分别严格地刻画认知单元和系统全局认知过程,最后以自配置为例说明了模型应用.该方法以逻辑精确性为特色,能够应用于系统实现的任何阶段,为认知网络的设计提供理论指导.

Theoretical and Formal Modeling Method for Cognitive Network Oriented Service Performance

Abstract： Cognitive network is a new approach to solve self-management of complex heterogeneous network, and its model and analysis method are key problems to be solved. A formal modeling and analysis method for cogni- tive network is proposed based on multivariate ~r-caleulus. Firstly, basic characteristics of cognitive network are an- alyzed. Then the theoretical reference model for cognitive network is constructed combining with cognitive essence. On the basis, the formal model based multivariate ,rr-calculus is proposed, abstracting the scene of self-awareness into a series of processes as well as context-awareness and calling action, which rigorously describes the process of cognitive element and global cognition by these processes and their operations respectively. Finally, how the model can be used is illustrated through a self-configure case study. The proposed method has the features logical accura- cy, which can apply in any phases and direct the designation of cognitive network.