Data di Pubblicazione:
2008
Citazione:
(2008). A scenario-based validation language for ASMs [conference presentation - intervento a convegno]. Retrieved from http://hdl.handle.net/10446/22574
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.
Tipologia CRIS:
1.4.01 Contributi in atti di convegno - Conference presentations
Elenco autori:
Carioni, Alessandro; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Link alla scheda completa:
Titolo del libro:
Abstract State Machines, B and Z. First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Pubblicato in: