© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
The Unified Modelling Language
S Kent
In H Bowman and J Derrick, editors, Formal Methods for Distributed Processing: An OO Approach. 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 = {},
keywords = {},
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},
}