Towards Verifiable Multi-Agent Interaction Pattern Specification

Smart cyber agents play a crucial role in software-intensive systems by monitoring their physical surroundings and making impactful decisions. This paper addresses the challenge of specifying multi-agent patterns, which include interactions with human agents in possibly safety-critical environments....

Full description

Saved in:
Bibliographic Details
Published in2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) pp. 122 - 126
Main Authors Tagliaferro, Alberto, Lestingi, Livia, Rossi, Matteo
Format Conference Proceeding
LanguageEnglish
Published ACM 14.04.2024
Subjects
Domain-Specific Language
DSL
Formal languages
Multi-Agent Patterns Specification
Organizations
Pattern Verification
Programming
Semantics
Service robots
Software
Online AccessGet full text

Cover

More Information
Summary:Smart cyber agents play a crucial role in software-intensive systems by monitoring their physical surroundings and making impactful decisions. This paper addresses the challenge of specifying multi-agent patterns, which include interactions with human agents in possibly safety-critical environments. To this end, we introduce the foundations of a domain-agnostic and flexible Domain-Specific Language (DSL) called LIrAs. The language is designed to be accessible to users without programming expertise. LIrAs' semantics are mapped to Deterministic Finite-state Automata, making specifications amenable to formal verification. The DSL is exemplified through an illustrative scenario from the service robotics field.CCS CONCEPTS* Software and its engineering → Domain specific languages; Formal language definitions; * Computer systems organization → Embedded and cyber-physical systems.
ISSN:2575-5099