Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli

Communications in Computer and Information Science 50, pp. 124136,  2011
Springer-Verlag, Berlin, Germany
Jos{\'e} Cordeiro, AlpeshKumar Ranchordas, Boris Shishkov (a cura di)

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.

(keywords) Artifacts; Core Calculus; Operational Semantics; Type System
 @incollection{ArtifactsCalculusSDT2011,
series = {Communications in Computer and Information Science},
location = {Sofia, Bulgaria},
booktitle = {Software and Data Technologies. 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers},
publisher = {Springer-Verlag},
journal = {Communications in Computer and Information Science},
author = {Damiani, Ferruccio and Giannini, Paola and Ricci, Alessandro and Viroli, Mirko},
title = {A Calculus of Agents and Artifacts},
isbn = {978-3-642-20115-8},
year = 2011,
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.},
keywords = {Artifacts; Core Calculus; Operational Semantics; Type System},
issn-online = {1865-0929},
status = {Published},
pages = {124--136},
venue_list = {--},
url = {http://link.springer.com/chapter/10.1007%2F978-3-642-20116-5_10},
editor = {Cordeiro, Jos{\'e} and Ranchordas, AlpeshKumar and Shishkov, Boris},
address = {Berlin, Germany},
volume = 50,
doi = {10.1007/978-3-642-20116-5_10}

Riviste & collane

Tags:

Pubblicazione

— autori/autrici

Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli

— a cura di

Jos{\'e} Cordeiro, AlpeshKumar Ranchordas, Boris Shishkov

— stato

pubblicato

— tipo

articolo su rivista

Sede di pubblicazione

— rivista

Communications in Computer and Information Science

— volume

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

— collana

Communications in Computer and Information Science

— volume

50

— pagine

124136

— data di pubblicazione

2011

URL

pagina originale

Identificatori

— DOI

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

— online ISSN

1865-0929

— print ISBN

978-3-642-20115-8

BibTeX

— BibTeX ID
ArtifactsCalculusSDT2011
— BibTeX category
incollection

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY