School of Computing

A framework for UML consistency

John Derrick, David Akehurst, and Eerke Boiten

In L. Kuzniarz, G. Reggio, J. L. Sourrouille, and Z. Huzar, editors, <<UML>> 2002 Workshop on Consistency Problems in UML-based Software Development, pages 182-196, October 2002.


In this paper we discuss a framework by which one might approach questions of consistency in UML. The framework derives from work undertaken in the Open Distributing Processing (ODP) standardisation initiative which looked at consistency checking across the ODP viewpoints.

This work has resonance with some of the problems facing those using the many different aspects of UML, and the purpose of this paper is to discuss how the existing work could be applied in a UML context.

Download publication 256 kbytes (PDF)

Bibtex Record

author = {John Derrick and David Akehurst and Eerke Boiten},
title = {A framework for {UML} consistency},
month = {October},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    publication_type = {inproceedings},
    submission_id = {4530_1037022352},
    booktitle = {<> 2002 Workshop on Consistency Problems in UML-based Software Development},
    editor = {L. Kuzniarz and G. Reggio and J. L. Sourrouille and Z. Huzar},
    ISSN = {1103-1581},

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

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

Last Updated: 21/03/2014