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.
patrizia.scandurra@unibg.it
WOS:000391055000017
2-s2.0-84903587060
2014
Inglese
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014: proceedings
Ait Ameur, Yamine; Schewe, Klaus-Dieter;
978-3-662-43651-6
978-3-662-43652-3
LECTURE NOTES IN COMPUTER SCIENCE
8477
204
209
cartaceo
online
Germany
Berlin
Springer
ABZ 2014: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014
4th
Toulouse (France)
2-6 June 2014
internazionale
contributo
Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni
info:eu-repo/semantics/conferenceObject
2
Riccobene, Elvinia; Scandurra, Patrizia
1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
reserved
Non definito
273
(2014). Towards ASM-based formal specification of self-adaptive systems [conference presentation - intervento a convegno]. Retrieved from http://hdl.handle.net/10446/31354
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
  Visualizza/Apri
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 9
  • ???jsp.display-item.citation.isi??? 8
social impact