Definition and Validation of Consistency rules between UML diagrams
Damiano Torre · 2018
UML diagrams describe different views of one piece of software.These diagrams strongly depend on each other and must therefore be consistent with one another, since inconsistencies between diagrams may be a source of faults during software development activities that rely on these diagrams.It is therefore paramount that consistency rules be defined and that inconsistencies be detected, analyzed and fixed.Even though many researchers have proposed, explicitly or not, rules to detect inconsistencies, no well-accepted, as complete as possible set of consistency rules has so far been described and published.Although the UML standard itself contains some consistency rules, often referred to as well-formedness rules, the standard does not offer a complete list since for instance some consistency rules may be specific to the way the UML notation is used.This lack of well-accepted list of UML consistency rules forces researchers to systematically define the consistency rules they rely on for their own research.Although this is good practice, researchers describe similar or even identical consistency rules, over and over again.This fact motivated our main research objective, which is to identify and validate a set, as complete as possible, of well-accepted consistency rules for UML diagrams.To achieve this objective the following two research questions were identified and studied: vi (MoDELS) en 2015.El workshop fue el primer paso para el proceso de validación de las reglas, pero el número limitado de participantes nos llevó a tener que continuar este proceso de validación, ; b) Realización de una encuesta (con un cuestionario que consta de 21 preguntas) con expertos en MDSE de la academia y de la industria con los siguientes objetivos: (i) estudiar la difusión e importancia de los problemas de consistencia del modelo en el contexto general del MDSE, así como en el contexto UML, (ii) validar las reglas UML de consistencia propuestas, es decir, identificar las reglas que siempre deben aplicarse.Este trabajo finalmente identificó un conjunto de 52 reglas que deberían aplicarse en cada modelo UML; c) Desarrollo de un estudio de caso mediante el cual presentamos el proceso y los resultados de verificación de 33 de las 52 reglas de consistencia, traducidas en OCL.Estas reglas se verificaron en 34 modelos UML Papyrus de código abierto con un total de 206 diagramas UML diferentes.Finalmente, las reglas de coherencia OCL encontraron 2731 inconsistencias diferentes entre los diagramas UML.