IVY 2-A model-based analysis tool

The IVY workbench is a model-based tool that supports the formal verification of interactive computing systems. It adopts a plugin-based architecture to support a flexible development model. Over the years the chosen architectural solution revealed a number of limitations, resulting both from technological deprecation of some of the adopted solutions and a better understanding of the verification process to support. This paper presents the redesign and implementation of the original plugin infrastructure, originating a new version of the tool: IVY 2. It describes the limitations of the original solutions and the new architecture, which resorts to the Java module system in order to solve them.This work is financed by National Funds through the Portuguese funding agency, FCT - Fundacao para a Ciencia e a Tecnologia (Portuguese Foundation for Science and Technology) within project: UID/EEA/50014/2019

A tabular editor for user interfaces modelling

The IVY workbench is a model-based tool for the automated analysis of interactive systems. Models are written in a domain specific language, MAL interactors, using a textual editor. This language has shown to be the main barrier for tool adoption by inexperienced users. We propose a new editor, which eases modelling, in order to lower the tool’s learning curve.Trabalho realizado no ambito do projecto “NORTE-01- ˆ 0145-FEDER-000016” financiado pelo Programa Operacional Regional do Norte (NORTE 2020), PORTUGAL 2020 e Uniao˜ Europeia, atraves do Fundo Europeu para o Desenvolvimento ´ Regional (FEDER).info:eu-repo/semantics/publishedVersio

MODUS: model-based user interfaces prototyping

Model-based methodologies, supported by automatic generation, have been proposed as a solution to reduce software development costs. In the case of interactive computing systems specific challenges arise. On the one hand, a high level of automation requires the use of detailed models, which is contrary to the iterative development process, based on the progressive refinement of user interface mockups, typical of user centered development processes. On the other hand, layered software architectures imply a distinction between the models used in the business logic and in the user interface, raising consistency problems between the models at each level. This article proposes a tool supported approach to user interface generation directly from the architectural models of the business logic. In many situations, user interfaces provide similar features inside a specific domain. The identification of the application domain is thus a key factor in supporting the automation of the generation process.This work was financed by the ERDF – European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme, and by National Funds through the FCT – Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within project POCI-01-0145- FEDER-006961.info:eu-repo/semantics/publishedVersio

From requirements to UI prototypes: a semi-automated approach

Software development poses multiple challenges, from requirements specification to final software production. We have developed two approaches, focused on complementary aspects of the problem. On the one hand, SCARP supports obtaining architectural models (hence, business layer code) from requirements models. On the other, MODUS produces UI prototypes from architectural models. This work presents their integration to obtain a development cycle going from requirements to executable prototypes, supported by semi-automated processes.Este trabalho e financiado por Fundos FEDER através do Programa Operacional Competitividade e Internacionalização – COMPETE 2020 e por Fundos Nacionais atraves da FCT – Fundação para a Ciência e a Tecnologia no âmbito do projeto POCI-01-0145-FEDER-006961.info:eu-repo/semantics/publishedVersio

Usability evaluation of the uCat tool

The uCat tool supports use cases specification, aiming at the generation of architectural prototypes, as per the SCARP approach. This short paper reports on the evaluation of its usability, a major factor in tool adoption by potential users.Este trabalho e financiado por Fundos FEDER através do Programa Operacional Competitividade e Internacionalização – COMPETE 2020 e por Fundos Nacionais atraves da FCT - Fundação para a Ciência e a Tecnologia no âmbito do projeto «POCI-01-0145-FEDER-006961».info:eu-repo/semantics/publishedVersio

Improving traces visualisation through layout managers

Alloy supports reasoning about software designs in early development stages. It is composed of a modelling language and a tool that is able to find valid instances of the model. Alloy is able to produce graphical representations of analysis results, which is essential for their interpretation. In previous work we have improved the representations with the usage of layout managers. Here, we further extend that work by presenting the improvements on the approach, and by introducing a new case study to analyse the contribution of layout managers, and to support validation trough a user study.- (undefined