A platform for research: civil engineering, architecture and urbanism
A platform for research: civil engineering, architecture and urbanism
The MAL Interactors Animator: Supporting model validation through animation
The IVY workbench is a model checking based tool for the analysis of interactive system designs. Experience shows that there is a need to complement the analytic power of model checking with support for model validation and analysis of verification results. Animation of the model provides this support by allowing iterative exploration of its behaviour. 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. ; The authors wish to thank Michael D. Harrison for comments on an earlier version of this paper. Jose C. Campos acknowledges support from project NanoSTIMA (reference NORTE-01-0145-FEDER-000016) financed by the North Portugal Regional Operational Programme (NORTE 2020), under the PORTUGAL 2020 Partnership Agreement, and through the European Regional Development Fund (ERDF).
The MAL Interactors Animator: Supporting model validation through animation
The IVY workbench is a model checking based tool for the analysis of interactive system designs. Experience shows that there is a need to complement the analytic power of model checking with support for model validation and analysis of verification results. Animation of the model provides this support by allowing iterative exploration of its behaviour. 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. ; The authors wish to thank Michael D. Harrison for comments on an earlier version of this paper. Jose C. Campos acknowledges support from project NanoSTIMA (reference NORTE-01-0145-FEDER-000016) financed by the North Portugal Regional Operational Programme (NORTE 2020), under the PORTUGAL 2020 Partnership Agreement, and through the European Regional Development Fund (ERDF).
The MAL Interactors Animator: Supporting model validation through animation
Campos, José C. (author) / Sousa, Nuno (author)
2018-01-01
Conference paper
Electronic Resource
English
DDC:
690
| Online Contents | 1994
Online Contents | 2010
Visualizing Geographic Data Through Animation
| British Library Conference Proceedings | 1993
British Library Online Contents | 2018