A Calculus of Agents and Artifacts

F. Damiani; Paola GIANNINI; A. Ricci; M. Viroli

doi:10.1007/978-3-642-20116-5_10

A Calculus of Agents and Artifacts

F. Damiani, Paola GIANNINI, A. Ricci, M. Viroli

Dipartimento per lo Sviluppo Sostenibile e la Transizione Ecologica

Risultato della ricerca: Capitolo in libro/report/atti di convegno › Contributo in volume (Capitolo o Saggio) › peer review

Abstract

A library-based extension of JAVA, the SIMPA framework, introduced a new abstraction based on agent-oriented concepts. Agents are autonomous entities that cooperate by exploiting artifacts, representing resources that are dynamically created and shared by agents. In this paper we present a core calculus integrating techniques coming from the area of concurrency and from OO programming. The syntax of the calculus with its static and dynamic semantics are introduced through an example. The calculus aims to foster the formalization (and proof) of type soundness of SIMPA programs and the development of techniques for analyzing the computational behaviour of agents and artifacts.

Lingua originale	Inglese
Titolo della pubblicazione ospite	Software and Data Technologies - 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers
Pagine	124-136
Numero di pagine	13
Volume	50
DOI	https://doi.org/10.1007/978-3-642-20116-5_10
Stato di pubblicazione	Pubblicato - 2011

Accesso al documento

10.1007/978-3-642-20116-5_10

http://hdl.handle.net/11579/57011

Altri file e collegamenti

handle

Cita questo

@inbook{598089b6259c4a90b0a41f7c62b27d73,

title = "A Calculus of Agents and Artifacts",

abstract = "A library-based extension of JAVA, the SIMPA framework, introduced a new abstraction based on agent-oriented concepts. Agents are autonomous entities that cooperate by exploiting artifacts, representing resources that are dynamically created and shared by agents. In this paper we present a core calculus integrating techniques coming from the area of concurrency and from OO programming. The syntax of the calculus with its static and dynamic semantics are introduced through an example. The calculus aims to foster the formalization (and proof) of type soundness of SIMPA programs and the development of techniques for analyzing the computational behaviour of agents and artifacts.",

author = "F. Damiani and Paola GIANNINI and A. Ricci and M. Viroli",

year = "2011",

doi = "10.1007/978-3-642-20116-5\_10",

language = "English",

volume = "50",

pages = "124--136",

booktitle = "Software and Data Technologies - 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers",

}

A Calculus of Agents and Artifacts. / Damiani, F.; GIANNINI, Paola; Ricci, A. et al.
Software and Data Technologies - 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers. Vol. 50 2011. pag. 124-136.

Risultato della ricerca: Capitolo in libro/report/atti di convegno › Contributo in volume (Capitolo o Saggio) › peer review

TY - CHAP

T1 - A Calculus of Agents and Artifacts

AU - Damiani, F.

AU - GIANNINI, Paola

AU - Ricci, A.

AU - Viroli, M.

PY - 2011

Y1 - 2011

N2 - A library-based extension of JAVA, the SIMPA framework, introduced a new abstraction based on agent-oriented concepts. Agents are autonomous entities that cooperate by exploiting artifacts, representing resources that are dynamically created and shared by agents. In this paper we present a core calculus integrating techniques coming from the area of concurrency and from OO programming. The syntax of the calculus with its static and dynamic semantics are introduced through an example. The calculus aims to foster the formalization (and proof) of type soundness of SIMPA programs and the development of techniques for analyzing the computational behaviour of agents and artifacts.

AB - A library-based extension of JAVA, the SIMPA framework, introduced a new abstraction based on agent-oriented concepts. Agents are autonomous entities that cooperate by exploiting artifacts, representing resources that are dynamically created and shared by agents. In this paper we present a core calculus integrating techniques coming from the area of concurrency and from OO programming. The syntax of the calculus with its static and dynamic semantics are introduced through an example. The calculus aims to foster the formalization (and proof) of type soundness of SIMPA programs and the development of techniques for analyzing the computational behaviour of agents and artifacts.

UR - https://iris.uniupo.it/handle/11579/57011

U2 - 10.1007/978-3-642-20116-5_10

DO - 10.1007/978-3-642-20116-5_10

M3 - Chapter

VL - 50

SP - 124

EP - 136

BT - Software and Data Technologies - 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers

ER -

A Calculus of Agents and Artifacts

Abstract

Accesso al documento

Altri file e collegamenti

Fingerprint

Cita questo