Comparing perfomance abstractions for collective adaptive systems

IF 1.1 3区 计算机科学 Q4 COMPUTER SCIENCE, SOFTWARE ENGINEERING
Maurizio Murgia, Riccardo Pinciroli, Catia Trubiani, Emilio Tuosto
{"title":"Comparing perfomance abstractions for collective adaptive systems","authors":"Maurizio Murgia, Riccardo Pinciroli, Catia Trubiani, Emilio Tuosto","doi":"10.1007/s10009-023-00728-9","DOIUrl":null,"url":null,"abstract":"Abstract Non-functional properties of collective adaptive systems (CAS) are of paramount relevance practically in any application. This paper compares two recently proposed approaches to quantitative modelling that exploit different system abstractions: the first is based on generalised stochastic Petri nets, and the second is based on queueing networks. Through a case study involving autonomous robots, we analyse and discuss the relative merits of the approaches. This is done by considering three scenarios which differ on the architecture used to coordinate the distributed components. Our experimental results assess a high accuracy when comparing model-based performance analysis results derived from two different quantitative abstractions for CAS.","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"20 16","pages":"0"},"PeriodicalIF":1.1000,"publicationDate":"2023-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Journal on Software Tools for Technology Transfer","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1007/s10009-023-00728-9","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, SOFTWARE ENGINEERING","Score":null,"Total":0}
引用次数: 1

Abstract

Abstract Non-functional properties of collective adaptive systems (CAS) are of paramount relevance practically in any application. This paper compares two recently proposed approaches to quantitative modelling that exploit different system abstractions: the first is based on generalised stochastic Petri nets, and the second is based on queueing networks. Through a case study involving autonomous robots, we analyse and discuss the relative merits of the approaches. This is done by considering three scenarios which differ on the architecture used to coordinate the distributed components. Our experimental results assess a high accuracy when comparing model-based performance analysis results derived from two different quantitative abstractions for CAS.
比较集体自适应系统的性能抽象
摘要集体自适应系统(CAS)的非功能特性在实际应用中具有重要意义。本文比较了最近提出的两种利用不同系统抽象的定量建模方法:第一种是基于广义随机Petri网,第二种是基于排队网络。通过一个涉及自主机器人的案例研究,我们分析和讨论了这些方法的相对优点。这是通过考虑用于协调分布式组件的体系结构不同的三种场景来完成的。当比较基于模型的性能分析结果时,我们的实验结果评估了很高的准确性,这些分析结果来源于两种不同的CAS定量抽象。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
CiteScore
4.50
自引率
6.70%
发文量
39
期刊介绍: The International Journal on Software Tools for Technology Transfer (STTT) provides a forum for the discussion of all aspects of tools supporting the development of computer systems. It offers, above all, a tool-oriented link between academic research and industrial practice. Tool support for the development of reliable and correct computer-based systems is of growing importance, and a wealth of design methodologies, algorithms, and associated tools have been developed in different areas of computer science. However, each area has its own culture and terminology, preventing researchers from taking advantage of the results obtained by colleagues in other fields. Tool builders are often unaware of the work done by others, and thus unable to apply it. The situation is even more critical when considering the transfer of new technology into industrial practice.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信