Debugging Statecharts extended with Class Diagrams

Abstract

Model-Driven Development (MDD) is a software development methodology based on models which has been slowly becoming more relevant in the past decades. However, several barriers still stand in the way of a wider adoption of MDD methodologies and approaches, one of them being how lacklustre some of the currently available MDD tools still are. One of the main weaknesses of the existing tools is the difficulty of debugging models and systems synthesised from those models. As it is well known in the software devel- opment world, testing and debugging are both fundamental so that quality software is produced. In this work, we propose a debugger for models, with which it will be possible to debug models and model-generated applications from those models while always reasoning at the model level. The debugger will be integrated into a modelling and simulation open-source tool, in which it will be possible to model statecharts and class diagrams, through the SCXML extended with Class Diagrams (SCCD) formalism, which combines both. We have implemented an open-source modelling tool that makes use of a powerful formalism and combines debugging and simulation, representing a leap forward towards a global improvement of MDD tools and their usability.

MDD (Model-Driven Development) é uma metodologia de desenvolvimento de software baseada em modelos que tem lentamente vindo a ganhar mais relevância nas últimas décadas. No entanto, existem ainda vários obstáculos que se opõem a uma maior adesão a estas metodologias e abordagens MDD, sendo um deles o quão pouco avançadas algumas destas ferramentas ainda são. Uma das principais fraquezas das ferramentas existentes é a dificuldade de fazer debug de modelos e sistemas gerados a partir desses modelos. Como é dito no mundo do desenvolvimento de software, testar e fazer debug são duas atividades fundamentais na produção de software de qualidade. Neste trabalho, propomos um debugger para modelos, com o qual será possível fazer debug de modelos e aplicações geradas a partir desses modelos, mantendo sempre a abs- tração de raciocínio ao nível dos modelos. O debugger será integrado numa ferramenta open-source de modelação e simulação, na qual será possível modelar statecharts e diagra- mas de classes, através do formalismo SCCD (State Chart extensible Markup Language), que combina ambos. Desta forma, implementámos uma ferramenta de modelação open-source que utiliza um formalismo com forte poder de modelação, combinando funcionalidades de debugging e simulação, sendo este um importante passo no sentido de melhorar as ferramentas MDD e de as tornar mais utilizáveis.