School of Computing

Addressing Computational Viewpoint Design

D.H. Akehurst, J. Derrick, and A.G. Waters

In Seventh IEEE International Enterprise Distributed Object Computing Conference - EDOC 2003, pages 182-196, Brisbane, Australia, September 2003. IEEE Computer Society.

Abstract

Distributed System design is a highly complicated and non-trivial task. The problem is characterised by the need to design multi-threaded, multi-processor, and multi-media systems. Design frameworks such as Open Distributed Processing (ODP), the ITU/ISO standard, define a number of viewpoints from which the design of a distributed system should be approached. To use the framework, a design language for each of these viewpoints must be defined. This paper defines a computational viewpoint language based on the Unified Modelling Language (UML) and Component Quality Modelling Language (CQML). The use of this approach to provide the ODP viewpoint languages enables standard UML tools to be used as part of an ODP compliant design process; and in addition, it will potentially enable the use of Meta Object Facility (MOF) based generation tools for constructing tool support for our language.

Download publication 453 kbytes (PDF)

Bibtex Record

@inproceedings{1723,
author = {D.H. Akehurst and J. Derrick and A.G. Waters},
title = {{Addressing Computational Viewpoint Design}},
month = {September},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1723},
    publication_type = {inproceedings},
    submission_id = {4886_1064846615},
    ISBN = {0-7695-1994-6},
    booktitle = {Seventh IEEE International Enterprise Distributed Object Computing Conference - EDOC 2003},
    address = {Brisbane, Australia},
    publisher = {IEEE Computer Society},
}

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

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

Last Updated: 21/03/2014