School of Computing

On Querying UML data models with OCL

D.H. Akehurst and B. Bordbar

In <<UML>> 2001 "Modeling Languages, Concepts and Tools", pages 182-196, October 2001.

Abstract

UML is the de-facto standard language for Object-Oriented analysis and design of information systems. Persistent storage and extraction of data in such systems is supported by databases and query languages. UML sustains many aspects of software engineering; however, it does not provide explicit facility for writing queries. It is crucial for any such query language to have, at least, the expressive power of Relational Algebra, which serves as a benchmark for evaluating its expressiveness. The combination of UML and OCL can form queries with the required expressive power. However, certain extensions to OCL are essential if it is to be used effectively as a Query Language. The adoption of the ideas presented in this paper will enable query expressions to be written using OCL, that are elegant and ideally suited for use in conjunction with UML data models. This technique is illustrated by expressing the UML equivalent of an example Relational data model and associated query expressions.



Bibtex Record

@inproceedings{1270,
author = {D.H. Akehurst  and B. Bordbar},
title = {On {Q}uerying {UML} data models with {OCL}},
month = {October},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2001/1270},
    publication_type = {inproceedings},
    submission_id = {24385_1000915272},
    booktitle = {<> 2001 "Modeling Languages, Concepts and Tools"},
}

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

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

Last Updated: 21/03/2014