Simplifying Transformations of OCL Constraints

9 years 1 months ago
Simplifying Transformations of OCL Constraints
Abstract. With the advent of Model Driven Architecture, OCL constraints are no longer necessarily written by humans. They can be part of models that emerge from a chain of transformations. They might be the result of instantiating templates, of combining prefabricated parts, or of more general computation. Such generated specifications will often contain redundancies that reduce their readability. In this paper, we explore the possibilities of transforming OCL formulae to a simpler form through the repeated application of simple rules. We discuss the different kinds of rules that are needed, and we describe a prototypical implementation of the approach.
Martin Giese, Daniel Larsson
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where UML
Authors Martin Giese, Daniel Larsson
Comments (0)