An Agile Ontology-based Consistency Checking System for Domain-Specific Modelling Languages

A modelling language continuously evolve over the time and it can also be adapted due to new modeling requirements or result from a better understanding of the domain. This everlasting process can be resulting into inappropriate constraints, abstraction issues or ambiguity of modelling elements. In the recent studies of Laurenzi et al., (2018) an Agile DSML adaptation approach is presented to enable a modelling language to be adapted on-the-fly with the creation of an Agile Ontology-Aided Modelling Environment(AOAME). In their innovative approach, based on the work of Hinkelmann et al.,(2017), ontologies are used to express the semantics, syntax and notation of the modelling languages. Additionally, a set of operators is presented to adapt the modelling languages. Hence, these operators can manipulate the modelling languages, but they can potentially generate inconsistencies in both the Meta-model level and Model level of the modelling language. For this reason, it is emphasised as a future work the implementation of reasoning service such as a consistency checking system to further improve their prototype. In this study, it is defined a consistency checking approach on how to generate, classify and apply consistency rules for BPMN, a DSML for modeling business processes, also contributing to the development of AOAME.