{"title":"用于描述反应系统的图形工具","authors":"K. Systa","doi":"10.1109/EMWRT.1991.144073","DOIUrl":null,"url":null,"abstract":"A prototype of a simulation tool with graphical visualization and animation facilities has been implemented for the DisCo specification language. The paper describes the basic ideas behind it, with emphasis on the visualization and animation facilities. The DisCo language is designed so that formal reasoning can be used to ensure critical properties of the specification. Simulation with animation is intended to complement the formal reasoning, not to replace it. Another purpose of graphical animation is to visualize specifications so that their authors and the 'customers' can more easily discuss them.<<ETX>>","PeriodicalId":215427,"journal":{"name":"Proceedings. EUROMICRO `91 Workshop on Real-Time Systems","volume":"58 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"33","resultStr":"{\"title\":\"A graphical tool for specification of reactive systems\",\"authors\":\"K. Systa\",\"doi\":\"10.1109/EMWRT.1991.144073\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A prototype of a simulation tool with graphical visualization and animation facilities has been implemented for the DisCo specification language. The paper describes the basic ideas behind it, with emphasis on the visualization and animation facilities. The DisCo language is designed so that formal reasoning can be used to ensure critical properties of the specification. Simulation with animation is intended to complement the formal reasoning, not to replace it. Another purpose of graphical animation is to visualize specifications so that their authors and the 'customers' can more easily discuss them.<<ETX>>\",\"PeriodicalId\":215427,\"journal\":{\"name\":\"Proceedings. EUROMICRO `91 Workshop on Real-Time Systems\",\"volume\":\"58 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"33\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings. EUROMICRO `91 Workshop on Real-Time Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/EMWRT.1991.144073\",\"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. EUROMICRO `91 Workshop on Real-Time Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/EMWRT.1991.144073","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A graphical tool for specification of reactive systems
A prototype of a simulation tool with graphical visualization and animation facilities has been implemented for the DisCo specification language. The paper describes the basic ideas behind it, with emphasis on the visualization and animation facilities. The DisCo language is designed so that formal reasoning can be used to ensure critical properties of the specification. Simulation with animation is intended to complement the formal reasoning, not to replace it. Another purpose of graphical animation is to visualize specifications so that their authors and the 'customers' can more easily discuss them.<>
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
