Towards ASM-based formal specification of self-adaptive systems

Contributo in Atti di convegno
Data di Pubblicazione:
2014
Citazione:
(2014). Towards ASM-based formal specification of self-adaptive systems [conference presentation - intervento a convegno]. Retrieved from http://hdl.handle.net/10446/31354
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.
Tipologia CRIS:
1.4.01 Contributi in atti di convegno - Conference presentations
Elenco autori:
Riccobene, Elvinia; Scandurra, Patrizia
Autori di Ateneo:
SCANDURRA Patrizia
Link alla scheda completa:
https://aisberg.unibg.it/handle/10446/31354
Titolo del libro:
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014: proceedings
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Series

Ricerca

Settori


Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni