Software infrastructures are quickly changing, becoming more and more global, pervasive and autonomic. Computing is becoming ubiquitous, with embedded and distributed devices interacting with each other. MAS have been recognized to be a promising paradigm for this kind of scenarios, however, the more the complexity of programming these systems will increase, the more the need for effective tools for reasoning on properties of programs is noticed. Some examples are the recent proposals for introducing types in agent languages. Types provide abstractions to perform sophisticated forms of program analysis and verifications that help programmers to face the complexity of their job. In this presentation we discuss how norms represented by commitments can be used for typing MAS and why they are a promising tool.

Norms for Typing MAS Multi-Agent Systems

BALDONI, Matteo;BAROGLIO, Cristina;CAPUZZIMATI, FEDERICO
2013

Abstract

Software infrastructures are quickly changing, becoming more and more global, pervasive and autonomic. Computing is becoming ubiquitous, with embedded and distributed devices interacting with each other. MAS have been recognized to be a promising paradigm for this kind of scenarios, however, the more the complexity of programming these systems will increase, the more the need for effective tools for reasoning on properties of programs is noticed. Some examples are the recent proposals for introducing types in agent languages. Types provide abstractions to perform sophisticated forms of program analysis and verifications that help programmers to face the complexity of their job. In this presentation we discuss how norms represented by commitments can be used for typing MAS and why they are a promising tool.
http://www.lorentzcenter.nl/lc/web/2013/585/info.php3?wsid=585
Matteo Baldoni; Cristina Baroglio; Federico Capuzzimati
File in questo prodotto:
File Dimensione Formato  
2013_NorMAS.pdf

Accesso aperto

Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 1.04 MB
Formato Adobe PDF
1.04 MB Adobe PDF Visualizza/Apri

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/2318/145391
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact