This paper presents the AValLa language, a domain-specific modelling language for scenario-based validation of ASM models, and its supporting tool, the AsmetaV validator. They have been developed according to the model-driven development principles as part of the asmeta (ASM mETAmodelling) toolset, a set of tools around ASMs. As a proof-of-concepts, the paper reports the results of the scenario-based validation for the well-known LIFT control case study.

(2008). A scenario-based validation language for ASMs [conference presentation - intervento a convegno]. Retrieved from http://hdl.handle.net/10446/22574

A scenario-based validation language for ASMs

GARGANTINI, Angelo Michele;SCANDURRA, Patrizia
2008-01-01

Abstract

This paper presents the AValLa language, a domain-specific modelling language for scenario-based validation of ASM models, and its supporting tool, the AsmetaV validator. They have been developed according to the model-driven development principles as part of the asmeta (ASM mETAmodelling) toolset, a set of tools around ASMs. As a proof-of-concepts, the paper reports the results of the scenario-based validation for the well-known LIFT control case study.
WOS:000260118300006
2-s2.0-56549097211
2008
Inglese
Abstract State Machines, B and Z. First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
978-3-540-87602-1
LECTURE NOTES IN COMPUTER SCIENCE
5238
71
84
cartaceo
online
Berlin
Springer
1st International Symposium on Recent Advances in Intrusion Detection, RAID 2008
1st
London, United Kingdom
16 September 2008 through 18 September 2008
Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni
info:eu-repo/semantics/conferenceObject
4
Carioni, Alessandro; Gargantini, Angelo Michele; 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
none
no full text
273
(2008). A scenario-based validation language for ASMs [conference presentation - intervento a convegno]. Retrieved from http://hdl.handle.net/10446/22574
File allegato/i alla scheda:
Non ci sono file allegati a questa scheda.
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/22574
Citazioni
  • Scopus 53
  • ???jsp.display-item.citation.isi??? 44
social impact