Modechart在实时逻辑中的语义

[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track Pub Date : 1900-01-01 DOI:10.1109/HICSS.1988.11840

F. Jahanian, R. Lee, A. Mok

{"title":"Modechart在实时逻辑中的语义","authors":"F. Jahanian, R. Lee, A. Mok","doi":"10.1109/HICSS.1988.11840","DOIUrl":null,"url":null,"abstract":"The authors present a specification language called Modechart, which is especially amenable to the specification of real-time systems by graphical means. In addition to the behavioral description, Modechart permits the specification of timing constraints, an important element in real-time systems. A formal semantics for Modechart is provided in terms of real-time logic.<<ETX>>","PeriodicalId":148246,"journal":{"name":"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track","volume":"31 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"93","resultStr":"{\"title\":\"Semantics of Modechart in real time logic\",\"authors\":\"F. Jahanian, R. Lee, A. Mok\",\"doi\":\"10.1109/HICSS.1988.11840\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The authors present a specification language called Modechart, which is especially amenable to the specification of real-time systems by graphical means. In addition to the behavioral description, Modechart permits the specification of timing constraints, an important element in real-time systems. A formal semantics for Modechart is provided in terms of real-time logic.<<ETX>>\",\"PeriodicalId\":148246,\"journal\":{\"name\":\"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track\",\"volume\":\"31 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"93\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/HICSS.1988.11840\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HICSS.1988.11840","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 93

摘要

作者提出了一种称为Modechart的规范语言，它特别适用于通过图形化手段对实时系统进行规范。除了行为描述之外，Modechart还允许对时间约束进行规范，这是实时系统中的一个重要元素。Modechart的形式化语义是根据实时逻辑提供的

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

查看原文本刊更多论文

Semantics of Modechart in real time logic

The authors present a specification language called Modechart, which is especially amenable to the specification of real-time systems by graphical means. In addition to the behavioral description, Modechart permits the specification of timing constraints, an important element in real-time systems. A formal semantics for Modechart is provided in terms of real-time logic.<>

求助全文

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

来源期刊

[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track

自引率

0.00%

发文量