一种分层通信系统发生器

Proceedings of TRICOMM `91: IEEE Conference on Communications Software: Communications for Distributed Applications and Systems Pub Date : 1991-04-18 DOI:10.1109/TRICOM.1991.152881

Hung Yung-Chen, Chen Gen-Huey

{"title":"一种分层通信系统发生器","authors":"Hung Yung-Chen, Chen Gen-Huey","doi":"10.1109/TRICOM.1991.152881","DOIUrl":null,"url":null,"abstract":"A layered communication system generator is proposed for automatic implementation of various layered communication systems. The layered communication system generator is established based on a generalized communication system framework. A layered communicating finite state machine (LCFSM) is introduced to specify the layered communication systems. A matrix approach combined with reachability analysis is used for protocol validation. The authors have established the proposed layered communication system generator on DOS and UNIX environments, in which several real-world protocols from DoD and IEEE 802 protocol standards organizations have been successfully developed.<<ETX>>","PeriodicalId":274297,"journal":{"name":"Proceedings of TRICOMM `91: IEEE Conference on Communications Software: Communications for Distributed Applications and Systems","volume":"26 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1991-04-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"A layered communications system generator\",\"authors\":\"Hung Yung-Chen, Chen Gen-Huey\",\"doi\":\"10.1109/TRICOM.1991.152881\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A layered communication system generator is proposed for automatic implementation of various layered communication systems. The layered communication system generator is established based on a generalized communication system framework. A layered communicating finite state machine (LCFSM) is introduced to specify the layered communication systems. A matrix approach combined with reachability analysis is used for protocol validation. The authors have established the proposed layered communication system generator on DOS and UNIX environments, in which several real-world protocols from DoD and IEEE 802 protocol standards organizations have been successfully developed.<<ETX>>\",\"PeriodicalId\":274297,\"journal\":{\"name\":\"Proceedings of TRICOMM `91: IEEE Conference on Communications Software: Communications for Distributed Applications and Systems\",\"volume\":\"26 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1991-04-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of TRICOMM `91: IEEE Conference on Communications Software: Communications for Distributed Applications and Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/TRICOM.1991.152881\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of TRICOMM `91: IEEE Conference on Communications Software: Communications for Distributed Applications and Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TRICOM.1991.152881","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

提出了一种分层通信系统发生器，用于各种分层通信系统的自动实现。基于广义通信系统框架，建立了分层通信系统生成器。引入了一种分层通信有限状态机(LCFSM)来描述分层通信系统。采用矩阵法和可达性分析相结合的方法进行协议验证。作者在DOS和UNIX环境下建立了所提出的分层通信系统生成器，并在此基础上成功地开发了多个来自DoD和IEEE 802协议标准组织的真实协议。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A layered communications system generator

A layered communication system generator is proposed for automatic implementation of various layered communication systems. The layered communication system generator is established based on a generalized communication system framework. A layered communicating finite state machine (LCFSM) is introduced to specify the layered communication systems. A matrix approach combined with reachability analysis is used for protocol validation. The authors have established the proposed layered communication system generator on DOS and UNIX environments, in which several real-world protocols from DoD and IEEE 802 protocol standards organizations have been successfully developed.<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of TRICOMM `91: IEEE Conference on Communications Software: Communications for Distributed Applications and Systems

自引率

0.00%

发文量