LANSF: A protocol modelling environment and its implementation
作者:
Paweł Gburzyński,
Piotr Rudnicki,
期刊:
Software: Practice and Experience
(WILEY Available online 1991)
卷期:
Volume 21,
issue 1
页码: 51-76
ISSN:0038-0644
年代: 1991
DOI:10.1002/spe.4380210105
出版商: John Wiley&Sons, Ltd.
关键词: Communication protocols;Modelling;Simulation;Distributed computations Executable specifications
数据来源: WILEY
摘要:
AbstractLANSF is a software package that was originally designed as a tool to investigate the behaviour of medium access control (MAC) level protocols. These protocols form an interesting class of distributed computations: timing of events is the key factor in them. The protocol definition language of LANSF is based on C, and protocols are specified (programmed) as collections of communicating, interrupt‐driven processes. These specifications are executable: an event‐driven emulator of MAC‐level communication phenomena forms the foundation of the implementation. Some tools for debugging, testing, and validation of protocol specifications are provided. We present key features of LANSF at the syntactic level, comment informally on the semantics of these features, and highlight some implementation issues. A complete example of a LANSF application is discussed in the App
点击下载:
PDF
(1677KB)
返 回