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.
A scenario-based validation language for ASMs / A. Carioni, A. Gargantini, E. Riccobene, P. Scandurra - In: Abstract state machines, B and Z : first international conference, ABZ 2008 : London, UK, september 16-18, 2008 : proceedings / [a cura di] E. Boerger ... [et al.]. - Berlin : Springer, 2008. - ISBN 9783540876021. - pp. 71-84 (( Intervento presentato al 1. convegno International Conference ABZ tenutosi a London nel 2008.
A scenario-based validation language for ASMs
E. RiccobenePenultimo
;P. ScandurraUltimo
2008
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.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
