Web-based user interface prototyping and simulation

Abstract

PVSio-web is a platform for the simulation and prototyping of user interfaces that has been developed by researchers at Queen Mary University of London. This platform aims to reduce barriers to the use of PVS by users unfamiliar with formal methods. The main features of PVSio-web focus on creating, opening and saving projects, loading images and creating widget areas over them, and not least, editing PVS files. Editing files is limited to only one file per project and the platform also does not have image editing features. PVSio-web can then be improved by implementing features to support editing multiple files and images (such as cropping and resizing). The interaction areas can also be improved to thereby enhance the quality of the prototype, by adjusting the precision of the dimensions and positioning of the area relatively to the image. In this dissertation the improvements achieved on the editing of files, images and interaction areas in PVSio-web, in order to increase the quality and optimize its use in a real environment, are described.

PVSio-web é uma plataforma para prototipagem e simulação de interfaces de utilizador que tem vindo a ser desenvolvida por investigadores da Queen Mary Universidade de Londres. Esta plataforma tem por objectivo diminuir as barreiras à utilização do PVS por parte de utilizadores não familiarizados com métodos formais. Para dar suporte à criação de protótipos, o PVSio-web possui funcionalidades para criar, abrir e gravar projectos, carregar de imagens e definir áreas de interação sobre esta e, não menos importante, edição de ficheiros PVS. A edição de ficheiros está limitada a apenas um único ficheiro por projecto e a plataforma não possui também funcionalidades de edição de imagem. O PVSio-web pode então ser melhorado com a implementação de funcionalidades para o suporte de edição de múltiplos ficheiros e de imagem (por exemplo corte e redimensionamento). As áreas de interação podem também ser melhoradas para assim aumentar a qualidade do protótipo, ajustando a precisão das dimensões e posicionamento da área em relação à imagem. Nesta dissertação são descritos os melhoramentos realizados a nível de edição de ficheiros, imagens e áreas de interação no PVSio-web de modo a aumentar a qualidade e otimizar o seu uso em ambiente real.