Home // ICSEA 2013, The Eighth International Conference on Software Engineering Advances // View article

Reasoning about UML/OCL Models using Constraint Logic Programming and MDA

Authors:
Beatriz Pérez
Ivan Porres

Keywords: UML; OCL; CLP; reasoning; verification

Abstract:
The widespread adoption of Model Driven Engineering approaches has made of models to be cornerstone components in the software development process. This fact requires verifying such models' correctness 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 propose an overall framework to reason about UML/OCL models based on Constraint Logic programming (CLP). We use Formula as model finding and design space exploration tool. We show how to translate a UML model into a CLP program following a Meta-Object Facility (MOF) like framework. We enhance our proposal by identifying an expressive fragment of OCL, which guarantees finite satisfiability and we show its translation to Formula. We complete our approach by providing a Model Driven Architecture (MDA) based implementation of the UML to Formula translation. Our proposal can be used for software model design reasoning by verifying correctness properties and generating model instances of the modeled designs, using Formula.

Pages: 228 to 233

Copyright: Copyright (c) IARIA, 2013

Publication date: October 27, 2013

Published in: conference

ISSN: 2308-4235

ISBN: 978-1-61208-304-9

Location: Venice, Italy

Dates: from October 27, 2013 to October 31, 2013