使用程序转换的分布式系统规范的自动细化

Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI:10.1109/CMPSAC.1998.716651

Antônio Carlos Lima de Santana, A. F. Prado, W. L. Souza, Marcelo Sant'Anna

{"title":"使用程序转换的分布式系统规范的自动细化","authors":"Antônio Carlos Lima de Santana, A. F. Prado, W. L. Souza, Marcelo Sant'Anna","doi":"10.1109/CMPSAC.1998.716651","DOIUrl":null,"url":null,"abstract":"Formal specification techniques and automatic refinement tools for distributed systems have become key issues in current computing technology. The paper reports the development of a refinement tool based on the Extended State Transition Language (Estelle). Estelle is a format description technique (FDT) for distributed systems and communication protocols standardized by ISO. The refinement approach addresses an OO execution metamodel which is instantiated using C++. Transformations are used as the main technology behind the construction of this tool.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Automatic refinement of distributed systems specifications using program transformations\",\"authors\":\"Antônio Carlos Lima de Santana, A. F. Prado, W. L. Souza, Marcelo Sant'Anna\",\"doi\":\"10.1109/CMPSAC.1998.716651\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Formal specification techniques and automatic refinement tools for distributed systems have become key issues in current computing technology. The paper reports the development of a refinement tool based on the Extended State Transition Language (Estelle). Estelle is a format description technique (FDT) for distributed systems and communication protocols standardized by ISO. The refinement approach addresses an OO execution metamodel which is instantiated using C++. Transformations are used as the main technology behind the construction of this tool.\",\"PeriodicalId\":252030,\"journal\":{\"name\":\"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)\",\"volume\":\"3 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1998-08-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CMPSAC.1998.716651\",\"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. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPSAC.1998.716651","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

分布式系统的形式化规范技术和自动细化工具已成为当前计算技术中的关键问题。本文报道了一种基于扩展状态转换语言(Estelle)的精化工具的开发。Estelle是一种格式描述技术(FDT)，用于分布式系统和由ISO标准化的通信协议。细化方法处理使用c++实例化的OO执行元模型。转换被用作此工具构造背后的主要技术。

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

查看原文本刊更多论文

Automatic refinement of distributed systems specifications using program transformations

Formal specification techniques and automatic refinement tools for distributed systems have become key issues in current computing technology. The paper reports the development of a refinement tool based on the Extended State Transition Language (Estelle). Estelle is a format description technique (FDT) for distributed systems and communication protocols standardized by ISO. The refinement approach addresses an OO execution metamodel which is instantiated using C++. Transformations are used as the main technology behind the construction of this tool.

求助全文

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

来源期刊

Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)

自引率

0.00%

发文量