Navegación

Búsqueda

Búsqueda avanzada

A Formal Semantics for Agent Distribution and Fault Tolerance in Jason

Resumen:

This paper provides a formal specification of the distribution and fault-tolerancemechanisms of eJason. The eJason programming language is an extension tothe agent-oriented programming language Jason that introduces native supportfor the transparent distribution of agents as well as fault-tolerance mechanisms.This formal semantics is presented from a multiagent system perspective. Itunambiguously describes both the possible evolution of the distributed multi-agent system over time and the different instruments for fault detection andfault recovery, hence exposing their strengths. This specification may serve asa reference for researchers interested in the inclusion of similar mechanisms inagent-oriented programming languages.

Palabras Clave:

Erlang - Formal semantics - Multiagent systems

Autor(es):

Handle:

11705/PROLE/2021/016

Descargas:

La descarga de este artículo ha sido restringida por el autor

Ver la referencia en formato Bibtex