基于ISDN的互联网关:体系结构和Petri网的形式化建模

IEEE INFOCOM '89, Proceedings of the Eighth Annual Joint Conference of the IEEE Computer and Communications Societies Pub Date : 1989-04-23 DOI:10.1109/INFCOM.1989.101487

G. Juanole, C. Faure

{"title":"基于ISDN的互联网关:体系结构和Petri网的形式化建模","authors":"G. Juanole, C. Faure","doi":"10.1109/INFCOM.1989.101487","DOIUrl":null,"url":null,"abstract":"Two important design steps are presented of a gateway for connecting a local area network (LAN) and a remote computer through an ISDN (integrated services digital network). The first step concerns the specification of the gateway architecture: the inconsistencies have to be considered between the LAN architecture and the communication architecture of the remote computer (which has an ISDN interface). The second step concerns the formal specification of the behavior of the gateway, using Petri nets: this step is essential in order to verify if the specification is complete and correct.<<ETX>>","PeriodicalId":275763,"journal":{"name":"IEEE INFOCOM '89, Proceedings of the Eighth Annual Joint Conference of the IEEE Computer and Communications Societies","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1989-04-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"On gateway for internetworking through ISDN: architecture and formal modelling with Petri nets\",\"authors\":\"G. Juanole, C. Faure\",\"doi\":\"10.1109/INFCOM.1989.101487\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Two important design steps are presented of a gateway for connecting a local area network (LAN) and a remote computer through an ISDN (integrated services digital network). The first step concerns the specification of the gateway architecture: the inconsistencies have to be considered between the LAN architecture and the communication architecture of the remote computer (which has an ISDN interface). The second step concerns the formal specification of the behavior of the gateway, using Petri nets: this step is essential in order to verify if the specification is complete and correct.<<ETX>>\",\"PeriodicalId\":275763,\"journal\":{\"name\":\"IEEE INFOCOM '89, Proceedings of the Eighth Annual Joint Conference of the IEEE Computer and Communications Societies\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1989-04-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"IEEE INFOCOM '89, Proceedings of the Eighth Annual Joint Conference of the IEEE Computer and Communications Societies\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/INFCOM.1989.101487\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE INFOCOM '89, Proceedings of the Eighth Annual Joint Conference of the IEEE Computer and Communications Societies","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/INFCOM.1989.101487","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

介绍了通过综合业务数字网(ISDN)连接局域网(LAN)和远程计算机的网关的两个重要设计步骤。第一步涉及网关体系结构的规范:必须考虑局域网体系结构和远程计算机(具有ISDN接口)的通信体系结构之间的不一致性。第二步涉及使用Petri网的网关行为的正式规范:为了验证规范是否完整和正确，这一步是必不可少的。

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

查看原文本刊更多论文

On gateway for internetworking through ISDN: architecture and formal modelling with Petri nets

Two important design steps are presented of a gateway for connecting a local area network (LAN) and a remote computer through an ISDN (integrated services digital network). The first step concerns the specification of the gateway architecture: the inconsistencies have to be considered between the LAN architecture and the communication architecture of the remote computer (which has an ISDN interface). The second step concerns the formal specification of the behavior of the gateway, using Petri nets: this step is essential in order to verify if the specification is complete and correct.<>

求助全文

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

来源期刊

IEEE INFOCOM '89, Proceedings of the Eighth Annual Joint Conference of the IEEE Computer and Communications Societies

自引率

0.00%

发文量