School of Computing

The Unified Modelling Language

S Kent

In H Bowman and J Derrick, editors, Formal Methods for Distributed Processing: An OO Approach, pages 182-196. Cambridge University Press, 2001.

Abstract

A subset of the UML is presented which has been found useful for notating what may loosely be called specification models. A model of aspects of the ODP trader case study is developed (a) to provide a vehicle for introducing the notation, and (b) to demonstrate how the notations can be used together in harmony. In the course of the presentation, some issues concerning the precise definition of UML, and its possible future status as a formal method are discussed.

Download publication 350 kbytes (PDF)

Bibtex Record

@incollection{1141,
author = {S Kent},
title = {{The Unified Modelling Language}},
month = {unknown},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2001/1141},
    booktitle = {Formal Methods for Distributed Processing: An OO Approach},
    editor = {H Bowman and J Derrick},
    publication_type = {incollection},
    publisher = {Cambridge University Press},
    submission_id = {12016_976803823},
}

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

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

Last Updated: 21/03/2014