{"title":"E-LOTOS-based synthesis of distributed coordinators for mobile objects","authors":"M. Kapus-Kolar","doi":"10.1109/ISIE.1999.796921","DOIUrl":null,"url":null,"abstract":"An algorithm is proposed for automated synthesis of protocols implementing coordination services for mobile objects. The distributed server might consist of an arbitrary number of components pairwise communicating over reliable FIFO channels. The required behavior of the components is derived given a specification of the expected service, i.e. interactions between individual service users and the server components to which they are currently attached. The adopted specification language is semantically close to Basic E-LOTOS.","PeriodicalId":227402,"journal":{"name":"ISIE '99. Proceedings of the IEEE International Symposium on Industrial Electronics (Cat. No.99TH8465)","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"1999-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"ISIE '99. Proceedings of the IEEE International Symposium on Industrial Electronics (Cat. No.99TH8465)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISIE.1999.796921","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
An algorithm is proposed for automated synthesis of protocols implementing coordination services for mobile objects. The distributed server might consist of an arbitrary number of components pairwise communicating over reliable FIFO channels. The required behavior of the components is derived given a specification of the expected service, i.e. interactions between individual service users and the server components to which they are currently attached. The adopted specification language is semantically close to Basic E-LOTOS.