{"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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
