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.File allegato/i alla scheda:
| File | Dimensione del file | Formato | |
|---|---|---|---|
|
978-3-540-87603-8_7.pdf
Solo gestori di archivio
Versione:
publisher's version - versione editoriale
Licenza:
Licenza default Aisberg
Dimensione del file
244.93 kB
Formato
Adobe PDF
|
244.93 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo
