从LOTOS行为规范自动生成c++程序

Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240) Pub Date : 1998-12-02 DOI:10.1109/APSEC.1998.733584

Chulhong Kim, Kangho Kim, Cheoljoo Jeong, Youngbae Oh

{"title":"从LOTOS行为规范自动生成c++程序","authors":"Chulhong Kim, Kangho Kim, Cheoljoo Jeong, Youngbae Oh","doi":"10.1109/APSEC.1998.733584","DOIUrl":null,"url":null,"abstract":"Communication systems can be characterized by high reliability requirements, complexity in development, and distribution of processes and resources. In developing these kinds of systems, formal methods can be fruitful in achieving high quality of resulting systems. LOTOS, a formal specification language, allows us to write models of the system in an abstract but rigorous manner. In this paper, we present a \"behavior compiler\" that supports rapid prototyping by generating C++ code from LOTOS behavioral specifications. Execution of the generated code allows us to detect analysis and design errors at the early stage of system development life cycle.","PeriodicalId":296589,"journal":{"name":"Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240)","volume":"65 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1998-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Automatically generating C++ programs from LOTOS behavior specifications\",\"authors\":\"Chulhong Kim, Kangho Kim, Cheoljoo Jeong, Youngbae Oh\",\"doi\":\"10.1109/APSEC.1998.733584\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Communication systems can be characterized by high reliability requirements, complexity in development, and distribution of processes and resources. In developing these kinds of systems, formal methods can be fruitful in achieving high quality of resulting systems. LOTOS, a formal specification language, allows us to write models of the system in an abstract but rigorous manner. In this paper, we present a \\\"behavior compiler\\\" that supports rapid prototyping by generating C++ code from LOTOS behavioral specifications. Execution of the generated code allows us to detect analysis and design errors at the early stage of system development life cycle.\",\"PeriodicalId\":296589,\"journal\":{\"name\":\"Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240)\",\"volume\":\"65 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1998-12-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/APSEC.1998.733584\",\"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 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/APSEC.1998.733584","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

通信系统的特点是高可靠性要求、开发的复杂性以及过程和资源的分布。在开发这些类型的系统时，形式化方法在获得高质量的结果系统方面是卓有成效的。LOTOS是一种正式的规范语言，允许我们以抽象但严格的方式编写系统模型。在本文中，我们提出了一个“行为编译器”，它通过从LOTOS行为规范生成c++代码来支持快速原型。生成代码的执行允许我们在系统开发生命周期的早期阶段检测分析和设计错误。

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

查看原文本刊更多论文

Automatically generating C++ programs from LOTOS behavior specifications

Communication systems can be characterized by high reliability requirements, complexity in development, and distribution of processes and resources. In developing these kinds of systems, formal methods can be fruitful in achieving high quality of resulting systems. LOTOS, a formal specification language, allows us to write models of the system in an abstract but rigorous manner. In this paper, we present a "behavior compiler" that supports rapid prototyping by generating C++ code from LOTOS behavioral specifications. Execution of the generated code allows us to detect analysis and design errors at the early stage of system development life cycle.

求助全文

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

来源期刊

Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240)

自引率

0.00%

发文量