A formal semantics for agent distribution and fault tolerance in Jason

This article provides a formal specification of the distribution and fault-tolerance mechanisms of eJason. The eJason programming language is an extension to the agent-oriented programming language Jason that introduces native support for the transparent distribution of agents as well as fault-toler...

Full description

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 133; p. 100874
Main Authors Fernández Díaz, Álvaro, Fredlund, Lars-Åke, Benac-Earle, Clara, Mariño, Julio
Format Journal Article
LanguageEnglish
Published Elsevier Inc 01.06.2023
Subjects
Distribution
Fault-tolerance
Jason
Multiagent systems
Semantics
Multiagent systems
Jason
Fault-tolerance
Semantics
Distribution
Online AccessGet full text

Cover

More Information
Summary:This article provides a formal specification of the distribution and fault-tolerance mechanisms of eJason. The eJason programming language is an extension to the agent-oriented programming language Jason that introduces native support for the transparent distribution of agents as well as fault-tolerance mechanisms. This formal semantics is presented from a multiagent system perspective. It unambiguously describes both the possible evolution of the distributed multiagent system over time and the different instruments for fault detection and fault recovery, hence exposing their strengths. This specification may serve as a reference for researchers interested in the inclusion of similar mechanisms in agent-oriented programming languages. The formal semantics has been mechanized through an (open-source) implementation written in Prolog, which implements both the standard Jason operational semantics, along with the new rules for distribution and fault-tolerance introduced in this article.
ISSN:2352-2208
DOI:10.1016/j.jlamp.2023.100874