面向协议规范设计的SDL规范与消息序列图规范之间的转换技术

[Conference Record] SUPERCOMM/ICC '92 Discovering a New World of Communications Pub Date : 1992-06-14 DOI:10.1109/ICC.1992.268091

A. Ito, H. Saito, F. Nitta, Y. Kakuda

{"title":"面向协议规范设计的SDL规范与消息序列图规范之间的转换技术","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":"{\"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}","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

摘要

协议规范在电信软件规范中起着重要的作用，已有许多技术支持协议规范的设计和分析。其中讨论了序列图与规范描述语言(SDL)之间的转换技术。讨论了SDL中的规范与状态转换图中的规范之间的转换原则，并描述了状态转换图中的规范与消息序列图中的规范之间的转换技术。采用了基于循环展开的协议验证和基于组件的协议合成，实现了高效的转换

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

查看原文本刊更多论文

Transformation technique between specification in SDL and specification in message sequence charts for designing protocol specifications

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.<>

求助全文

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

来源期刊

[Conference Record] SUPERCOMM/ICC '92 Discovering a New World of Communications

自引率

0.00%

发文量