基于有色Petri网的SCTP关联管理建模与验证

2008 ISECS International Colloquium on Computing, Communication, Control, and Management Pub Date : 2008-08-03 DOI:10.1109/CCCM.2008.261

Jizeng Wang, Shengcai Zhang, Fan Chen

{"title":"基于有色Petri网的SCTP关联管理建模与验证","authors":"Jizeng Wang, Shengcai Zhang, Fan Chen","doi":"10.1109/CCCM.2008.261","DOIUrl":null,"url":null,"abstract":"The stream control transmission protocol (SCTP) is a reliable transport protocol to tackle the limitations of TCP and UDP. SCTP is specified informally in request for comments (RFC) 2960, but it still lacks a formal specification. Coloured Petri net (CPN) is suitable to modeling a system from the dynamic perspective, and has the ability to analyze it in a formal way. We present a formal model of SCTP association management using the CPN. The model is used to examine some properties of SCTP and to check the internal consistency of RFC 2960. Through CPN Tools analysis, we find a problem with some informal descriptions in RFC 2960 and solve it by modifying our original CPN model.","PeriodicalId":326534,"journal":{"name":"2008 ISECS International Colloquium on Computing, Communication, Control, and Management","volume":"14 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"Modeling and Verification of SCTP Association Management Based on Colored Petri Nets\",\"authors\":\"Jizeng Wang, Shengcai Zhang, Fan Chen\",\"doi\":\"10.1109/CCCM.2008.261\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The stream control transmission protocol (SCTP) is a reliable transport protocol to tackle the limitations of TCP and UDP. SCTP is specified informally in request for comments (RFC) 2960, but it still lacks a formal specification. Coloured Petri net (CPN) is suitable to modeling a system from the dynamic perspective, and has the ability to analyze it in a formal way. We present a formal model of SCTP association management using the CPN. The model is used to examine some properties of SCTP and to check the internal consistency of RFC 2960. Through CPN Tools analysis, we find a problem with some informal descriptions in RFC 2960 and solve it by modifying our original CPN model.\",\"PeriodicalId\":326534,\"journal\":{\"name\":\"2008 ISECS International Colloquium on Computing, Communication, Control, and Management\",\"volume\":\"14 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2008-08-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2008 ISECS International Colloquium on Computing, Communication, Control, and Management\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CCCM.2008.261\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 ISECS International Colloquium on Computing, Communication, Control, and Management","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CCCM.2008.261","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 4

摘要

流控制传输协议(SCTP)是一种解决TCP和UDP限制的可靠传输协议。在征求意见(RFC) 2960中非正式地指定了SCTP，但它仍然缺乏正式的规范。彩色Petri网(CPN)适合于从动态角度对系统进行建模，并具有形式化分析系统的能力。我们提出了一个使用CPN的SCTP关联管理的形式化模型。该模型用于检验SCTP的一些特性，并检验RFC 2960的内部一致性。通过对CPN Tools的分析，我们发现RFC 2960中存在一些非正式描述的问题，并通过修改原有的CPN模型来解决这个问题。

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

查看原文本刊更多论文

Modeling and Verification of SCTP Association Management Based on Colored Petri Nets

The stream control transmission protocol (SCTP) is a reliable transport protocol to tackle the limitations of TCP and UDP. SCTP is specified informally in request for comments (RFC) 2960, but it still lacks a formal specification. Coloured Petri net (CPN) is suitable to modeling a system from the dynamic perspective, and has the ability to analyze it in a formal way. We present a formal model of SCTP association management using the CPN. The model is used to examine some properties of SCTP and to check the internal consistency of RFC 2960. Through CPN Tools analysis, we find a problem with some informal descriptions in RFC 2960 and solve it by modifying our original CPN model.

求助全文

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

来源期刊

2008 ISECS International Colloquium on Computing, Communication, Control, and Management

自引率

0.00%

发文量