形式化指定的通信协议的可视化和性能分析

Proceedings of International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems Pub Date : 1994-01-31 DOI:10.1109/MASCOT.1994.284409

M. Walch, A. Wolisz, J. Wolf-Günther

{"title":"形式化指定的通信协议的可视化和性能分析","authors":"M. Walch, A. Wolisz, J. Wolf-Günther","doi":"10.1109/MASCOT.1994.284409","DOIUrl":null,"url":null,"abstract":"There is an increasing interest in developing performance enhanced extensions of standardised FDTs. We present how simulation and visualization of performance-extended formal specifications can be efficiently supported by the use of a high-level simulation environment. Requirements for selection of a proper environment are formulated and the design principles for a software package, built on top of this environment are presented. The developed software supports both editing and animated stepwise execution of the specifications using peculiar concepts like: actions, processes, operators etc. In addition the execution of simulation with a collection of statistical data and deadlock detection, as well as graphical presentation of results are supported.<<ETX>>","PeriodicalId":288344,"journal":{"name":"Proceedings of International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems","volume":"29 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1994-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Visualization and performance analysis of formally specified communication protocols\",\"authors\":\"M. Walch, A. Wolisz, J. Wolf-Günther\",\"doi\":\"10.1109/MASCOT.1994.284409\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"There is an increasing interest in developing performance enhanced extensions of standardised FDTs. We present how simulation and visualization of performance-extended formal specifications can be efficiently supported by the use of a high-level simulation environment. Requirements for selection of a proper environment are formulated and the design principles for a software package, built on top of this environment are presented. The developed software supports both editing and animated stepwise execution of the specifications using peculiar concepts like: actions, processes, operators etc. In addition the execution of simulation with a collection of statistical data and deadlock detection, as well as graphical presentation of results are supported.<<ETX>>\",\"PeriodicalId\":288344,\"journal\":{\"name\":\"Proceedings of International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems\",\"volume\":\"29 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1994-01-31\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/MASCOT.1994.284409\",\"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 of International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MASCOT.1994.284409","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

人们对开发标准化fdt的性能增强扩展越来越感兴趣。我们介绍了如何通过使用高级仿真环境有效地支持性能扩展形式化规范的仿真和可视化。阐述了选择合适环境的要求，并提出了在此环境之上构建软件包的设计原则。开发的软件支持编辑和动画逐步执行的规范使用特殊的概念，如:动作，过程，操作员等。此外，还支持统计数据和死锁检测的模拟执行，以及结果的图形化表示。

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

查看原文本刊更多论文

Visualization and performance analysis of formally specified communication protocols

There is an increasing interest in developing performance enhanced extensions of standardised FDTs. We present how simulation and visualization of performance-extended formal specifications can be efficiently supported by the use of a high-level simulation environment. Requirements for selection of a proper environment are formulated and the design principles for a software package, built on top of this environment are presented. The developed software supports both editing and animated stepwise execution of the specifications using peculiar concepts like: actions, processes, operators etc. In addition the execution of simulation with a collection of statistical data and deadlock detection, as well as graphical presentation of results are supported.<>

求助全文

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

来源期刊

Proceedings of International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems

自引率

0.00%

发文量