Even if in literature the role of environment in designing and engineering Multi-Agent Systems (MAS) has been largely acknowledged and explored, no abstract formal model have been developed so far to rigorously define the main features of environment programming in the context of MAS programming, in particular to be integrated and exploited with existing agent programming languages/platforms and related formalisations. Accordingly, in this paper we present a formalisation of a general-purpose model for environment programming, based on the notion of artifact as introduced in the A&A metamodel and implemented by the CArtAgO framework. Even if based on the A&A meta-model, we argue that the model can be useful to understand and analyse aspects that are important - more generally - for any general-purpose environment model used in MAS programming.

A. Ricci, M. Viroli, M. Piunti (2010). Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments. Heidelberg : Springer [10.1007/978-3-642-14843-9_9].

Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments

RICCI, ALESSANDRO;VIROLI, MIRKO;
2010

Abstract

Even if in literature the role of environment in designing and engineering Multi-Agent Systems (MAS) has been largely acknowledged and explored, no abstract formal model have been developed so far to rigorously define the main features of environment programming in the context of MAS programming, in particular to be integrated and exploited with existing agent programming languages/platforms and related formalisations. Accordingly, in this paper we present a formalisation of a general-purpose model for environment programming, based on the notion of artifact as introduced in the A&A metamodel and implemented by the CArtAgO framework. Even if based on the A&A meta-model, we argue that the model can be useful to understand and analyse aspects that are important - more generally - for any general-purpose environment model used in MAS programming.
2010
Programming Multi-Agent Systems
133
150
A. Ricci, M. Viroli, M. Piunti (2010). Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments. Heidelberg : Springer [10.1007/978-3-642-14843-9_9].
A. Ricci; M. Viroli; M. Piunti
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/96267
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 0
social impact