Exploring UML Refinement through Unification

Boiten, Eerke and Bujorianu, Marius C. (2003) Exploring UML Refinement through Unification. In: Jurjens, J. and Rumpe, Bernhard and France, Robert and Fernandez, E.B., eds. Critical Systems Development with UML - Proceedings of the UML'03 workshop. Lecture Notes in Computer Science (TUM-I0323). Technische Universitat Munchen pp. 47-62. (The full text of this publication is not available from this repository)

The full text of this publication is not available from this repository. (Contact us about this Publication)
Official URL
http://www.cs.kent.ac.uk/pubs/2003/1742

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.

Item Type: Conference or workshop item (UNSPECIFIED)
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 18:00
Last Modified: 04 Jul 2014 14:11
Resource URI: http://kar.kent.ac.uk/id/eprint/13925 (The current URI for this page, for reference purposes)
  • Depositors only (login required):