This paper introduces Attribute Global Types, an extension inspired by Attribute Grammars to a formalism we have recently proposed for specifying and dynamically verifying multi-party agent interaction protocols. Global types equipped with attributes are more expressive, since they allow parametric specifications of protocols, but despite their expressive power, they can be still effectively used for dynamic checking of protocols: Attribute Global Types can be easily represented as Prolog terms, and a mechanism for verifying that a sequence of messages complies to an Attribute Global Type has been designed and implemented in Prolog. This logic-based representation and implementation allow us to integrate a monitor agent implementing a run-time verification mechanism of protocol compliance into any logic-based agent oriented programming language that supports the basic Prolog built-ins.

Attribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems

MASCARDI, VIVIANA;ANCONA, DAVIDE
2013

Abstract

This paper introduces Attribute Global Types, an extension inspired by Attribute Grammars to a formalism we have recently proposed for specifying and dynamically verifying multi-party agent interaction protocols. Global types equipped with attributes are more expressive, since they allow parametric specifications of protocols, but despite their expressive power, they can be still effectively used for dynamic checking of protocols: Attribute Global Types can be easily represented as Prolog terms, and a mechanism for verifying that a sequence of messages complies to an Attribute Global Type has been designed and implemented in Prolog. This logic-based representation and implementation allow us to integrate a monitor agent implementing a run-time verification mechanism of protocol compliance into any logic-based agent oriented programming language that supports the basic Prolog built-ins.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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: http://hdl.handle.net/11567/634172
 Attenzione

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

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