过程控制系统形式规范语言设计的完备性

Formal Methods in Software Practice Pub Date : 2000-08-24 DOI:10.1145/349360.351142

E. Olderog, A. Ravn

{"title":"过程控制系统形式规范语言设计的完备性","authors":"E. Olderog, A. Ravn","doi":"10.1145/349360.351142","DOIUrl":null,"url":null,"abstract":"We show how UML class diagrams can be used to document design by refinement in the early design stages. This is illustrated by an example from the area of embedded real-time and hybrid systems. A precise semantics is given for the UML class diagrams by translation to the Z schema calculus.","PeriodicalId":125560,"journal":{"name":"Formal Methods in Software Practice","volume":"6 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2000-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Completeness in formal specification language design for process-control systems\",\"authors\":\"E. Olderog, A. Ravn\",\"doi\":\"10.1145/349360.351142\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We show how UML class diagrams can be used to document design by refinement in the early design stages. This is illustrated by an example from the area of embedded real-time and hybrid systems. A precise semantics is given for the UML class diagrams by translation to the Z schema calculus.\",\"PeriodicalId\":125560,\"journal\":{\"name\":\"Formal Methods in Software Practice\",\"volume\":\"6 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2000-08-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Formal Methods in Software Practice\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/349360.351142\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Formal Methods in Software Practice","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/349360.351142","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

我们展示了如何在早期设计阶段通过细化使用UML类图来记录设计。这是由嵌入式实时和混合系统领域的一个例子说明。通过转换为Z模式演算，给出了UML类图的精确语义。

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

查看原文本刊更多论文

Completeness in formal specification language design for process-control systems

We show how UML class diagrams can be used to document design by refinement in the early design stages. This is illustrated by an example from the area of embedded real-time and hybrid systems. A precise semantics is given for the UML class diagrams by translation to the Z schema calculus.

求助全文

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

来源期刊

Formal Methods in Software Practice

自引率

0.00%

发文量