A generator of user interface prototypes for the IVY workbench

Abstract

The IVY Workbench is a tool that supports the modeling and formal verification of interactive systems. The tool features a set of plugins that support the modeling and analysis process, including a models editor, a properties checker, and a models animator. The latter, allows visualizing and interacting with a model, but does not support associating it with a prototype of the system. Interaction with the model facilitates its validation by modelling experts. It does not, however, facilitate communication with domain experts and users, to whom a prototype would be a more effective means of communication. This article presents the work done to remedy this gap in IVY. The article details the preliminary research carried out, architectural decisions and the obtained end result.