Achieving model quality through model validation, verification and exploration. (December 2018)

• Record Type: Journal Article
• Authors: Gogolla, Martin; Hilken, Frank; Doan, Khanh-Hoang
• Is Part Of: Computer languages, systems & structures. Volume 54(2018)
• Page Start: 474
• Page End: 511
• Publication Date: 2018-12
• Subjects: UML and OCL model -- Constraint -- Invariant -- Model validation -- Model verification -- Model quality; Programming languages (Electronic computers) -- Periodicals; Computer networks -- Periodicals; Computer architecture -- Periodicals; Computer systems -- Periodicals; Langage de programmation; Réseau d'ordinateurs; Architecture d'ordinateur; Périodique électronique (Descripteur de forme); Ressource Internet (Descripteur de forme); 005.13
• DOI: 10.1016/j.cl.2017.10.001
• Languages: English
• ISSNs: 1477-8424

Abstract

Abstract: System development strategies, like model-driven engineering (MDE), help to abstract architectures and provide a promising way to deal with architecture complexity and design quality. Thus, the importance for the underlying models to be correct arises. Today's validation and verification tools should support the developer in generating test cases and provide good concepts for fault detection. We here introduce and structure essential use cases for model validation, verification and exploration that help developers find faults in model descriptions and thus enhance model quality. Along with the use cases, we demonstrate a modern instance finder for UML and OCL models based on an implementation of relational logic and present the results and findings from the tool.