Abstract
Open Distributed Processing (ODP) is a joint standardisation activity of the ISO and ITU. A reference model has been defined which describes an architecture for building open distributed systems. This paper introduces the key aspects of the reference model of open distributed processing, including the ODP conformance framework. We discuss how specific formal techniques are used in the ODP viewpoints, along with the implications for conformance assessment using such techniques. Particular attention is given to the role of consistency in the conformance assessment process. Finally, we review the current work on an ODP conformance testing methodology.
Chapter PDF
Similar content being viewed by others
References
E. Boiten, J. Derrick, H. Bowman, and M.Steen. Consistency and refinement for partial specification in Z. In M.-C. Gaudel and J. Woodcock, editors, FME’96: Industrial Benefit of Formal Methods, Third International Symposium of Formal Methods Europe, volume 1051 of Lecture Notes in Computer Science, pages 287 306. Springer-Verlag, March 1996.
T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14 (1): 25–59, 1988.
H. Bowman, L. Blair, G. S. Blair, and A. Chetwynd. Formal description of distributed multimedia systems; an assessment of potential techniques. Computer Communications, 18 (12): 964–977, 1995.
H. Bowman, E.A.Boiten, J. Derrick, and M. Steen. Viewpoint consistency in ODP, a general interpretation. In First IFIP International workshop on Formal Methods for Open Object-based Distributed Systems,Paris, March 1996. Chapman and Hall. To appear.
D. Carrington and P. Stocks. A tale of two paradigms: Formal methods and software testing. In J.P. Bowen and J.A. Hall, editors, ZUM’94, Z User Workshop, pages 51–68, Cambridge, United Kingdom, June 1994.
CCITT Z.100. Specification and Description Language SDL,1988.
E. Cusack. Object oriented modelling in Z for Open Distributed Systems. In J. de Meer, V. Heymer, and R. Roth, editors, IFIP TC6 International Workshop on Open Distributed Processing, pages 167–178, Berlin, Germany, September 1991. North-Holland.
E. Cusack and C. Wezeman. Deriving tests for objects specified in Z. In J. P. Bowen and J. E. Nicholls, editors, Seventh Annual Z User Workshop, pages 180–195, London, December 1992. Springer-Verlag.
J. Derrick, E.A.Boiten, H. Bowman, and M. Steen. Supporting ODP - translating LOTOS to Z. In First IFIP International workshop on Formal Methods for Open Object-based Distributed Systems,Paris, March 1996. Chapman and Hall. To appear.
Draft Rec. X.950 — ISO/IEC DIS 13235–1. Open Distributed Processing - Trading Function - Part 1: Specification, May 1996.
R. Duke, G. Rose, and G. Smith. Object-Z: A specification language advocated for the description of standards. Computer Standards and Interfaces, 17:511–533, September 1995.
M. Engel. Specifying real-time systems with Z and the duration calculus. In J.P. Bowen and J.A. Hall, editors, ZUM’94, Z User Workshop, pages 282–294, Cambridge, United Kingdom, June 1994.
A. Fantechi, S. Gnesi, and C. Laneve. Two standards means problems: A case study on formal protocol descriptions. Computer Standards and Interfaces, 9: 11–19, 1989.
C.J. Fidge. Specification and verification of real-time behaviour using Z and RTL. In J. Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science, pages 393–410. Springer-Verlag, 1992.
J. Fischer, A. Prinz, and A. Vogel. Different FDT’s confronted with different ODPviewpoints of the trader. In J. C. P. Woodcock and P. G. Larsen, editors, FME’93: Industrial Strength Formal Methods, LNCS 670, pages 332–350. Springer-Verlag, 1993.
R. Gotzhein and F. H. Vogt. The design of a temporal logic for Open Distributed Systems. In J. de Meer, V. Heymer, and R. Roth, editors, IFIP TC6 International Workshop on Open Distributed Processing,pages 229–240, Berlin, Germany, September 1991. North-Holland.
J. J. Van Griethuysen. Enterprise modelling, A necessary basis for modern information systems. In J. de Meer, V. Heymer, and R. Roth, editors, IFIP TC6 International Workshop on Open Distributed Processing, pages 29–68, Berlin, Germany, September 1991. North-Holland.
The RAISE Language Group. The RAISE Specification Language. Prentice Hall, 1992.
H-M. Horcher. Improving software tests using Z specifications. In J. P. Bowen and M. G. Hinchey, editors, Ninth Annual Z User Workshop, LNCS 967, pages 152–166, Limerick, September 1995. Springer-Verlag.
ISO, Kansas City. Minutes of the ISO/IEC JTC1/SC21/WG7/E-LOTOS meeting, May 1996.
ISO 9074. Estelle, a Formal Description Technique based on an extended state transition model,June 1987.
ISO/IEC DIS 13235–2. Open Distributed Processing - Trading Function - Part 2: Implementation Conformance Statements and Test Cases, May 1996.
ISO/IEC JTC1 SC21/WG7 N1163. Working Document on Question 7/003 on an ODP Conformance Testing Methodology,1996.
ISO/IEC JTC1/SC21. FMCT guidelines on “Test Generation methods from Formal descriptions”, December 1995. ISO/IEC ITU-T Interim meeting on FMCT.
ISO/IEC JTC1/SC21. Formal methods in conformance testing - Part 1: Framework, December 1995. ISO/IEC ITU-T Interim meeting on FMCT CD 13245–1.
ISO/IEC JTC1/SC21 N10389. Open Distributed Processing — Interface Definition Language, April 1996.
ISO/IEC JTC1/SC21 N10389. Open Distributed Processing - Type Repository Function,May 1996.
ISO/IEC TR 10000–3. Information Technology - Framework and Taxonomy of International Standardized Profiles - Part 3: Principles and Taxonomy for Open System Environment Profiles,1995.
ITU Recommendation X.901–904 ISO/IEC 10746 1–4. Open Distributed Processing Reference Model - Parts 1–4,July 1995.
C. B. Jones. Systematic Software Development using VDM. Prentice Hall, 1989.
T. Koch, B. Kramer, and N. Volker. Modelling dynamic ODP-configurations with LOTOS. In J. de Meer, B. Mahr, and O. Spaniol, editors, 2nd International IFIP TC6 Conference on Open Distributed Processing, pages 346–351, Berlin, Germany, September 1993.
L. Lamport. TLZ. In J.P. Bowen and J.A. Hall, editors, ZUM’94, Z User Workshop, pages 267–268, Cambridge, United Kingdom, June 1994.
P. F. Linington. RM-ODP: The Architecture. In K. Raymond and L. Armstrong, editors, IFIP TC6 International Conference on Open Distributed Processing, pages 15–33, Brisbane, Australia, February 1995. Chapman and Hall.
E. Najm, J-B. Stefani, and A. Fevrier. Introducing Mobility in LOTOS. ISO/IEC JTC1/SC21/WG1 approved AFNOR contribution, July 1994.
P. F. Pinto and P. F. Linington. A language for the specification of interactive and distributed multimedia applications. In B. Mahr J. de Meer and O. Spaniol, editors, IFIP International Conference on Open Distributed Processing, pages 217–234, Berlin, Germany, September 1993. North-Holland.
K. Raymond. Reference model of open distributed processing (RM-ODP): Introduction. In K. Raymond and L. Armstrong, editors, IFIP TC6 International Conference on Open Distributed Processing, pages 3–14, Brisbane, Australia, February 1995. Chapman and Hall.
A.R. Ruddle. Formal methods in the specification of real-time, safety-critical control systems. In J. P. Bowen and J. E. Nicholls, editors, Seventh Annual Z User Workshop, pages 131–146, London, December 1992. Springer-Verlag.
S. Rudkin. Modelling information objects in Z. In J. de Meer, V. Heymer, and R. Roth, editors, IFIP TC6 International Workshop on Open Distributed Processing, pages 267–280, Berlin, Germany, September 1991. North-Holland.
M. Van Sinderen and J. Schot. An engineering approach to ODP system design. In J. de Meer, V. Heymer, and R. Roth, editors, IFIP TC6 International Workshop on Open Distributed Processing, pages 301–312, Berlin, Germany, September 1991. North-Holland.
J. M. Spivey. The Z notation: A reference manual. Prentice Hall, 1989.
M. W. A. Steen, H. Bowman, and J. Derrick. Composition of LOTOS specifications. In P. Dembinski and M. Sredniawa, editors, Protocol Specification, Testing and Verification, XV,pages 73–88, Warsaw, Poland, 1995. Chapman and Hall.
S. Stepney. Testing as Abstraction. In J. P. Bowen and M. G. Hinchey, editors, Ninth Annual Z User Workshop, LNCS 967, pages 137–151, Limerick, September 1995. Springer-Verlag.
P. Stocks and D. Carrington. Deriving software test cases from formal specifications. In 6th Australian Software Engineering Conference, pages 327–340, July 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Linington, P.F., Derrick, J., Bowman, H. (1996). The specification and testing of conformance in ODP systems. In: Baumgarten, B., Burkhardt, HJ., Giessler, A. (eds) Testing of Communicating Systems. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35062-2_8
Download citation
DOI: https://doi.org/10.1007/978-0-387-35062-2_8
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6697-4
Online ISBN: 978-0-387-35062-2
eBook Packages: Springer Book Archive