Abstract
Open Distributed Processing (ODP) is a viewpoints based ISO framework for specifying open distributed systems. This paper considers an application of ODP to the specification of an air traffic control (ATC) system. The key issues that arise from this are discussed further in the context of the formal specification of a simpler model — the Information Viewpoint in Z, and the Computational Viewpoint in Object-Z.
Chapter PDF
Similar content being viewed by others
References
Boiten, E., Bowman, H., Derrick, J., Linington, P., and Steen, M. (2000). Viewpoint consistency in ODP. Computer Networks, 34 (3): 503–537.
Boiten, E., Derrick, J., Bowman, H., and Steen, M. (1999). Constructive consistency checking for partial specification in Z. Science of Computer Programming, 35 (1): 29–75.
Bowman, H., Boiten, E., Derrick, J., and Steen, M. (1996). Viewpoint consistency in ODP, a general interpretation. In Najm, E. and Stefani, J.-B., editors, First IFIP International workshop on Formal Methods for Open Object-based Distributed Systems, pages 189–204, Paris. Chapman and Hall.
Derrick, J. and Boiten, E. (2001a). Applying ODP to an air traffic management system: viewpoints and correspondences. Submitted for publication.
Derrick, J. and Boiten, E. (2001b). Refinement in Z and Object-Z: Foundations and Advanced Applications. Springer-Verlag.
Derrick, J., Boiten, E., Bowman, H., and Steen, M. (1999). Viewpoints and consistency: translating LOTOS to Object-Z. Computer Standards and Interfaces, 21: 251–272.
European Organisation for the Safety of Air Navigation (1997). ECHO final report, 1.0 edition.
Finkelstein, A., Kramer, J., Nuseibeh, B., Finkelstein, L., and Goedicke, M. (1992). Viewpoints: a framework for integrating multiple perspectives in system development. International Journal on Software Engineering and Knowledge Engineering, Special issue on Trends and Research Directions in Software Engineering Environments, 2 (1): 31–58.
Linington, P. F. (1995). RM-ODP The Architecture. In Raymond, K. and Armstrong, L., editors, IFIP TC6 International Conference on Open Distributed Processing, pages 15–33, Brisbane, Australia. Chapman and Hall.
Smith, G. (2000). The Object-Z Specification Language. Kluwer Academic Publishers. Spivey, J. M. (1992). The Z notation: A reference manual. Prentice Hall, 2nd edition.
Steen, M. and Derrick, J. (2000). ODP Enterprise Viewpoint Specification. Computer Standards and Interfaces, 22: 165–189.
Taylor, C., Boiten, E., and Derrick, J. (2001). Interpreting ODP viewpoint specification. Technical Report 9–01, Computing Laboratory, University of Kent at Canterbury.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 IFIP International Federation for Information Processing
About this paper
Cite this paper
Taylor, C., Boiten, E., Derrick, J. (2002). Interpreting ODP Viewpoint Specification: Observations from a Case Study. In: Jacobs, B., Rensink, A. (eds) Formal Methods for Open Object-Based Distributed Systems V. FMOODS 2002. IFIP — The International Federation for Information Processing, vol 81. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35496-5_6
Download citation
DOI: https://doi.org/10.1007/978-0-387-35496-5_6
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5268-7
Online ISBN: 978-0-387-35496-5
eBook Packages: Springer Book Archive