Autor:
Fernández Díaz, Álvaro

Foto de perfil

E-mails conocidos

alvarofdezdiaz@gmail.com

Fecha de nacimiento

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

Fernández Díaz

Nombre de pila

Álvaro

Nombre

Nombres alternativos

Afiliaciones conocidas

Universidad Politécnica de Madrid, Spain

Páginas web conocidas

Página completa del ítem
Notificar un error en este autor

Filtros

20211
Restablecer filtros

Ajustes

Autor: Fredlund, Lars-Ake × Autor: Mariño, Julio ×

Resultados de la búsqueda

Mostrando 1 - 1 de 1
  • Miniatura
    Artículo
    A Formal Semantics for Agent Distribution and Fault Tolerance in Jason
    Fernández Díaz, Álvaro; Fredlund, Lars-Ake; Benac Earle, Clara; Mariño, Julio. Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021), 2021-09-22.
    This paper 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 multi- agent 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.