© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Design Support for Distributed Systems: DSE4DS
D.H. Akehurst, B. Bordbar, J. Derrick, and A.G. Waters
In J. Finney, M. Haahr, and A. Montressor, editors, Procedings of the 7th Cabernet Radicals Workshop, pages 182-196, October 2002.Abstract
Distributed System design is a highly complicated and non-trivial task. The problem is characterized 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, provide significant, theoretical, guidance and aids towards the provision of successful distributed system designs. The purpose of the DSE4DS project is to develop these theoretical aids into practical �design support� that will assist designers in the construction of distributed system specifications.
Download publication 168 kbytes (PDF)Bibtex Record
@inproceedings{1550,
author = {D.H. Akehurst and B. Bordbar and J. Derrick and A.G. Waters},
title = {{Design Support for Distributed Systems: DSE4DS}},
month = {October},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2002/1550},
publication_type = {inproceedings},
submission_id = {16211_1035382837},
booktitle = {Procedings of the 7th Cabernet Radicals Workshop},
editor = {J. Finney and M. Haahr and A. Montressor},
}