Blar i HVL Open på forfatter "Rutle, Adrian"
-
MultEcore: Combining the best of fixed-level and multilevel metamodelling
Macias Gomez de Villar, Fernando; Rutle, Adrian; Stolz, Volker (Peer reviewed; Journal article, 2016)Mainstream metamodelling approaches based on the OMG standards, such as EMF, have a fixed number of modelling levels. Despite their partial acceptance in industry, limitations on the number of levels has led to problems ... -
Multi-Model Evolution through Model Repair
Stünkel, Patrick; König, Harald; Rutle, Adrian; Lamo, Yngve (Journal article; Peer reviewed, 2021)Design and development of complex software systems usually comprises multiple inter-related models, i.e. abstract representations of certain aspects of the underlying system. The relations between these models induce global ... -
Multilevel Modelling of Coloured Petri Nets
Tena, Alejandro Rodriguez; Rutle, Adrian; Duran, Francisco; Kristensen, Lars Michael; Macías, Fernando (Journal article; Peer reviewed, 2018)Coloured Petri Nets (CPNs) is a modelling language for distributed systems which has been applied in a multitude of industrial cases. The supporting tool of CPNs is currently lacking important features such as having the ... -
Multilevel Typed Graph Transformations
Wolter, Uwe Egbert; Macías, Fernando; Rutle, Adrian (Peer reviewed; Journal article, 2020)Multilevel modeling extends traditional modeling techniques with a potentially unlimited number of abstraction levels. Multilevel models can be formally represented by multilevel typed graphs whose manipulation and ... -
On modelling and validation of the MQTT IoT protocol for M2M communication
Tena, Alejandro Rodriguez; Kristensen, Lars Michael; Rutle, Adrian (Journal article; Peer reviewed, 2018)Machine to Machine (M2M) communication and Internet of Things (IoT) are becoming still more pervasive with the increase of communicating devices used in cyber-physical environments. A prominent approach to communication ... -
On reducing model transformation testing overhead
Rodriguez-Echeverria, Roberto; Macias Gomez de Villar, Fernando; Rutle, Adrian (Peer reviewed; Journal article, 2016)Model-Driven Engineering is essentially based in metamodel definition, model edition and the specification of model transformations (MT). In many cases the development and maintenance of these transformations are still ... -
PARMOREL: a framework for customizable model repair
Barriga Rodriguez, Angela; Heldal, Rogardt; Rutle, Adrian; Iovino, Ludovico (Peer reviewed; Journal article, 2022)In model-driven software engineering, models are used in all phases of the development process. These models must hold a high quality since the implementation of the systems they represent relies on them. Several existing ... -
Scalable verification of model transformations
Wang, Xiaoliang; Rutle, Adrian; Lamo, Yngve (Peer reviewed; Journal article, 2014)Model transformations are crucial in model driven engineering (MDE). Automatic execution of model transformations improves software development productivity. However, model transformations should be verified to ensure that ... -
Towards multiple model synchronization with comprehensive systems
Stünkel, Patrick; König, Harald; Lamo, Yngve; Rutle, Adrian (Peer reviewed; Journal article, 2020)Model management is a central activity in Software Engineering. The most challenging aspect of model management is to keep models consistent with each other while they evolve. As a consequence, there has been increasing ... -
Towards user-friendly and efficient analysis with alloy
Wang, Xiaoliang; Rutle, Adrian; Lamo, Yngve (Peer reviewed; Journal article, 2015) -
The Visual Debugger Tool
Kräuter, Tim Oliver; König, Harald; Rutle, Adrian; Lamo, Yngve (Peer reviewed; Journal article, 2022)Debugging is an essential part of software maintenance and evolution since it allows software developers to analyze program execution step by step. Understanding a program is required to fix potential flaws, alleviate ...