This paper shows how to use multi-agent Abstract State Machines to specify self-adaptive behavior in a decentralized adaptation control system. A traffic monitoring system is taken as case study.

(2014). Towards ASM-based formal specification of self-adaptive systems [conference presentation - intervento a convegno]. Retrieved from http://hdl.handle.net/10446/31354

Towards ASM-based formal specification of self-adaptive systems

SCANDURRA, Patrizia
2014-01-01

Abstract

This paper shows how to use multi-agent Abstract State Machines to specify self-adaptive behavior in a decentralized adaptation control system. A traffic monitoring system is taken as case study.
2014
Riccobene, Elvinia; Scandurra, Patrizia
File allegato/i alla scheda:
File Dimensione del file Formato  
ABZ2014_short.pdf

Solo gestori di archivio

Descrizione: author's postprint - versione referata
Dimensione del file 290.66 kB
Formato Adobe PDF
290.66 kB Adobe PDF   Visualizza/Apri
Pubblicazioni consigliate

Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10446/31354
Citazioni
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 5
social impact