Abstract
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.
Supported by a postgraduate grant of the Deutscher Akademischer Austauschdienst
Preview
Unable to display preview. Download preview PDF.
References
CCITT: CCITT Specification and description language SDL. Recommendation Z.100 (SDL'92). Geneva. 1992.
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.
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.
ISO: LOTOS — A formal description technique based on the temporal ordering of observational behaviour. ISO 8807. International Standard.
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.
ISO/IEC: Basic Reference Model of Open Distributed Processing — Part 1–5. ISO/IEC JTC1/SC21. Working Draft.
ISO/IEC: ODP Trader. ISO/IEC JTC1/SC21. Working Document.
Prinz, A.: The Sliding Window Protocol — correct or not? internal paper.
Spivey, J.M., Tie Z notation — a reference manual. Prentice-Hall International. 1989.
Vogel, A.: LOTOS Design Methodology Based on ODP — Viewpoints. in Hogrefe, D. (Editor): Formale Beschreibungstechniken für verteilte Systeme. Springer Verlag. 1992.
Vogel, A.: Entwurf, Realisierung und Test von ODP Systemen auf der Grundlage von formalen Beschreibungstechniken. (in german). Berlin. in preparation.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fischer, J., Prinz, A., Vogel, A. (1993). Different FDT's confronted with different ODP-viewpoints of the trader. In: Woodcock, J.C.P., Larsen, P.G. (eds) FME '93: Industrial-Strength Formal Methods. FME 1993. Lecture Notes in Computer Science, vol 670. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0024655
Download citation
DOI: https://doi.org/10.1007/BFb0024655
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56662-5
Online ISBN: 978-3-540-47623-8
eBook Packages: Springer Book Archive