Context: UML software development relies on different types of UML diagrams, which must be consistent with one another. UML Synthesis techniques suggest to generate diagram(s) from other diagram(s), thereby implicitly suggesting that input and output diagrams of the synthesis process be consistent with one another. Objective: Our aim is to provide a comprehensive summary of UML synthesis techniques as they have been described in the literature to date to then collect UML consistency rules, which can then be used to verify UML models. Method: We performed a Systematic Mapping Study by following well-known guidelines. We selected 14 studies by means of a search with seven search engines executed until January, 2018. Results: Researchers have not frequently published papers concerning UML synthesis techniques since 2004. We present a set of 47 UML consistency rules collected from the different synthesis techniques analyzed. Conclusion: Although UML diagrams synthesis doesn't seem to be an active line of research, it is relevant since synthesis techniques rely on enforcing diagram consistency, which is an active line of research. We collected consistency rules which can be used to check UML models, specifically to verify if the diagrams of a model are consistent with one another.

model consistency checking, systematic mapping study, UML, UML consistency rules, UML synthesis techniques
10th ACM/IEEE International Workshop on Modelling in Software Engineering, MiSE 2018, co-located with the 40th International Conference on Software Engineering, ICSE 2018
Software Quality Engineering Laboratory (SQUALL)

Torre, D. (Damiano), Labiche, Y, Genero, M. (Marcela), Baldassarre, M.T. (Maria Teresa), & Elaasar, M. (2018). UML diagram synthesis techniques: A systematic mapping study. In Proceedings - International Conference on Software Engineering (pp. 33–40). doi:10.1145/3193954.3193957