Language support for verifying reconfigurable interacting systems

IF 1.1 3区计算机科学 Q4 COMPUTER SCIENCE, SOFTWARE ENGINEERING

International Journal on Software Tools for Technology Transfer Pub Date : 2023-11-02 DOI:10.1007/s10009-023-00729-8

Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman

{"title":"Language support for verifying reconfigurable interacting systems","authors":"Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman","doi":"10.1007/s10009-023-00729-8","DOIUrl":null,"url":null,"abstract":"Abstract Reconfigurable interacting systems consist of a set of autonomous agents, with integrated interaction capabilities that feature opportunistic interaction. Agents seemingly reconfigure their interaction interfaces by forming collectives and interact based on mutual interests. Finding ways to design and analyse the behaviour of these systems is a vigorously pursued research goal. In this article, we provide a modelling and analysis environment for the design of such system. Our tool offers simulation and verification to facilitate native reasoning about the domain concepts of such systems. We present our tool named R-CHECK (please find the associated toolkit repository here: https://github.com/dsynma/recipe ). R-CHECK supports a high-level input language with matching enumerative and symbolic semantics and provides modelling convenience for features such as reconfiguration, coalition formation, and self-organisation. For analysis, users can simulate the designed system and explore arising traces. Our included model checker permits reasoning about interaction protocols and joint missions.","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"12 5","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-00729-8","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 Reconfigurable interacting systems consist of a set of autonomous agents, with integrated interaction capabilities that feature opportunistic interaction. Agents seemingly reconfigure their interaction interfaces by forming collectives and interact based on mutual interests. Finding ways to design and analyse the behaviour of these systems is a vigorously pursued research goal. In this article, we provide a modelling and analysis environment for the design of such system. Our tool offers simulation and verification to facilitate native reasoning about the domain concepts of such systems. We present our tool named R-CHECK (please find the associated toolkit repository here: https://github.com/dsynma/recipe ). R-CHECK supports a high-level input language with matching enumerative and symbolic semantics and provides modelling convenience for features such as reconfiguration, coalition formation, and self-organisation. For analysis, users can simulate the designed system and explore arising traces. Our included model checker permits reasoning about interaction protocols and joint missions.

查看原文本刊更多论文

用于验证可重构交互系统的语言支持

可重构交互系统由一组自主代理组成，这些代理具有以机会交互为特征的集成交互能力。代理人似乎通过形成集体并基于共同利益进行互动来重新配置他们的交互界面。寻找设计和分析这些系统行为的方法是一个积极追求的研究目标。在本文中，我们为该系统的设计提供了一个建模和分析环境。我们的工具提供模拟和验证，以促进对此类系统的领域概念的本地推理。我们展示了名为R-CHECK的工具(请在这里找到相关的工具包存储库:https://github.com/dsynma/recipe)。R-CHECK支持具有匹配枚举和符号语义的高级输入语言，并为重新配置，联盟形成和自组织等功能提供建模便利。为了进行分析，用户可以模拟设计的系统并探索产生的痕迹。我们所包含的模型检查器允许对交互协议和联合任务进行推理。

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

求助全文

约1分钟内获得全文求助全文

来源期刊

International Journal on Software Tools for Technology Transfer Computer Science-Information Systems

CiteScore

4.50

自引率

6.70%

发文量

期刊介绍： 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.