Home // International Journal On Advances in Software, volume 7, numbers 1 and 2, 2014 // View article
Authors:
Beatriz Pérez
Ivan Porres
Keywords: UML, OCL, Constraint Logic Programming, reasoning, model verification, MDA
Abstract:
Due to the widespread adoption of the Model Driven Engineering paradigm, models have become cornerstone components in the software development process. This fact requires verifying such models' correctness in order to ensure the quality of the final product. In this context, the Unified Modeling Language (UML) and the Object Constraint Language (OCL) constitute two of the most commonly used modeling languages. We have defined an overall framework to reason about UML/OCL models based on Constraint Logic programming (CLP). In particular, as model finding and design space exploration tool, we use Formula. We show how to translate a UML model into a CLP program following a Meta–Object Facility (MOF) like framework. Furthermore, we enhance our proposal by identifying an expressive fragment of OCL, which guarantees finite satisfiability and we show its translation to Formula. We also complete our approach by developing the CD2Formula Eclipse plug–in, which implements, following a Model Driven Architecture (MDA) approach, our UML model to Formula translation proposal. The proposed framework can be used to reason, validate and verify UML software designs by checking correctness properties and generating model instances using the model exploration tool Formula.
Pages: 370 to 380
Copyright: Copyright (c) to authors, 2014. Used with permission.
Publication date: June 30, 2014
Published in: journal
ISSN: 1942-2628