Towards ASM-based formal specification of self-adaptive systems

Conference Paper
Publication Date:
2014
Short description:
(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.
Iris type:
1.4.01 Contributi in atti di convegno - Conference presentations
List of contributors:
Authors of the University:
Handle:
https://aisberg.unibg.it/handle/10446/31354
Book title:
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014: proceedings
Published in:
LECTURE NOTES IN COMPUTER SCIENCE
Series

Research