Lightweight Consistency Checking for Agile Model-Based Development in Practice

By: Robbert Jongeling, Federico Ciccozzi, Antonio Cicchetti, Jan Carlson


In model-based development projects, models at different ab- straction levels capture different aspects of a software system, e.g., specifi- cation or design. Inconsistencies between these models can cause inefficient and incorrect development. A tool-based framework to assist developers creating and maintaining models conforming to different languages (i.e. heterogeneous models) and consistency between them is not only important but also much needed in practice. In this work, we focus on assisting developers bringing about multi-view consistency in the context of agile model-based development, through frequent, lightweight consistency checks across views and between heterogeneous models. The checks are lightweight in the sense that they are easy to create, edit, use and maintain, and since they find inconsistencies but do not attempt to automatically resolve them. With respect to ease of use, we explicitly separate the two main concerns in defining consistency checks, being (i) which modelling elements across heterogeneous models should be consistent with each other and (ii) what constitutes consistency between them. We assess the feasibility and illustrate the potential usefulness of our consistency checking approach, from an industrial agile model-based development point-of-view, through a proof-of-concept implementation on a sample project leveraging models expressed in SysML and Simulink. A continuous integration pipeline hosts the initial definition and subsequent execution of consistency checks, it is also the place where the user can view results of consistency checks and reconfigure them.


Consistency checking; Agile model-based development; Multi- view modelling.

Cite as:

Robbert Jongeling, Federico Ciccozzi, Antonio Cicchetti, Jan Carlson, “Lightweight Consistency Checking for Agile Model-Based Development in Practice”, Journal of Object Technology, Volume 18, no. 2 (July 2019), pp. 11:1-20, doi:10.5381/jot.2019.18.2.a11.

PDF | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact