This paper outlines a first proposal of a formal semantics for the JADEL programming language. JADEL is an agent-oriented programming language based on JADE that has been recently proposed to ease the adoption of JADE, and to promote its use. In previous works, JADEL was specified at the syntax level, and only an informal semantics was given. The major contribution of this paper is to outline a formalization of the semantics of JADEL to complement previous works and to allow reasoning on JADEL agents and multi-agent systems. First, the paper provides a brief recall on JADEL by describing its main abstractions and their specific syntactic constructs. Then, a discussion of the proposed operational semantics based on transition systems is described. Finally, a detailed operational semantics of only some relevant constructs is given. The validity of the proposed approach is discussed in the conclusion of the paper, together with directions of future developments.

Overview of a formal semantics for the JADEL programming language / Bergenti, Federico; Iotti, Eleonora; Monica, Stefania; Poggi, Agostino. - 1867:(2017), pp. 55-60. (Intervento presentato al convegno 18th Workshop "From Objects to Agents", WOA 2017 tenutosi a ita nel 2017).

Overview of a formal semantics for the JADEL programming language

BERGENTI, Federico;MONICA, Stefania;POGGI, Agostino
2017

Abstract

This paper outlines a first proposal of a formal semantics for the JADEL programming language. JADEL is an agent-oriented programming language based on JADE that has been recently proposed to ease the adoption of JADE, and to promote its use. In previous works, JADEL was specified at the syntax level, and only an informal semantics was given. The major contribution of this paper is to outline a formalization of the semantics of JADEL to complement previous works and to allow reasoning on JADEL agents and multi-agent systems. First, the paper provides a brief recall on JADEL by describing its main abstractions and their specific syntactic constructs. Then, a discussion of the proposed operational semantics based on transition systems is described. Finally, a detailed operational semantics of only some relevant constructs is given. The validity of the proposed approach is discussed in the conclusion of the paper, together with directions of future developments.
2017
18th Workshop "From Objects to Agents", WOA 2017
ita
2017
1867
55
60
Bergenti, Federico; Iotti, Eleonora; Monica, Stefania; Poggi, Agostino
Overview of a formal semantics for the JADEL programming language / Bergenti, Federico; Iotti, Eleonora; Monica, Stefania; Poggi, Agostino. - 1867:(2017), pp. 55-60. (Intervento presentato al convegno 18th Workshop "From Objects to Agents", WOA 2017 tenutosi a ita nel 2017).
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/1207019
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
social impact