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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:FME Workshop on Formal Methods in Software Engineering (Online) S. 122 - 126
Hauptverfasser: Tagliaferro, Alberto, Lestingi, Livia, Rossi, Matteo
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: ACM 14.04.2024
Schlagworte:
Domain-Specific Language
DSL
Formal languages
Multi-Agent Patterns Specification
Organizations
Pattern Verification
Programming
Semantics
Service robots
Software
ISSN:2575-5099
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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