Simplifying Transformations of OCL Constraints
Paper i proceeding, 2005

With the advent of Model Driven Architecture, OCL constraints are no longer necessarily written by humans. They can be parts 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.

Constraint

Specification

KeY

OCL

Model Driven Architecture

Design Pattern

UML

Simplification

Författare

Martin Giese

Daniel Larsson

Chalmers, Data- och informationsteknik, Datavetenskap

Proceedings of MoDELS 2005, Lecture Notes in Computer Science

Vol. 3713 309-323

Ämneskategorier

Data- och informationsvetenskap