School of Computing

Exploring UML refinement through unification

E.A. Boiten and M.C. Bujorianu

In J. J"urjens, B. Rumpe, R. France, and E.B. Fernandez, editors, Critical Systems Development with UML - Proceedings of the UML'03 workshop, number TUM-I0323, pages 182-196. Technische Universit"at M"unchen, September 2003.

Abstract

One way of making UML more suitable for the development of critical systems is to define a formal notion of development (or refinement) for it. We explore refinement indirectly: through unification.

Different UML diagrams may contain information on the same system element, which may or may not be contradictory. Such diagrams may be part of the same UML model, or taken from different models representing "viewpoints". A representation of the combined information of diagrams is a unification. Implicit in this is a notion of "information content" which needs to be formalised. A unification is not only a representation of combined information, it also witnesses consistency between the models.

The theory of consistency and unifications for viewpoint specification is well-developed for formal methods. In general, such unification methods are parameterised by a notion of refinement (i.e., how to compare information content), and a notion of correspondence (relating the information between specifications). In particular, in Z all of these can be expressed syntactically, and a variety of refinement relations have been developed inspired by different styles of viewpoint specification.

This paper considers a number of small UML models, their intuitive "unifying" diagrams, and how these would relate to the unifications of formalisations of the original diagrams. In this way, desirable properties for a formal development notion in UML emerge. Download publication 290 kbytes (PostScript)

Bibtex Record

@conference{1742,
author = {E.A. Boiten and M.C. Bujorianu},
title = {Exploring {UML} Refinement through Unification},
month = {September},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1742},
    publication_type = {conference},
    submission_id = {17608_1067874085},
    booktitle = {Critical Systems Development with UML - Proceedings of the UML'03 workshop},
    editor = {J. J"urjens and B. Rumpe and R. France and E.B. Fernandez},
    number = {TUM-I0323},
    publisher = {Technische Universit"at M"unchen},
    refereed = {yes},
}

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

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

Last Updated: 21/03/2014