{"title":"并发模型及其在异步协议形式规范中的应用","authors":"Myung-Gyun Kim, S. Chanson, Gyuhyeong Kim","doi":"10.1109/GLOCOM.1995.500291","DOIUrl":null,"url":null,"abstract":"A concurrency model of asynchronous protocols is presented. Concurrent events, concurrency blocks, global states, concurrency measures, communication deadlocks and data races are defined based on the model. The model allows high-level abstractions to be used for understanding concurrent behaviors of asynchronous protocols. Based on the concept of concurrency blocks, we show how to compute concurrency measures efficiently and compare the concurrency measures of asynchronous protocols with that of synchronous protocols. The model is applied to the formal description techniques, Estelle and SDL, to reason and classify their concurrent behaviors.","PeriodicalId":152724,"journal":{"name":"Proceedings of GLOBECOM '95","volume":"29 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1995-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Concurrency model and its application to formal specifications of asynchronous protocols\",\"authors\":\"Myung-Gyun Kim, S. Chanson, Gyuhyeong Kim\",\"doi\":\"10.1109/GLOCOM.1995.500291\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A concurrency model of asynchronous protocols is presented. Concurrent events, concurrency blocks, global states, concurrency measures, communication deadlocks and data races are defined based on the model. The model allows high-level abstractions to be used for understanding concurrent behaviors of asynchronous protocols. Based on the concept of concurrency blocks, we show how to compute concurrency measures efficiently and compare the concurrency measures of asynchronous protocols with that of synchronous protocols. The model is applied to the formal description techniques, Estelle and SDL, to reason and classify their concurrent behaviors.\",\"PeriodicalId\":152724,\"journal\":{\"name\":\"Proceedings of GLOBECOM '95\",\"volume\":\"29 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1995-11-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of GLOBECOM '95\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/GLOCOM.1995.500291\",\"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 GLOBECOM '95","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/GLOCOM.1995.500291","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Concurrency model and its application to formal specifications of asynchronous protocols
A concurrency model of asynchronous protocols is presented. Concurrent events, concurrency blocks, global states, concurrency measures, communication deadlocks and data races are defined based on the model. The model allows high-level abstractions to be used for understanding concurrent behaviors of asynchronous protocols. Based on the concept of concurrency blocks, we show how to compute concurrency measures efficiently and compare the concurrency measures of asynchronous protocols with that of synchronous protocols. The model is applied to the formal description techniques, Estelle and SDL, to reason and classify their concurrent behaviors.