对基于corba的分布式对象系统工程的正式支持

Proceedings of the International Symposium on Distributed Objects and Applications Pub Date : 1999-09-05 DOI:10.1109/DOA.1999.794042

R. Bastide, Ousmane Sy, Philippe A. Palanque

{"title":"对基于corba的分布式对象系统工程的正式支持","authors":"R. Bastide, Ousmane Sy, Philippe A. Palanque","doi":"10.1109/DOA.1999.794042","DOIUrl":null,"url":null,"abstract":"We present a CASE tool based on an object oriented Petri net dialect called Cooperative Objects, dedicated to the design of CORBA systems. The notation is used for the formal behavioural specification of objects, and its associated tool puts an emphasis on supporting the design life cycle of CORBA systems. The tool offers enhanced interactivity to present the results derived from the capabilities of verification, validation and distributed interpretation provided by Cooperative Objects.","PeriodicalId":360176,"journal":{"name":"Proceedings of the International Symposium on Distributed Objects and Applications","volume":"7 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1999-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"Formal support for the engineering of CORBA-based distributed object systems\",\"authors\":\"R. Bastide, Ousmane Sy, Philippe A. Palanque\",\"doi\":\"10.1109/DOA.1999.794042\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present a CASE tool based on an object oriented Petri net dialect called Cooperative Objects, dedicated to the design of CORBA systems. The notation is used for the formal behavioural specification of objects, and its associated tool puts an emphasis on supporting the design life cycle of CORBA systems. The tool offers enhanced interactivity to present the results derived from the capabilities of verification, validation and distributed interpretation provided by Cooperative Objects.\",\"PeriodicalId\":360176,\"journal\":{\"name\":\"Proceedings of the International Symposium on Distributed Objects and Applications\",\"volume\":\"7 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1999-09-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the International Symposium on Distributed Objects and Applications\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/DOA.1999.794042\",\"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 the International Symposium on Distributed Objects and Applications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DOA.1999.794042","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

我们提出了一个基于面向对象的Petri网方言的CASE工具，称为合作对象，专门用于CORBA系统的设计。该符号用于对象的正式行为规范，其相关工具强调支持CORBA系统的设计生命周期。该工具提供了增强的交互性，以呈现由Cooperative Objects提供的验证、确认和分布式解释功能派生的结果。

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

查看原文本刊更多论文

Formal support for the engineering of CORBA-based distributed object systems

We present a CASE tool based on an object oriented Petri net dialect called Cooperative Objects, dedicated to the design of CORBA systems. The notation is used for the formal behavioural specification of objects, and its associated tool puts an emphasis on supporting the design life cycle of CORBA systems. The tool offers enhanced interactivity to present the results derived from the capabilities of verification, validation and distributed interpretation provided by Cooperative Objects.

求助全文

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

来源期刊

Proceedings of the International Symposium on Distributed Objects and Applications

自引率

0.00%

发文量