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

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.