loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Ferruccio Damiani 1 ; Paola Giannini 2 ; Alessandro Ricci 3 and Mirko Viroli 3

Affiliations: 1 Università degli Studi di Torino, Italy ; 2 Università del Piemonte Orientale, Italy ; 3 Università di Bologna, Italy

Keyword(s): Multi-agent systems, Concurrency, Core calculi, Type systems.

Related Ontology Subjects/Areas/Topics: Agents ; Artificial Intelligence ; Artificial Intelligence and Decision Support Systems ; Distributed and Mobile Software Systems ; Enterprise Information Systems ; Knowledge Engineering and Ontology Development ; Knowledge-Based Systems ; Multi-Agent Systems ; Programming Languages ; Software Engineering ; Symbolic Systems

Abstract: The widespread diffusion and availability of multicore architectures is going to make more and more aspects of concurrency and distribution to be part of mainstream programming and software engineering. The SIMPA framework is a recently proposed library-based extension of JAVA that introduces on top of the OO layer a new abstraction layer based on agent-oriented concepts. A SIMPA program is organized in terms of dynamic set of autonomous pro-active task-oriented entities – the agents – that cooperate by exploiting some artifacts, that represents resources and tools that are dynamically constructed, shared and co-used by agents. In this paper we promote the applicability of the agent and artifact metamodel in OO programming a step further. Namely, we propose a core calculus that integrates techniques coming from concurrency theory and from OO programming languages to provide a first basic formal framework for designing agent-oriented languages and studying properties of agent-oriented programs. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 52.205.159.48

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Damiani, F.; Giannini, P.; Ricci, A. and Viroli, M. (2009). FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts. In Proceedings of the 4th International Conference on Software and Data Technologies - Volume 1: ICSOFT; ISBN 978-989-674-009-2; ISSN 2184-2833, SciTePress, pages 218-225. DOI: 10.5220/0002257102180225

@conference{icsoft09,
author={Ferruccio Damiani. and Paola Giannini. and Alessandro Ricci. and Mirko Viroli.},
title={FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts},
booktitle={Proceedings of the 4th International Conference on Software and Data Technologies - Volume 1: ICSOFT},
year={2009},
pages={218-225},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002257102180225},
isbn={978-989-674-009-2},
issn={2184-2833},
}

TY - CONF

JO - Proceedings of the 4th International Conference on Software and Data Technologies - Volume 1: ICSOFT
TI - FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts
SN - 978-989-674-009-2
IS - 2184-2833
AU - Damiani, F.
AU - Giannini, P.
AU - Ricci, A.
AU - Viroli, M.
PY - 2009
SP - 218
EP - 225
DO - 10.5220/0002257102180225
PB - SciTePress