双塔3.0:增强可用性

11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003. Pub Date : 2003-10-27 DOI:10.1109/MASCOT.2003.1240656

M. Bernardo

{"title":"双塔3.0:增强可用性","authors":"M. Bernardo","doi":"10.1109/MASCOT.2003.1240656","DOIUrl":null,"url":null,"abstract":"TwoTowers is a software tool for the functional verification and performance evaluation of computer, communication and software systems represented through stochastic process algebra (SPA). In this paper we describe a novel version (3.0), in which the modeling language is no longer a pure SPA, but a SPA-based architectural description language called AEmilia. We show that Two Towers 3.0 improves on the previous version in terms of usability, because AEmilia hides most of the technicalities of SPA, and also in terms of efficiency, because a new algorithm for state space generation has been implemented.","PeriodicalId":344411,"journal":{"name":"11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003.","volume":"432 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2003-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"11","resultStr":"{\"title\":\"Twotowers 3.0: enhancing usability\",\"authors\":\"M. Bernardo\",\"doi\":\"10.1109/MASCOT.2003.1240656\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"TwoTowers is a software tool for the functional verification and performance evaluation of computer, communication and software systems represented through stochastic process algebra (SPA). In this paper we describe a novel version (3.0), in which the modeling language is no longer a pure SPA, but a SPA-based architectural description language called AEmilia. We show that Two Towers 3.0 improves on the previous version in terms of usability, because AEmilia hides most of the technicalities of SPA, and also in terms of efficiency, because a new algorithm for state space generation has been implemented.\",\"PeriodicalId\":344411,\"journal\":{\"name\":\"11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003.\",\"volume\":\"432 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2003-10-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"11\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/MASCOT.2003.1240656\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MASCOT.2003.1240656","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 11

摘要

TwoTowers是一个软件工具，用于通过随机过程代数(SPA)表示的计算机，通信和软件系统的功能验证和性能评估。在本文中，我们描述了一个新的版本(3.0)，其中建模语言不再是纯粹的SPA，而是一种基于SPA的体系结构描述语言，称为AEmilia。我们展示了Two Towers 3.0在可用性方面比之前的版本有所改进，因为AEmilia隐藏了SPA的大部分技术，而且在效率方面也有所提高，因为已经实现了一种用于状态空间生成的新算法。

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

查看原文本刊更多论文

Twotowers 3.0: enhancing usability

TwoTowers is a software tool for the functional verification and performance evaluation of computer, communication and software systems represented through stochastic process algebra (SPA). In this paper we describe a novel version (3.0), in which the modeling language is no longer a pure SPA, but a SPA-based architectural description language called AEmilia. We show that Two Towers 3.0 improves on the previous version in terms of usability, because AEmilia hides most of the technicalities of SPA, and also in terms of efficiency, because a new algorithm for state space generation has been implemented.

求助全文

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

来源期刊

11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003.

自引率

0.00%

发文量