Academic Journals Database
Disseminating quality controlled scientific knowledge

Standard Type Soundness for Agents and Artifacts

ADD TO MY LIST
 
Author(s): F. Damiani | P. Giannini | A. Ricci | M. Viroli

Journal: Scientific Annals of Computer Science
ISSN 1843-8121

Volume: 22;
Issue: 2;
Start page: 267;
Date: 2012;
VIEW PDF   PDF DOWNLOAD PDF   Download PDF Original page

Keywords: multi-agent systems | concurrency | type systems

ABSTRACT
Formal models, core calculi, and type systems, are important tools for rigorously stating the more subtle details of a language, to characterise and study its features and the correctness properties of its programs. In this paper we present {FsimpAL} (FsimpaALlong), a formal calculus modelling the agent and artifact program abstractions provided by the simpA{} agent framework. The formalisation is largely inspired by extsc{Featherweight Java}. It is based on reduction rules applied at certain evaluation contexts, properly adapted to the concurrency nature of simpA{}. On top of this calculus we introduce a standard type system and prove its soundness, so as to guarantee that the execution of a well-typed program does not get stuck. Namely, all primitive mechanisms of agents (activity execution), artifacts (field/property access and step execution), and their interaction (observation and invocation) are guaranteed to be used in a way that is structurally compliant with the corresponding definitions: hence, there will not be run-time errors due to {FsimpAL} distinctive primitives.
Affiliate Program      Why do you need a reservation system?