quality Archive

MegaMart2 – Model-based continuous development and runtime validation of complex systems

A new research project focusing on a scalable model-based framework for continuous development and runtime validation of complex systems

Quality Aspects in Model Driven Engineering (QMDE Track at QUATIC 2016)

I'm co-chairing this track bringing together MDE and quality. Selected papers will be invited to an Special issue in COMLAN Elsevier

Smart bounded verification for UML / OCL models

Correctness of UML diagrams annotated with OCL constraints can be checked using bounded verification. We show an automatic technique to choose the best bound

Practical and Scalable model-driven verification: Lessons Learnt

Is it possible to apply model-based verification techniques on large systems? Before saying no way!, check this keynote talk by Lionel Briand

anATLyzer – Static analysis of ATL transformations to uncover errors

Combination of static analysis and constraint solving to improve the quality of model transformations. Implemented as an extension of the standard ATL IDE.

State of the art on static model verification tools

During the second half of 2011 and the first half of 2012, Jordi and myself (Carlos

UMLtoCSP – Check the quality of your UML class diagrams with Constraint Programming

UMLtoCSP helps you to check that your UML class diagrams (extended with OCL constraints) satisfy a

Checking Model Transformation Refinement

Next month, at the Int. Conf. on Model Transformation (ICMT), AtlanMod, in cooperation with ATOS Research

Lightweight mechanism to reason on String values

Our paper Lightweight String Reasoning in Model Finding by Fabian Büttner and myself has been accepted

A model-driven approach for the extraction of network access-control policies

(work presented at MDsec’12 co-authored with Salvador Martínez, Joaquin García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia and myself).  Network security

ATLTest – White box testing of (ATL) model transformations

Recently, at MODELS 2012, we (Jordi and myself, Carlos González) had the opportunity to present our

On verifying ATL transformations using ‘off-the-shelf’ SMT solvers

(post by Fabian Büttner) Recently, at this year’s MODELS conference, we (Fabian, myself and Marina Egea)

Catalogue of refactorings for model transformations

Last issue of JOT, apart from the Special issue for the ICMT conference, it also included

How a software development team faces a bug in the software (cartoon)

(discovered via Jon Segador)

Lightweight String Reasoning for OCL

Most domain models include a number of constraints which frequently deal with text data (e.g. checking

Our two papers accepted at MoDELS 2012

This year (well, also the last one 🙂 ) we got two papers accepted at the

Creating DSLs that fit the users’ needs (Panel at MiSE´12)

As participant in the panel about “Creation of DSLs” in the last MiSE workshop I was

EMFtoCSP – Checking the quality of your UML and EMF (static) models

Creating (correct) models isn’t  an easy task. Modeling isn’t easy, and as it happens with any

Using Models of Partial Knowledge to Test Model Transformations

If you are interested in the field of testing model transformations you may want to take

Lightweight Verification of Executable Models

Related to the previous post on the static verification of transformations, now Elena explains how to