School of Computing

Relations in OCL

D.H. Akehurst

In UML <<2004>> Workshop OCL and Model Driven Engineering, pages 182-196, Lisbon, Portugal, October 2004.

Abstract

OCL is proposed as a query language within the QVT framework. The main QVT submission bases the specification of transformations on the concept of relations. Relations are not first class entities within the OCL. By extending OCL with the concept of Relations it can better serve the needs of the QVT framework. In particular this enables OCL to be used as a semantic interpretation of a QVT transformation language and may even facilitate the use of OCL as a transformation specification language.

Download publication 113 kbytes (PDF)

Bibtex Record

@inproceedings{2007,
author = {D.H. Akehurst},
title = {{Relations in OCL}},
month = {October},
year = {2004},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2004/2007},
    publication_type = {inproceedings},
    submission_id = {9692_1099999854},
    booktitle = {UML <<2004>> Workshop OCL and Model Driven Engineering},
    address = {Lisbon, Portugal},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014