2008 | OriginalPaper | Buchkapitel
A Scenario-Based Validation Language for ASMs
verfasst von : Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
Erschienen in: Abstract State Machines, B and Z
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.