VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics

Visualization is important to present formal models to domain experts and to spot issues which are hard to formalise or have not been formalised yet. VisB is a visualization plugin for the ProB animator and model checker. VisB enables the user to create simple visualizations for formal models. An im...

Descripción completa

Detalles Bibliográficos
Autores principales: Werth, Michelle, Leuschel, Michael
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7242056/
http://dx.doi.org/10.1007/978-3-030-48077-6_21
_version_ 1783537172019675136
author Werth, Michelle
Leuschel, Michael
author_facet Werth, Michelle
Leuschel, Michael
author_sort Werth, Michelle
collection PubMed
description Visualization is important to present formal models to domain experts and to spot issues which are hard to formalise or have not been formalised yet. VisB is a visualization plugin for the ProB animator and model checker. VisB enables the user to create simple visualizations for formal models. An important design criterion was to re-use scalable vector graphics (SVG) generated by off-the-shelf graphic editors using a lightweight and easy-to-use annotation mechanism. The visualizations can be used to formal models in B, Event-B, Z, TLA+ and Alloy.
format Online
Article
Text
id pubmed-7242056
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-72420562020-05-22 VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics Werth, Michelle Leuschel, Michael Rigorous State-Based Methods Article Visualization is important to present formal models to domain experts and to spot issues which are hard to formalise or have not been formalised yet. VisB is a visualization plugin for the ProB animator and model checker. VisB enables the user to create simple visualizations for formal models. An important design criterion was to re-use scalable vector graphics (SVG) generated by off-the-shelf graphic editors using a lightweight and easy-to-use annotation mechanism. The visualizations can be used to formal models in B, Event-B, Z, TLA+ and Alloy. 2020-04-22 /pmc/articles/PMC7242056/ http://dx.doi.org/10.1007/978-3-030-48077-6_21 Text en © Springer Nature Switzerland AG 2020 This article is made available via the PMC Open Access Subset for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic.
spellingShingle Article
Werth, Michelle
Leuschel, Michael
VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics
title VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics
title_full VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics
title_fullStr VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics
title_full_unstemmed VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics
title_short VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics
title_sort visb: a lightweight tool to visualize formal models with svg graphics
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7242056/
http://dx.doi.org/10.1007/978-3-030-48077-6_21
work_keys_str_mv AT werthmichelle visbalightweighttooltovisualizeformalmodelswithsvggraphics
AT leuschelmichael visbalightweighttooltovisualizeformalmodelswithsvggraphics

Ejemplares similares