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.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
