实时系统开发的一种精细化演算

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

Zhiqiang Chen, A. Cau, H. Zedan, Xiaodong Liu, Hongji Yang

{"title":"实时系统开发的一种精细化演算","authors":"Zhiqiang Chen, A. Cau, H. Zedan, Xiaodong Liu, Hongji Yang","doi":"10.1109/APSEC.1998.733588","DOIUrl":null,"url":null,"abstract":"We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique-HRT-HOOD. A real-time logic is specified by extending a sound formal method for real-time systems-TAM, to formalise the object model. With integration of HRT-HOOD and TAM, the advantages of object-oriented structured methods with the stepwise refinement techniques are combined. The result is illustrated on a case study.","PeriodicalId":296589,"journal":{"name":"Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240)","volume":"175 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1998-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"A refinement calculus for the development of real-time systems\",\"authors\":\"Zhiqiang Chen, A. Cau, H. Zedan, Xiaodong Liu, Hongji Yang\",\"doi\":\"10.1109/APSEC.1998.733588\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique-HRT-HOOD. A real-time logic is specified by extending a sound formal method for real-time systems-TAM, to formalise the object model. With integration of HRT-HOOD and TAM, the advantages of object-oriented structured methods with the stepwise refinement techniques are combined. The result is illustrated on a case study.\",\"PeriodicalId\":296589,\"journal\":{\"name\":\"Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240)\",\"volume\":\"175 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1998-12-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"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.733588\",\"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.733588","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

我们提出了一种可以将规范转换为对象的演算方法，用于实时系统的开发。对象模型基于一种实用的面向对象开发技术——hrt - hood。通过扩展实时系统的形式化方法(tam)来指定实时逻辑，从而形式化对象模型。将HRT-HOOD和TAM相结合，将面向对象结构化方法的优点与逐步细化技术相结合。通过一个案例分析说明了这一结果。

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

查看原文本刊更多论文

A refinement calculus for the development of real-time systems

We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique-HRT-HOOD. A real-time logic is specified by extending a sound formal method for real-time systems-TAM, to formalise the object model. With integration of HRT-HOOD and TAM, the advantages of object-oriented structured methods with the stepwise refinement techniques are combined. The result is illustrated on a case study.

求助全文

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

来源期刊

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

自引率

0.00%

发文量