关于从服务规范派生协议规范的新结果

[1991 Proceedings] 6th Mediterranean Electrotechnical Conference Pub Date : 1991-05-22 DOI:10.1109/MELCON.1991.162032

M. Kapus-Kolar

{"title":"关于从服务规范派生协议规范的新结果","authors":"M. Kapus-Kolar","doi":"10.1109/MELCON.1991.162032","DOIUrl":null,"url":null,"abstract":"Two algorithms for deriving a protocol specification from a service specification have been developed by G.V. Bochmann et al. (1986). The algorithms accept an arbitrary number of protocol entities communicating over reliable FIFO channels. The legal sequences of service interactions are specified in a dialect of basic LOTOS. A similar algorithm with a more efficient synchronization method is proposed.<<ETX>>","PeriodicalId":193917,"journal":{"name":"[1991 Proceedings] 6th Mediterranean Electrotechnical Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1991-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"New results on deriving protocol specifications from service specifications\",\"authors\":\"M. Kapus-Kolar\",\"doi\":\"10.1109/MELCON.1991.162032\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Two algorithms for deriving a protocol specification from a service specification have been developed by G.V. Bochmann et al. (1986). The algorithms accept an arbitrary number of protocol entities communicating over reliable FIFO channels. The legal sequences of service interactions are specified in a dialect of basic LOTOS. A similar algorithm with a more efficient synchronization method is proposed.<<ETX>>\",\"PeriodicalId\":193917,\"journal\":{\"name\":\"[1991 Proceedings] 6th Mediterranean Electrotechnical Conference\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1991-05-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1991 Proceedings] 6th Mediterranean Electrotechnical Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/MELCON.1991.162032\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1991 Proceedings] 6th Mediterranean Electrotechnical Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MELCON.1991.162032","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 5

摘要

G.V. Bochmann等人(1986)开发了两种从服务规范派生协议规范的算法。该算法接受任意数量的协议实体通过可靠的FIFO通道进行通信。服务交互的合法顺序是用基本LOTOS的方言指定的。提出了一种类似的算法，具有更有效的同步方法。

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

查看原文本刊更多论文

New results on deriving protocol specifications from service specifications

Two algorithms for deriving a protocol specification from a service specification have been developed by G.V. Bochmann et al. (1986). The algorithms accept an arbitrary number of protocol entities communicating over reliable FIFO channels. The legal sequences of service interactions are specified in a dialect of basic LOTOS. A similar algorithm with a more efficient synchronization method is proposed.<>

求助全文

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

来源期刊

[1991 Proceedings] 6th Mediterranean Electrotechnical Conference

自引率

0.00%

发文量