.png){kind=icon}
返回
A Formal Framework for Multicast Communication
.png){kind=icon}
PRE
AI
DOI：10.1109/JSYST.2010.2050364.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Multicasting is an important and challenging goal for heterogeneous wireless ad hoc networks, as it allows transmission and routing of packets to multiple destinations using fewer network resources. In mission-critical environments, the same information needs to reach multiple destinations with minimum delay and loss. This calls for formal and systematic techniques that can capture requirements adequately and implement them accurately, thereby providing the desired level of quality of service (QoS) for multicast communications. This paper provides a formal model for the heterogeneous wireless network and proposes a formal language that can specify and implement requirements, policies, instructions and abstractions for multicast communication over such networks. The language, named Multicast Specification and Implementation Language (MSIL), is also presented as a communication and control language for multicast configuration management, transmission, routing and QoS. The syntax and semantics of MSIL are described and discussed in detail. The applicability of MSIL constructs in modeling requirements for multicast network management is analyzed and demonstrated. Example MSIL programs, illustrating the expressiveness of the language, are developed for multicast QoS.
Keyword:
Backus-Naur Form (BNF) grammar
dynamic throughput graph (DTG)
formal language
formal model
multicast
Multicast Specification and Implementation Language (MSIL)
network management systems (NMS)
ontology
quality of service (QoS)
semantics
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
I
IF:
2.4
论文数:
4.5K
被引数:
387
机构
引用论文
.png){kind=icon}
分享收藏
查看更多内容