International Journal on Software Tools for Technology Transfer最新文献

A causal, time-independent synchronization pattern for collective adaptive systems 集体自适应系统的因果、与时间无关的同步模式

IF 1.5 3区计算机科学

International Journal on Software Tools for Technology Transfer Pub Date : 2023-11-24 DOI: 10.1007/s10009-023-00733-y

Peter Fettke, Wolfgang Reisig

引用次数: 0

Rigorous engineering of collective adaptive systems – 2nd special section 集体适应系统的严格工程-第二专题部分

3区计算机科学

International Journal on Software Tools for Technology Transfer Pub Date : 2023-11-14 DOI: 10.1007/s10009-023-00734-x

Martin Wirsing, Stefan Jähnichen, Rocco De Nicola

引用次数: 0

A modal approach to conscious social agents 有意识的社会行为者的模态方法

3区计算机科学

International Journal on Software Tools for Technology Transfer Pub Date : 2023-11-14 DOI: 10.1007/s10009-023-00732-z

Chen Yifeng, J. W. Sanders

引用次数: 1

Generating adaptation rule-specific neural networks 生成适应规则特定的神经网络

3区计算机科学

International Journal on Software Tools for Technology Transfer Pub Date : 2023-11-07 DOI: 10.1007/s10009-023-00725-y

Tomáš Bureš, Petr Hnětynka, Martin Kruliš, František Plášil, Danylo Khalyeyev, Sebastian Hahner, Stephan Seifermann, Maximilian Walter, Robert Heinrich

引用次数: 0

Language support for verifying reconfigurable interacting systems 用于验证可重构交互系统的语言支持

3区计算机科学

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":"https://doi.org/10.1007/s10009-023-00729-8","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":0.0,"publicationDate":"2023-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135934948","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Comparing perfomance abstractions for collective adaptive systems 比较集体自适应系统的性能抽象

3区计算机科学

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

Maurizio Murgia, Riccardo Pinciroli, Catia Trubiani, Emilio Tuosto

引用次数: 1

Coordinating and programming multiple ROS-based robots with X-KLAIM 用X-KLAIM协调和编程多个ros机器人

3区计算机科学

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

Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi

{"title":"Coordinating and programming multiple ROS-based robots with X-KLAIM","authors":"Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi","doi":"10.1007/s10009-023-00727-w","DOIUrl":"https://doi.org/10.1007/s10009-023-00727-w","url":null,"abstract":"Abstract Software development for robotics applications is still a major challenge that becomes even more complex when considering multi-robot systems (MRSs). Such distributed software has to perform multiple cooperating tasks in a well-coordinated manner to avoid unsatisfactory emerging behavior. This paper provides an approach for programming MRSs at a high abstraction level using the programming language X-Klaim . The computation and communication model of X-Klaim , based on multiple distributed tuple spaces, permits coordinating with the same abstractions and mechanisms both intra- and inter-robot interactions of an MRS. This allows developers to focus on MRS behavior, achieving readable, reusable, and maintainable code. The proposed approach can be used in practice by integrating X-Klaim and the popular robotics framework ROS. We demonstrate the feasibility and effectiveness of our approach by (i) showing how it scales when implementing two warehouse scenarios allowing us to reuse most of the code when passing from the simpler to the more enriched scenario and (ii) presenting the results of a few experiments showing that our code introduces a slightly greater but acceptable latency and consumes less memory than the traditional ROS implementation based on Python code.","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"10 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135934498","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

A toolchain for strategy synthesis with spatial properties 具有空间属性的策略综合工具链

3区计算机科学

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

Davide Basile, Maurice H. ter Beek, Laura Bussi, Vincenzo Ciancia

{"title":"A toolchain for strategy synthesis with spatial properties","authors":"Davide Basile, Maurice H. ter Beek, Laura Bussi, Vincenzo Ciancia","doi":"10.1007/s10009-023-00730-1","DOIUrl":"https://doi.org/10.1007/s10009-023-00730-1","url":null,"abstract":"Abstract We present an application of strategy synthesis to enforce spatial properties. This is achieved by implementing a toolchain that enables the tools and to interact in a fully automated way. The Contract Automata Library () is aimed at both composition and strategy synthesis of games modelled in a dialect of finite state automata. The Voxel-based Logical Analyser () is a spatial model checker for the verification of properties expressed using the Spatial Logic of Closure Spaces on pixels of digital images. We provide examples of strategy synthesis on automata encoding motion of agents in spaces represented by images, as well as a proof-of-concept realistic example based on a case study from the railway domain. The strategies are synthesised with , while the properties to enforce are defined by means of spatial model checking of the images with . The combination of spatial model checking with strategy synthesis provides a toolchain for checking and enforcing mobility properties in multi-agent systems in which location plays an important role, like in many collective adaptive systems. We discuss the toolchain’s performance also considering several recent improvements.","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"27 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135973707","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Correct by design coordination of autonomous driving systems 通过设计协调自动驾驶系统的正确性

3区计算机科学

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

Marius Bozga, Joseph Sifakis

引用次数: 2

Machine-learning abstractions for component-based self-optimizing systems 基于组件的自优化系统的机器学习抽象

3区计算机科学

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

Michal Töpfer, Milad Abdullah, Tomáš Bureš, Petr Hnětynka, Martin Kruliš

引用次数: 0