Abstract Despite the increasing interest in blockchain and smart contracts, their inherent complexity has impeded widespread adoption. In order to mitigate this issue, this work introduces , a model-based framework for the development of smart contracts in Solidity that enables the treatment of contracts as models, opening up new possibilities for their enhancement and maintenance. A key benefit of is its ability to impose a development pattern, which contributes to improved code quality and reduced vulnerabilities. The framework’s effectiveness is evaluated through several case studies, showing how model-driven engineering can mitigate contracts inherent complexity and promote better collaboration between developers and domain experts. As this work will demonstrate, when smart contracts are treated as models, a vast array of possibilities unfolds.

Abstract Agile methods have been widely adopted by the industry and its teaching has seen a surge, particularly in the software development field. However, these methods have a number of limitations which affect product outcomes, such as the fact that many software development companies now use Scrum to get developers to work without interruption between iterations, rather than to maintain a sustainable rhythm. Agile experts have stated the importance of incorporating creativity into Scrum, and although there are several agile resources that help with the learning process, it seems essential to approach such learning from a practical point of view. Furthermore, none of these resources introduce creativity. In this paper, we present an educational resource in the form of a serious game that allows you to acquire all the key concepts of agile and creative methods. The game is based on the use of LEGO pieces to simulate a real project, applying the key concepts of the Scrum and Design Thinking frameworks in a gamified way. It was assessed in a professional training centre of computer science by using surveys through which participants evaluated their previous knowledge of agile and creativity methods. We analysed the improvement of these competences, as well as the general level of satisfaction with the game. After the game, the results showed that the participants' knowledge of the Scrum and Design Thinking frameworks had improved and that they were very satisfied with the whole experience.

This paper introduces a modelling environment for service design that currently supports 5 different notations (Business Model Canvas, e 3 value, Service Blueprint, Process Chain Network and BPMN). Besides, the tool supports the generation of partial views of models based on a particular notation from models made with another one, along with the corresponding relations model.