论文部分内容阅读
文中提出了一种针对移动Ad hoc网络可生存性模型的建模方法,构建MARC(MANET Actor,Role and Coordinator Model)可生存性描述模型,并且支持利用该方法构建的可生存性模型向仿真实例的自动转换。详细分析并形式化描述了MARC模型中涉及的网络服务和事件等概念,并以此为基础设计了可生存性模型描述语言MARCDL,列举了语言中主要的EBNF范式描述。实例分析表明,运用该建模方法,不仅可以抽象地构造出面向战术环境的移动Ad hoc网络可生存性模型,而且为可生存性模型的从高