J.C. Campos and N. Sousa
The MAL Interactors Animator: Supporting model validation through animation
In EICS 2018. ACM. (accepted)

Abstract

The IVY workbench is a model checking based tool for the analysis of interactive systems designs. Experience, however, shows that there is a need to complement the analytic power of model checking with support for model validation and verification results’ interpretation. Animation of the model provides this support by allowing the iterative exploration of the model. This paper introduces a new model animation plugin for the IVY workbench. The plugin (AniMAL) complements the modelling and verification capabilities of IVY by providing users with the possibility to interact directly with the model.

@inproceedings{CamposS:2018,
 author = {J.C. Campos and N. Sousa},
 title = {The MAL Interactors Animator: Supporting model validation through animation},
 booktitle = {EICS 2018},
 publisher = {ACM},
 note = {accepted},
 abstract = {The IVY workbench is a model checking based tool for the analysis of interactive systems designs. Experience, however, shows that there is a need to complement the analytic power of model checking with support for model validation and verification results’ interpretation. Animation of the model provides this support by allowing the iterative exploration of the model. This paper introduces a new model animation plugin for the IVY workbench. The plugin (AniMAL) complements the modelling and verification capabilities of IVY by providing users with the possibility to interact directly with the model.}
}

Generated by mkBiblio 2.6.21