ABZ08 Alessandro Carioni Gargantini, Angelo Riccobene, Elvinia Scandurra, Patrizia

A scenario-based validation language for ASMs

in ABZ Conference, September 16-18, 2008, London, UK (Eds. Egon Börger and Michael Butler and Jonathan P. Bowen and Paul Boca) Springer, Lecture Notes in Computer Science, vol. 5238 (2008): 71-84 ISBN 978-3-540-87602-1

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]

My sw links