{"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}
引用次数: 5
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.<>