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....

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:FME Workshop on Formal Methods in Software Engineering (Online) s. 122 - 126
Hlavní autoři: Tagliaferro, Alberto, Lestingi, Livia, Rossi, Matteo
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: ACM 14.04.2024
Témata:
Domain-Specific Language
DSL
Formal languages
Multi-Agent Patterns Specification
Organizations
Pattern Verification
Programming
Semantics
Service robots
Software
ISSN:2575-5099
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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
DOI:10.1145/3644033.3644379