{'fraction_non_alphanumeric': 0.01478494623655914, 'fraction_numerical': 0.0, 'mean_word_length': 5.325779036827195, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Maintaining consistency between business process diagrams and textual documentation using the EPSILON model management platform

In the context of model driven engineering, many languages and tools are developed to provide in the automatically transformation of models. Model driven engineering tools are generic in the sense that the models don't have to be expressed in a particular language. As long as the models are conforming to a metamodel, such tools can deal with any model. This is interesting in the perspective of business process management, since there are many process modelling languages like BPMN, UML, and EPCs. Moreover, even when a company maps processes according to one particular modelling notation like BPMN, the problem arises of constantly emerging new versions of that language. This leads to incompatibilities at the level of modelling tools. Until now, research focused on the application of transformation tools for the translation of models from one language to another one, and on the migrations of models between tools for different version of a modelling language. This thesis focuses on the investigation to what extent generic tools can be used for developing transformations that can support in the management of inconsistencies between visual and textual representations of a business process. It turned out that even non-IT experts can leverage such tools to build support for inconsistency management that is more powerful than the state-of-the-art in special purpose commercial environments. This thesis shows the potential of the use of generic transformation tools in inconsistency management, through a transformation prototype, in complex industries such as healthcare and more structured industries like IT service delivery. In a first stage, earlier studies about inconsistency management are used to get a framework that indicates what inconsistency management must comprehend. In later stages this framework is used to judge the state-of-the-art of commercialized products and the potential of the use of a generic transformation tool in inconsistency management. Several practical processes are used to demonstrate the potential of a prototype of such a generic transformation tool.