Article ID Journal Published Year Pages File Type
423339 Electronic Notes in Theoretical Computer Science 2008 17 Pages PDF
Abstract

To bridge the gap between domain experts and formal methods experts, visualisations of the behaviour of formal models are used to let the domain expert understand and experiment with the formal model. In this paper we provide a definition of visualisations, founded in game-theory, which regards visualisations as transition systems synchronised with formal models. We show example visualisations, use them to show winning strategies of games, and demonstrate how an industrial application of formal models benefited from this approach.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics