{"title":"基于e - lotos的移动目标分布式协调器综合","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":"{\"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}","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}
E-LOTOS-based synthesis of distributed coordinators for mobile objects
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.