自顶向下的实时软件规范开发

Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076) Pub Date : 1996-10-22 DOI:10.1109/HASE.1996.618608

Jyhjong Lin, D. Kung, P. Hsia

{"title":"自顶向下的实时软件规范开发","authors":"Jyhjong Lin, D. Kung, P. Hsia","doi":"10.1109/HASE.1996.618608","DOIUrl":null,"url":null,"abstract":"Top down development has been well known to manage the complexity of characterizing large systems. The paper presents a top down object oriented approach to formal specification of real time software which is often large and complex for modern real time applications. The method creates an abstract object interaction model to describe objects in the application domain and their structure and behavior. An object specification model is then derived from the object interaction model to formally specify the objects. The method is applied to a simple illustrative example, the specification of a real time house heating system.","PeriodicalId":129829,"journal":{"name":"Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076)","volume":"55 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Top-down development of real-time software specification\",\"authors\":\"Jyhjong Lin, D. Kung, P. Hsia\",\"doi\":\"10.1109/HASE.1996.618608\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Top down development has been well known to manage the complexity of characterizing large systems. The paper presents a top down object oriented approach to formal specification of real time software which is often large and complex for modern real time applications. The method creates an abstract object interaction model to describe objects in the application domain and their structure and behavior. An object specification model is then derived from the object interaction model to formally specify the objects. The method is applied to a simple illustrative example, the specification of a real time house heating system.\",\"PeriodicalId\":129829,\"journal\":{\"name\":\"Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076)\",\"volume\":\"55 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1996-10-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/HASE.1996.618608\",\"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. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HASE.1996.618608","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

自顶向下的开发以管理描述大型系统的复杂性而闻名。本文提出了一种自顶向下的面向对象方法来实现现代实时应用中庞大而复杂的实时软件形式化规范。该方法创建一个抽象对象交互模型来描述应用程序域中的对象及其结构和行为。然后从对象交互模型派生出对象规范模型，以正式指定对象。将该方法应用于一个简单的说明性实例，即实时住宅供暖系统的规格说明。

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

查看原文本刊更多论文

Top-down development of real-time software specification

Top down development has been well known to manage the complexity of characterizing large systems. The paper presents a top down object oriented approach to formal specification of real time software which is often large and complex for modern real time applications. The method creates an abstract object interaction model to describe objects in the application domain and their structure and behavior. An object specification model is then derived from the object interaction model to formally specify the objects. The method is applied to a simple illustrative example, the specification of a real time house heating system.

求助全文

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

来源期刊

Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076)

自引率

0.00%

发文量