School of Computing

UML specification of distributed system environments

D.H. Akehurst and A.G. Waters

Technical Report 18-99, UKC, May 1999.

Abstract

The specification of distributed systems is a complex task, which is made easier by the use of object-oriented design methodologies. With the advent of UML as a standard notation for object-oriented software design, the application of this notation to the design of distributed systems is appropriate. The design of distributed systems involves both software and hardware specifications, however, the UML notation is primarily directed at the design of the software within a system and the facilities directed towards the specification of the physical environment are limited. Specification of the physical environment using UML can be achieved, but by using alternative parts of the notation to the proposed �implementation diagrams�. Using the alternatives presented in this paper enables a satisfactory specification, which is for example, detailed enough for the automatic generation of performance models.

Download publication 158 kbytes (PDF)

Bibtex Record

@techreport{901,
author = { D.H. Akehurst and A.G. Waters},
title = {{UML} specification of distributed system environments},
month = {May},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/901},
    institution = {UKC},
    number = {18-99},
}

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

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

Last Updated: 21/03/2014