CORBA IDL中用于同步约束的注解

Proceedings of Third International Workshop on Services in Distributed and Networked Environments Pub Date : 1996-06-03 DOI:10.1109/SDNE.1996.502455

Gregor Henze, Thomas Koch, Bernd Kramer, FernUniversi

{"title":"CORBA IDL中用于同步约束的注解","authors":"Gregor Henze, Thomas Koch, Bernd Kramer, FernUniversi","doi":"10.1109/SDNE.1996.502455","DOIUrl":null,"url":null,"abstract":"Most distributed applications require mechanisms for the synchronization of cooperating components. In a CORBA application this functionality is currently hidden in the methods of the server objects. This complicates design, validation and maintenance of distributed applications. To improve this situation we propose guards and concurrency annotations for the CORBA IDL. Our approach allows the explicit description of synchronization constraints as an extension to the object interface definition with the advantage of increased transparency and the potential for automated checking and reasoning. The annotations are included as IDL comments to ensure compatibility with the CORBA standard. Additionally the concept for an automated generation of method frames containing synchronization code is outlined.","PeriodicalId":112195,"journal":{"name":"Proceedings of Third International Workshop on Services in Distributed and Networked Environments","volume":"5 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Annotations for synchronization constraints in CORBA IDL\",\"authors\":\"Gregor Henze, Thomas Koch, Bernd Kramer, FernUniversi\",\"doi\":\"10.1109/SDNE.1996.502455\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Most distributed applications require mechanisms for the synchronization of cooperating components. In a CORBA application this functionality is currently hidden in the methods of the server objects. This complicates design, validation and maintenance of distributed applications. To improve this situation we propose guards and concurrency annotations for the CORBA IDL. Our approach allows the explicit description of synchronization constraints as an extension to the object interface definition with the advantage of increased transparency and the potential for automated checking and reasoning. The annotations are included as IDL comments to ensure compatibility with the CORBA standard. Additionally the concept for an automated generation of method frames containing synchronization code is outlined.\",\"PeriodicalId\":112195,\"journal\":{\"name\":\"Proceedings of Third International Workshop on Services in Distributed and Networked Environments\",\"volume\":\"5 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1996-06-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of Third International Workshop on Services in Distributed and Networked Environments\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SDNE.1996.502455\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of Third International Workshop on Services in Distributed and Networked Environments","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SDNE.1996.502455","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 5

摘要

大多数分布式应用程序都需要协作组件的同步机制。在CORBA应用程序中，此功能当前隐藏在服务器对象的方法中。这使得分布式应用程序的设计、验证和维护变得复杂。为了改善这种情况，我们提出了CORBA IDL的保护和并发注释。我们的方法允许将同步约束的显式描述作为对象接口定义的扩展，具有增加透明度和自动检查和推理的潜力的优点。注释作为IDL注释包含，以确保与CORBA标准的兼容性。此外，还概述了自动生成包含同步代码的方法框架的概念。

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

查看原文本刊更多论文

Annotations for synchronization constraints in CORBA IDL

Most distributed applications require mechanisms for the synchronization of cooperating components. In a CORBA application this functionality is currently hidden in the methods of the server objects. This complicates design, validation and maintenance of distributed applications. To improve this situation we propose guards and concurrency annotations for the CORBA IDL. Our approach allows the explicit description of synchronization constraints as an extension to the object interface definition with the advantage of increased transparency and the potential for automated checking and reasoning. The annotations are included as IDL comments to ensure compatibility with the CORBA standard. Additionally the concept for an automated generation of method frames containing synchronization code is outlined.

求助全文

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

来源期刊

Proceedings of Third International Workshop on Services in Distributed and Networked Environments

自引率

0.00%

发文量