协议转换器设计的形式描述技术综述

Proceedings of TENCON '93. IEEE Region 10 International Conference on Computers, Communications and Automation Pub Date : 1993-10-19 DOI:10.1109/TENCON.1993.320017

E. Gunawan, T. Tong, S. Nansi

{"title":"协议转换器设计的形式描述技术综述","authors":"E. Gunawan, T. Tong, S. Nansi","doi":"10.1109/TENCON.1993.320017","DOIUrl":null,"url":null,"abstract":"Protocol conversion is one of the very important research areas in protocol engineering. It is an effective approach to provide interconnectivity and interoperability between two different protocols. A protocol converter is a very complex piece of software, and its design must be precise and complete to provide the expected conversions. Formal description techniques (FDTs), which have formal syntax and semantics, are useful tools for its design. In this paper, we present a survey of existing and widely adopted FDTs, which has been made in view of the requirements of protocol converter design.<<ETX>>","PeriodicalId":110496,"journal":{"name":"Proceedings of TENCON '93. IEEE Region 10 International Conference on Computers, Communications and Automation","volume":"68 5 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Survey of formal description techniques (FDTs) for protocol converter design\",\"authors\":\"E. Gunawan, T. Tong, S. Nansi\",\"doi\":\"10.1109/TENCON.1993.320017\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Protocol conversion is one of the very important research areas in protocol engineering. It is an effective approach to provide interconnectivity and interoperability between two different protocols. A protocol converter is a very complex piece of software, and its design must be precise and complete to provide the expected conversions. Formal description techniques (FDTs), which have formal syntax and semantics, are useful tools for its design. In this paper, we present a survey of existing and widely adopted FDTs, which has been made in view of the requirements of protocol converter design.<<ETX>>\",\"PeriodicalId\":110496,\"journal\":{\"name\":\"Proceedings of TENCON '93. IEEE Region 10 International Conference on Computers, Communications and Automation\",\"volume\":\"68 5 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-10-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of TENCON '93. IEEE Region 10 International Conference on Computers, Communications and Automation\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/TENCON.1993.320017\",\"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 TENCON '93. IEEE Region 10 International Conference on Computers, Communications and Automation","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TENCON.1993.320017","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

协议转换是协议工程中一个非常重要的研究领域。它是在两个不同的协议之间提供互连性和互操作性的有效方法。协议转换器是一个非常复杂的软件，它的设计必须精确和完整，以提供预期的转换。具有形式化语法和语义的形式化描述技术(fdt)是其设计的有用工具。本文从协议转换器设计的需要出发，对现有的和广泛采用的fdt进行了综述。

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

查看原文本刊更多论文

Survey of formal description techniques (FDTs) for protocol converter design

Protocol conversion is one of the very important research areas in protocol engineering. It is an effective approach to provide interconnectivity and interoperability between two different protocols. A protocol converter is a very complex piece of software, and its design must be precise and complete to provide the expected conversions. Formal description techniques (FDTs), which have formal syntax and semantics, are useful tools for its design. In this paper, we present a survey of existing and widely adopted FDTs, which has been made in view of the requirements of protocol converter design.<>

求助全文

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

来源期刊

Proceedings of TENCON '93. IEEE Region 10 International Conference on Computers, Communications and Automation

自引率

0.00%

发文量