Abstract
This paper presents the AValLa language, a domain-specific modelling language for scenario-based validation of ASM models,
and its supporting tool, the AsmetaVvalidator. 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.
[read the copyright and download the pdf file] [DOI]