Different FDT's confronted with different ODP-viewpoints of the trader

  • Joachim Fischer
  • Andreas Prinz
  • Andreas Vogel
Part of the Lecture Notes in Computer Science book series (LNCS, volume 670)


The Reference Model of Open Distributed Processing (ODP RM) is intended to create an international standard for the design and realization of open distributed systems by both ISO and CCITT.

The use of formal methods in the design process of ODP systems is explicitly required. In this article the use of the Formal Description Techniques (FDT's) Z, LOTOS and SDL'92 is investigated and evaluated. These three FDT's are considered as representatives of the classes of formal techniques characterized by their structuring concepts and their underlying models, logic (set theory), process algebras and finite state machines, respectively.

The ODP trader which is intended to be a standard as well is selected as case study.


Block Type Interface Type Abstract Data Type Technology Viewpoint Return Parameter 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    CCITT: CCITT Specification and description language SDL. Recommendation Z.100 (SDL'92). Geneva. 1992.Google Scholar
  2. 2.
    CCITT: Sliding Window Protocol Example. Study Group X — Report R 29, Document COM X-R 29-E of CCITT. chapter 9. pp 75–134. 1988.Google Scholar
  3. 3.
    Duke, R.; King, P.; Rose, G.; Smith, G.: The Object-Z Specification Language Version 1. Technical Report No 91–1. Software Verification Research Centre. Department of Computing Science. The University of Queensland. 1991.Google Scholar
  4. 4.
    ISO: LOTOS — A formal description technique based on the temporal ordering of observational behaviour. ISO 8807. International Standard.Google Scholar
  5. 5.
    ISO/IEC: Proposed Draft Answer to the Question Q7/1 on the Suitability of the Formal Description Technique Z for Use in ODP. Ottawa. May 1992.Google Scholar
  6. 6.
    ISO/IEC: Basic Reference Model of Open Distributed Processing — Part 1–5. ISO/IEC JTC1/SC21. Working Draft.Google Scholar
  7. 7.
    ISO/IEC: ODP Trader. ISO/IEC JTC1/SC21. Working Document.Google Scholar
  8. 8.
    Prinz, A.: The Sliding Window Protocol — correct or not? internal paper.Google Scholar
  9. 9.
    Spivey, J.M., Tie Z notation — a reference manual. Prentice-Hall International. 1989.Google Scholar
  10. 10.
    Vogel, A.: LOTOS Design Methodology Based on ODP — Viewpoints. in Hogrefe, D. (Editor): Formale Beschreibungstechniken für verteilte Systeme. Springer Verlag. 1992.Google Scholar
  11. 11.
    Vogel, A.: Entwurf, Realisierung und Test von ODP Systemen auf der Grundlage von formalen Beschreibungstechniken. (in german). Berlin. in preparation.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Joachim Fischer
    • 1
  • Andreas Prinz
    • 1
  • Andreas Vogel
    • 1
  1. 1.Department of InformaticsHumboldt-University BerlinBerlinGermany

Personalised recommendations