{"title":"Transformation technique between specification in SDL and specification in message sequence charts for designing protocol specifications","authors":"A. Ito, H. Saito, F. Nitta, Y. Kakuda","doi":"10.1109/ICC.1992.268091","DOIUrl":null,"url":null,"abstract":"Protocol specifications play an important role in telecommunications software specifications and many techniques exist to support design and analysis of protocol specifications. Among these are techniques for transformation between sequence charts and specification description language (SDL), which are discussed. Principles for translation between a specification in SDL and a specification in state transition diagrams are discussed, and a transformation technique between a specification in a state transition diagram and a specification in message sequence charts is described. A cyclic expansion-based protocol validation and component-based protocol synthesis are adopted to realize an efficient transformation.<<ETX>>","PeriodicalId":170618,"journal":{"name":"[Conference Record] SUPERCOMM/ICC '92 Discovering a New World of Communications","volume":"26 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1992-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"[Conference Record] SUPERCOMM/ICC '92 Discovering a New World of Communications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICC.1992.268091","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2
Abstract
Protocol specifications play an important role in telecommunications software specifications and many techniques exist to support design and analysis of protocol specifications. Among these are techniques for transformation between sequence charts and specification description language (SDL), which are discussed. Principles for translation between a specification in SDL and a specification in state transition diagrams are discussed, and a transformation technique between a specification in a state transition diagram and a specification in message sequence charts is described. A cyclic expansion-based protocol validation and component-based protocol synthesis are adopted to realize an efficient transformation.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
![[Conference Record] SUPERCOMM/ICC '92 Discovering a New World of Communications](/Content/css/sci/img/zetp.jpg)
求助内容：
应助结果提醒方式：
扫码关注我们
