© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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}, }