J.C. Campos and N. Sousa
The MAL Interactors Animator: Supporting model validation through animation
In Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pages 11:1--11:7. ACM. 2018.
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.

visit publisher   visit publisher   

@inproceedings{CamposS:2018,
 author = {J.C. Campos and N. Sousa},
 title = {The MAL Interactors Animator: Supporting model validation through animation},
 booktitle = {Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems},
 year = {2018},
 publisher = {ACM},
 pages = {11:1--11:7},
 doi = {10.1145/3220134.3220142},
 hdl = {1822/66789},
 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.26