Skip to main content
Article thumbnail
Location of Repository

Design Support for Distributed Systems: DSE4DS

By David H. Akehurst, Behzad Bordbar, John Derrick and A. Gill Waters


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

Topics: QA76
OAI identifier:

Suggested articles


  1. (1998). Applying UML to Design an Inter-Domain Service Management Application - A Case Study Based on the ACTS Project TRUMPET," doi
  2. (1997). Communications software performance prediction,"
  3. (1999). Constructive consistency checking for partial specification in Z," Science of Computer Programming, doi
  4. (1996). Cross viewpoint consistency in Open Distributed Processing," doi
  5. (1997). Formal Specification of Distributed Multimedia Systems: doi
  6. Inc et al., "Meta Object Facility (MOF) Specification,"
  7. (1995). ISO/IEC 10746-1:1998, Information Technology - Open Distributed Processing - Reference Model: Overview doi
  8. (1994). Liveness in Timed and Untimed Systems," doi
  9. OA&D CORBAfacility Interface Definition,"
  10. (1997). ODP-Based QoS-Support in UML," doi
  11. (1997). Open Distributed Processing and Multimedia: doi
  12. (2001). Permabase: Predicting the performance of distributed systems at the design stage," doi
  13. (2001). Quality of Service Support in Development of Distributed Systems,"
  14. (1998). Real-time UML: developing efficient objects for embedded systems:
  15. (1997). Semantics Through Pictures: towards a diagrammatic semantics for object-oriented modelling notations," in proceedings ECOOP'97 workshop on Precise Semantics for Object-Oriented Modelling Techniques, doi
  16. (1998). Strategies for consistency checking based on unification," doi
  17. (1998). The Object Constraint Language and its application in the UML metamodel," doi
  18. (2001). The Unified Modeling Language Version 1.4," doi
  19. (1999). The Unified Modelling Language and Performance Engineering," doi
  20. UML for Real-Time Overview," ObjectTime Limited.
  21. (1997). UPPAAL in a Nutshell," doi
  22. (1998). Validating Distributed Software Modelled with UML,"
  23. (1997). Viewpoint consistency in Z and LOTOS: A case study," doi

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.